| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | SAT (TO) | 264293 | 1800.06 | 1800.34 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb |
| MD5SUM | aef7e3722fd5816dc0cbb2acb61edf83 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 264293 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 264081 |
| Optimality of the best value was proved | NO |
| Number of variables | 11503 |
| Total number of constraints | 971 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 835 |
| Number of constraints which are nor clauses,nor cardinality constraints | 136 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 9784 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 529231 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 1.10/1.18 c Converting 932 PB-constraints to clauses... 1.10/1.18 c -- Unit propagations: (none) 1.49/1.59 c -- Detecting intervals from adjacent constraints: ######################################################################################## 1.59/1.60 c -- Clauses(.)/Splits(s): (none) 1.59/1.60 c ---[ 931]---> BDD-cost: 10 1.59/1.60 c ---[ 930]---> BDD-cost: 11 1.59/1.60 c ---[ 929]---> BDD-cost: 11 1.59/1.60 c ---[ 928]---> BDD-cost: 11 1.59/1.60 c ---[ 927]---> BDD-cost: 10 1.59/1.60 c ---[ 926]---> BDD-cost: 10 1.59/1.60 c ---[ 925]---> BDD-cost: 11 1.59/1.61 c ---[ 924]---> BDD-cost: 10 1.59/1.61 c ---[ 923]---> BDD-cost: 10 1.59/1.61 c ---[ 922]---> BDD-cost: 10 1.59/1.61 c ---[ 921]---> BDD-cost: 10 1.59/1.61 c ---[ 920]---> BDD-cost: 11 1.59/1.61 c ---[ 919]---> BDD-cost: 11 1.59/1.61 c ---[ 918]---> BDD-cost: 10 1.59/1.61 c ---[ 917]---> BDD-cost: 10 1.59/1.61 c ---[ 916]---> BDD-cost: 10 1.59/1.61 c ---[ 915]---> BDD-cost: 10 1.59/1.61 c ---[ 914]---> BDD-cost: 10 1.59/1.61 c ---[ 913]---> BDD-cost: 10 1.59/1.61 c ---[ 912]---> BDD-cost: 10 1.59/1.61 c ---[ 911]---> BDD-cost: 11 1.59/1.61 c ---[ 910]---> BDD-cost: 10 1.59/1.61 c ---[ 909]---> BDD-cost: 10 1.59/1.61 c ---[ 908]---> BDD-cost: 11 1.59/1.61 c ---[ 907]---> BDD-cost: 11 1.59/1.61 c ---[ 906]---> BDD-cost: 11 1.59/1.61 c ---[ 905]---> BDD-cost: 10 1.59/1.61 c ---[ 904]---> BDD-cost: 10 1.59/1.61 c ---[ 903]---> BDD-cost: 11 1.59/1.61 c ---[ 902]---> BDD-cost: 10 1.59/1.61 c ---[ 901]---> BDD-cost: 11 1.59/1.61 c ---[ 900]---> BDD-cost: 11 1.59/1.61 c ---[ 899]---> BDD-cost: 11 1.59/1.61 c ---[ 898]---> BDD-cost: 11 1.59/1.61 c ---[ 897]---> BDD-cost: 11 1.59/1.61 c ---[ 896]---> BDD-cost: 11 1.59/1.61 c ---[ 895]---> BDD-cost: 11 1.59/1.61 c ---[ 894]---> BDD-cost: 11 1.59/1.61 c ---[ 893]---> BDD-cost: 10 1.59/1.61 c ---[ 892]---> BDD-cost: 10 1.59/1.61 c ---[ 891]---> BDD-cost: 10 1.59/1.61 c ---[ 890]---> BDD-cost: 10 1.59/1.61 c ---[ 889]---> BDD-cost: 10 1.59/1.61 c ---[ 888]---> BDD-cost: 11 1.59/1.61 c ---[ 887]---> BDD-cost: 11 1.59/1.61 c ---[ 886]---> BDD-cost: 10 1.59/1.61 c ---[ 885]---> BDD-cost: 10 1.59/1.61 c ---[ 884]---> BDD-cost: 10 1.59/1.61 c ---[ 882]---> BDD-cost: 5017 1.59/1.63 c ---[ 880]---> BDD-cost: 9152 1.59/1.66 c ---[ 878]---> BDD-cost: 9823 1.59/1.69 c ---[ 876]---> BDD-cost: 9599 1.69/1.73 c ---[ 874]---> BDD-cost: 907 1.69/1.73 c ---[ 872]---> BDD-cost: 483 1.69/1.73 c ---[ 870]---> BDD-cost:18652 1.79/1.80 c ---[ 868]---> BDD-cost: 6925 1.79/1.82 c ---[ 866]---> BDD-cost: 7304 1.79/1.85 c ---[ 864]---> BDD-cost: 5599 1.79/1.87 c ---[ 862]---> BDD-cost: 6248 1.79/1.89 c ---[ 860]---> Adder-cost: 874 maxlim: 450560 bits: 19/19 1.89/1.93 c ---[ 858]---> Adder-cost: 716 maxlim: 410624 bits: 19/19 1.89/1.96 c ---[ 856]---> BDD-cost: 767 1.89/1.97 c ---[ 854]---> BDD-cost: 2465 1.89/1.97 c ---[ 852]---> BDD-cost: 4095 1.89/1.99 c ---[ 850]---> BDD-cost: 4190 1.99/2.00 c ---[ 848]---> BDD-cost: 1865 1.99/2.01 c ---[ 846]---> BDD-cost: 5926 1.99/2.03 c ---[ 844]---> BDD-cost: 1741 1.99/2.04 c ---[ 842]---> Adder-cost: 6070 maxlim: 433729 bits: 19/19 2.69/2.79 c ---[ 840]---> BDD-cost: 3258 2.69/2.79 c ---[ 838]---> BDD-cost: 483 2.69/2.79 c ---[ 836]---> Adder-cost: 172 maxlim: 450560 bits: 19/19 2.79/2.80 c ---[ 834]---> BDD-cost: 6729 2.79/2.83 c ---[ 832]---> BDD-cost:28898 2.89/2.93 c ---[ 830]---> BDD-cost: 4126 2.89/2.95 c ---[ 828]---> BDD-cost: 2538 2.89/2.96 c ---[ 826]---> BDD-cost:25597 2.99/3.05 c ---[ 824]---> BDD-cost: 2190 2.99/3.06 c ---[ 822]---> BDD-cost: 8583 2.99/3.09 c ---[ 820]---> BDD-cost: 8549 3.09/3.12 c ---[ 818]---> BDD-cost:16324 3.09/3.18 c ---[ 816]---> BDD-cost: 8427 3.19/3.21 c ---[ 814]---> Adder-cost: 588 maxlim: 357376 bits: 19/19 3.19/3.23 c ---[ 812]---> BDD-cost:11546 3.19/3.27 c ---[ 810]---> Adder-cost: 512 maxlim: 277504 bits: 19/19 3.19/3.29 c ---[ 808]---> Adder-cost: 386 maxlim: 275456 bits: 19/19 3.29/3.31 c ---[ 806]---> BDD-cost: 2134 3.29/3.32 c ---[ 804]---> BDD-cost: 3482 3.29/3.34 c ---[ 802]---> BDD-cost: 2189 3.29/3.34 c ---[ 800]---> BDD-cost: 6555 3.29/3.37 c ---[ 798]---> BDD-cost: 5391 3.29/3.39 c ---[ 796]---> BDD-cost:24493 3.39/3.49 c ---[ 794]---> Adder-cost: 460 maxlim: 287744 bits: 19/19 3.49/3.52 c ---[ 792]---> BDD-cost: 2796 3.49/3.53 c ---[ 790]---> BDD-cost: 7190 3.49/3.56 c ---[ 788]---> BDD-cost: 8947 3.49/3.59 c ---[ 786]---> Adder-cost: 40970 maxlim: 86458 bits: 18/17 5.69/5.71 c ---[ 784]---> Adder-cost: 3948 maxlim: 5869 bits: 14/13 5.69/5.79 c ---[ 782]---> Adder-cost: 2588 maxlim: 3959 bits: 13/12 5.79/5.85 c ---[ 780]---> Adder-cost: 4198 maxlim: 6688 bits: 14/13 5.89/5.94 c ---[ 778]---> Adder-cost: 4540 maxlim: 6388 bits: 14/13 5.99/6.03 c ---[ 776]---> Adder-cost: 702 maxlim: 982 bits: 11/10 5.99/6.04 c ---[ 774]---> Adder-cost: 404 maxlim: 494 bits: 10/9 5.99/6.05 c ---[ 772]---> Adder-cost: 7756 maxlim: 12701 bits: 15/14 6.19/6.24 c ---[ 770]---> Adder-cost: 4390 maxlim: 6396 bits: 14/13 6.29/6.33 c ---[ 768]---> Adder-cost: 4110 maxlim: 6642 bits: 14/13 6.39/6.42 c ---[ 766]---> Adder-cost: 1414 maxlim: 2096 bits: 13/12 6.39/6.45 c ---[ 764]---> Adder-cost: 1138 maxlim: 1913 bits: 12/11 6.39/6.48 c ---[ 762]---> Adder-cost: 642 maxlim: 910 bits: 11/10 6.39/6.49 c ---[ 760]---> Adder-cost: 1524 maxlim: 2206 bits: 13/12 6.49/6.52 c ---[ 758]---> Adder-cost: 2170 maxlim: 3672 bits: 13/12 6.49/6.56 c ---[ 756]---> Adder-cost: 2892 maxlim: 3841 bits: 13/12 6.60/6.61 c ---[ 754]---> Adder-cost: 3328 maxlim: 5301 bits: 14/13 6.60/6.68 c ---[ 752]---> Adder-cost: 4476 maxlim: 7179 bits: 14/13 6.70/6.78 c ---[ 750]---> Adder-cost: 2200 maxlim: 3580 bits: 13/12 6.79/6.82 c ---[ 748]---> Adder-cost: 194 maxlim: 492 bits: 10/9 6.79/6.83 c ---[ 746]---> Adder-cost: 532 maxlim: 2098 bits: 13/12 6.79/6.86 c ---[ 744]---> Adder-cost: 2764 maxlim: 4578 bits: 14/13 6.89/6.93 c ---[ 742]---> Adder-cost: 6990 maxlim: 11308 bits: 15/14 7.09/7.11 c ---[ 740]---> Adder-cost: 2124 maxlim: 2879 bits: 13/12 7.09/7.14 c ---[ 738]---> Adder-cost: 6342 maxlim: 9743 bits: 15/14 7.19/7.28 c ---[ 736]---> Adder-cost: 1510 maxlim: 2480 bits: 13/12 7.29/7.31 c ---[ 734]---> Adder-cost: 2116 maxlim: 3404 bits: 13/12 7.29/7.35 c ---[ 732]---> Adder-cost: 3544 maxlim: 5822 bits: 14/13 7.39/7.44 c ---[ 730]---> Adder-cost: 5326 maxlim: 9714 bits: 15/14 7.49/7.58 c ---[ 728]---> Adder-cost: 2252 maxlim: 3342 bits: 13/12 7.59/7.62 c ---[ 726]---> Adder-cost: 1116 maxlim: 1666 bits: 12/11 7.59/7.65 c ---[ 724]---> Adder-cost: 2834 maxlim: 4573 bits: 14/13 7.70/7.72 c ---[ 722]---> Adder-cost: 888 maxlim: 1294 bits: 12/11 7.70/7.73 c ---[ 720]---> Adder-cost: 844 maxlim: 1282 bits: 12/11 7.70/7.75 c ---[ 718]---> Adder-cost: 1696 maxlim: 2394 bits: 13/12 7.70/7.78 c ---[ 716]---> Adder-cost: 2414 maxlim: 3922 bits: 13/12 7.80/7.83 c ---[ 714]---> Adder-cost: 5396 maxlim: 9726 bits: 15/14 7.89/7.98 c ---[ 712]---> Adder-cost: 888 maxlim: 1299 bits: 12/11 7.99/8.00 c ---[ 710]---> Adder-cost: 4328 maxlim: 6523 bits: 14/13 7.99/8.09 c ---[ 708]---> Adder-cost: 4221 maxlim: 8135 bits: 14/13 8.19/8.21 c ---[ 707]---> BDD-cost: 23 8.19/8.21 c ---[ 706]---> BDD-cost: 11 8.19/8.21 c ---[ 705]---> BDD-cost: 7 8.19/8.21 c ---[ 704]---> BDD-cost: 23 8.19/8.21 c ---[ 703]---> BDD-cost: 7 8.19/8.21 c ---[ 702]---> BDD-cost: 23 8.19/8.21 c ---[ 701]---> BDD-cost: 23 8.19/8.21 c ---[ 700]---> BDD-cost: 23 8.19/8.21 c ---[ 699]---> BDD-cost: 23 8.19/8.21 c ---[ 698]---> BDD-cost: 23 8.19/8.21 c ---[ 697]---> BDD-cost: 7 8.19/8.21 c ---[ 696]---> BDD-cost: 23 8.19/8.21 c ---[ 695]---> BDD-cost: 23 8.19/8.21 c ---[ 694]---> BDD-cost: 11 8.19/8.21 c ---[ 693]---> BDD-cost: 23 8.19/8.21 c ---[ 692]---> BDD-cost: 7 8.19/8.21 c ---[ 691]---> BDD-cost: 23 8.19/8.21 c ---[ 690]---> BDD-cost: 23 8.19/8.21 c ---[ 689]---> BDD-cost: 23 8.19/8.22 c ---[ 688]---> BDD-cost: 23 8.19/8.22 c ---[ 687]---> BDD-cost: 23 8.19/8.22 c ---[ 686]---> BDD-cost: 11 8.19/8.22 c ---[ 685]---> BDD-cost: 23 8.19/8.22 c ---[ 684]---> BDD-cost: 7 8.19/8.22 c ---[ 683]---> BDD-cost: 23 8.19/8.22 c ---[ 682]---> BDD-cost: 23 8.19/8.22 c ---[ 681]---> BDD-cost: 23 8.19/8.22 c ---[ 680]---> BDD-cost: 23 8.19/8.22 c ---[ 679]---> BDD-cost: 23 8.19/8.22 c ---[ 678]---> BDD-cost: 7 8.19/8.22 c ---[ 677]---> BDD-cost: 23 8.19/8.22 c ---[ 676]---> BDD-cost: 23 8.19/8.22 c ---[ 675]---> BDD-cost: 23 8.19/8.22 c ---[ 674]---> BDD-cost: 23 8.19/8.22 c ---[ 673]---> BDD-cost: 23 8.19/8.22 c ---[ 672]---> BDD-cost: 23 8.19/8.22 c ---[ 671]---> BDD-cost: 23 8.19/8.22 c ---[ 670]---> BDD-cost: 23 8.19/8.22 c ---[ 669]---> BDD-cost: 23 8.19/8.22 c ---[ 668]---> BDD-cost: 23 8.19/8.22 c ---[ 667]---> BDD-cost: 23 8.19/8.22 c ---[ 666]---> BDD-cost: 23 8.19/8.22 c ---[ 665]---> BDD-cost: 23 8.19/8.22 c ---[ 664]---> BDD-cost: 23 8.19/8.22 c ---[ 663]---> BDD-cost: 23 8.19/8.22 c ---[ 662]---> BDD-cost: 23 8.19/8.22 c ---[ 661]---> BDD-cost: 23 8.19/8.22 c ---[ 660]---> BDD-cost: 7 8.19/8.22 c ---[ 659]---> BDD-cost: 17 8.19/8.22 c ---[ 658]---> BDD-cost: 11 8.19/8.22 c ---[ 657]---> BDD-cost: 17 8.19/8.22 c ---[ 656]---> BDD-cost: 7 8.19/8.22 c ---[ 655]---> BDD-cost: 9 8.19/8.22 c ---[ 654]---> BDD-cost: 17 8.19/8.22 c ---[ 653]---> BDD-cost: 23 8.19/8.22 c ---[ 652]---> BDD-cost: 23 8.19/8.22 c ---[ 651]---> BDD-cost: 23 8.19/8.22 c ---[ 650]---> BDD-cost: 23 8.19/8.22 c ---[ 649]---> BDD-cost: 17 8.19/8.22 c ---[ 648]---> BDD-cost: 23 8.19/8.22 c ---[ 647]---> BDD-cost: 23 8.19/8.22 c ---[ 646]---> BDD-cost: 23 8.19/8.22 c ---[ 645]---> BDD-cost: 17 8.19/8.22 c ---[ 644]---> BDD-cost: 11 8.19/8.22 c ---[ 643]---> BDD-cost: 23 8.19/8.22 c ---[ 642]---> BDD-cost: 9 8.19/8.22 c ---[ 641]---> BDD-cost: 17 8.19/8.22 c ---[ 640]---> BDD-cost: 23 8.19/8.22 c ---[ 639]---> BDD-cost: 23 8.19/8.22 c ---[ 638]---> BDD-cost: 23 8.19/8.22 c ---[ 637]---> BDD-cost: 23 8.19/8.22 c ---[ 636]---> BDD-cost: 17 8.19/8.22 c ---[ 635]---> BDD-cost: 11 8.19/8.22 c ---[ 634]---> BDD-cost: 23 8.19/8.22 c ---[ 633]---> BDD-cost: 9 8.19/8.22 c ---[ 632]---> BDD-cost: 17 8.19/8.22 c ---[ 631]---> BDD-cost: 23 8.19/8.22 c ---[ 630]---> BDD-cost: 23 8.19/8.22 c ---[ 629]---> BDD-cost: 23 8.19/8.22 c ---[ 628]---> BDD-cost: 19 8.19/8.22 c ---[ 627]---> BDD-cost: 9 8.19/8.22 c ---[ 626]---> BDD-cost: 17 8.19/8.22 c ---[ 625]---> BDD-cost: 23 8.19/8.22 c ---[ 624]---> BDD-cost: 23 8.19/8.22 c ---[ 623]---> BDD-cost: 23 8.19/8.22 c ---[ 622]---> BDD-cost: 23 8.19/8.22 c ---[ 621]---> BDD-cost: 23 8.19/8.22 c ---[ 620]---> BDD-cost: 23 8.19/8.22 c ---[ 619]---> BDD-cost: 23 8.19/8.22 c ---[ 618]---> BDD-cost: 23 8.19/8.22 c ---[ 617]---> BDD-cost: 23 8.19/8.22 c ---[ 616]---> BDD-cost: 15 8.19/8.22 c ---[ 615]---> BDD-cost: 23 8.19/8.22 c ---[ 614]---> BDD-cost: 23 8.19/8.22 c ---[ 613]---> BDD-cost: 23 8.19/8.22 c ---[ 612]---> BDD-cost: 23 8.19/8.22 c ---[ 611]---> BDD-cost: 23 8.19/8.22 c ---[ 610]---> BDD-cost: 23 8.19/8.22 c ---[ 609]---> BDD-cost: 9 8.19/8.22 c ---[ 608]---> BDD-cost: 17 8.19/8.22 c ---[ 607]---> BDD-cost: 23 8.19/8.22 c ---[ 606]---> BDD-cost: 23 8.19/8.22 c ---[ 605]---> BDD-cost: 23 8.19/8.22 c ---[ 604]---> BDD-cost: 23 8.19/8.22 c ---[ 603]---> BDD-cost: 11 8.19/8.22 c ---[ 602]---> BDD-cost: 23 8.19/8.22 c ---[ 601]---> BDD-cost: 23 8.19/8.22 c ---[ 600]---> BDD-cost: 23 8.19/8.22 c ---[ 599]---> BDD-cost: 23 8.19/8.22 c ---[ 598]---> BDD-cost: 23 8.19/8.22 c ---[ 597]---> BDD-cost: 23 8.19/8.22 c ---[ 596]---> BDD-cost: 23 8.19/8.22 c ---[ 595]---> BDD-cost: 11 8.19/8.22 c ---[ 594]---> BDD-cost: 23 8.19/8.22 c ---[ 593]---> BDD-cost: 23 8.19/8.22 c ---[ 592]---> BDD-cost: 23 8.19/8.22 c ---[ 591]---> BDD-cost: 23 8.19/8.22 c ---[ 590]---> BDD-cost: 23 8.19/8.22 c ---[ 589]---> BDD-cost: 23 8.19/8.22 c ---[ 588]---> BDD-cost: 23 8.19/8.22 c ---[ 587]---> BDD-cost: 23 8.19/8.22 c ---[ 586]---> BDD-cost: 23 8.19/8.22 c ---[ 585]---> BDD-cost: 23 8.19/8.22 c ---[ 584]---> BDD-cost: 23 8.19/8.22 c ---[ 583]---> BDD-cost: 11 8.19/8.22 c ---[ 582]---> BDD-cost: 17 8.19/8.22 c ---[ 581]---> BDD-cost: 23 8.19/8.22 c ---[ 580]---> BDD-cost: 23 8.19/8.22 c ---[ 579]---> BDD-cost: 23 8.19/8.22 c ---[ 578]---> BDD-cost: 23 8.19/8.22 c ---[ 577]---> BDD-cost: 11 8.19/8.22 c ---[ 576]---> BDD-cost: 7 8.19/8.22 c ---[ 575]---> BDD-cost: 17 8.19/8.22 c ---[ 574]---> BDD-cost: 23 8.19/8.22 c ---[ 573]---> BDD-cost: 23 8.19/8.22 c ---[ 572]---> BDD-cost: 11 8.19/8.22 c ---[ 571]---> BDD-cost: 23 8.19/8.23 c ---[ 570]---> BDD-cost: 23 8.19/8.23 c ---[ 569]---> BDD-cost: 23 8.19/8.23 c ---[ 568]---> BDD-cost: 23 8.19/8.23 c ---[ 567]---> BDD-cost: 23 8.19/8.23 c ---[ 566]---> BDD-cost: 7 8.19/8.23 c ---[ 565]---> BDD-cost: 17 8.19/8.23 c ---[ 564]---> BDD-cost: 23 8.19/8.23 c ---[ 563]---> BDD-cost: 23 8.19/8.23 c ---[ 562]---> BDD-cost: 23 8.19/8.23 c ---[ 561]---> BDD-cost: 23 8.19/8.23 c ---[ 560]---> BDD-cost: 23 8.19/8.23 c ---[ 559]---> BDD-cost: 23 8.19/8.23 c ---[ 558]---> BDD-cost: 23 8.19/8.23 c ---[ 557]---> BDD-cost: 23 8.19/8.23 c ---[ 556]---> BDD-cost: 23 8.19/8.23 c ---[ 555]---> BDD-cost: 23 8.19/8.23 c ---[ 554]---> BDD-cost: 7 8.19/8.23 c ---[ 553]---> BDD-cost: 9 8.19/8.23 c ---[ 552]---> BDD-cost: 23 8.19/8.23 c ---[ 551]---> BDD-cost: 23 8.19/8.23 c ---[ 550]---> BDD-cost: 23 8.19/8.23 c ---[ 549]---> BDD-cost: 23 8.19/8.23 c ---[ 548]---> BDD-cost: 17 8.19/8.23 c ---[ 547]---> BDD-cost: 23 8.19/8.23 c ---[ 546]---> BDD-cost: 23 8.19/8.23 c ---[ 545]---> BDD-cost: 17 8.19/8.23 c ---[ 544]---> BDD-cost: 23 8.19/8.23 c ---[ 543]---> BDD-cost: 23 8.19/8.23 c ---[ 542]---> BDD-cost: 9 8.19/8.23 c ---[ 541]---> BDD-cost: 23 8.19/8.23 c ---[ 540]---> BDD-cost: 23 8.19/8.23 c ---[ 539]---> BDD-cost: 23 8.19/8.23 c ---[ 538]---> BDD-cost: 23 8.19/8.23 c ---[ 537]---> BDD-cost: 17 8.19/8.23 c ---[ 536]---> BDD-cost: 9 8.19/8.23 c ---[ 535]---> BDD-cost: 23 8.19/8.23 c ---[ 534]---> BDD-cost: 23 8.19/8.23 c ---[ 533]---> BDD-cost: 19 8.19/8.23 c ---[ 532]---> BDD-cost: 23 8.19/8.23 c ---[ 531]---> BDD-cost: 9 8.19/8.23 c ---[ 530]---> BDD-cost: 23 8.19/8.23 c ---[ 529]---> BDD-cost: 23 8.19/8.23 c ---[ 528]---> BDD-cost: 23 8.19/8.23 c ---[ 527]---> BDD-cost: 23 8.19/8.23 c ---[ 526]---> BDD-cost: 23 8.19/8.23 c ---[ 525]---> BDD-cost: 23 8.19/8.23 c ---[ 524]---> BDD-cost: 23 8.19/8.23 c ---[ 523]---> BDD-cost: 23 8.19/8.23 c ---[ 522]---> BDD-cost: 23 8.19/8.23 c ---[ 521]---> BDD-cost: 23 8.19/8.23 c ---[ 520]---> BDD-cost: 23 8.19/8.23 c ---[ 519]---> BDD-cost: 23 8.19/8.23 c ---[ 518]---> BDD-cost: 9 8.19/8.23 c ---[ 517]---> BDD-cost: 23 8.19/8.23 c ---[ 516]---> BDD-cost: 23 8.19/8.23 c ---[ 515]---> BDD-cost: 23 8.19/8.23 c ---[ 514]---> BDD-cost: 23 8.19/8.23 c ---[ 513]---> BDD-cost: 11 8.19/8.23 c ---[ 512]---> BDD-cost: 23 8.19/8.23 c ---[ 511]---> BDD-cost: 23 8.19/8.23 c ---[ 510]---> BDD-cost: 11 8.19/8.23 c ---[ 509]---> BDD-cost: 23 8.19/8.23 c ---[ 508]---> BDD-cost: 23 8.19/8.23 c ---[ 507]---> BDD-cost: 23 8.19/8.23 c ---[ 506]---> BDD-cost: 7 8.19/8.23 c ---[ 505]---> BDD-cost: 23 8.19/8.23 c ---[ 504]---> BDD-cost: 23 8.19/8.23 c ---[ 503]---> BDD-cost: 23 8.19/8.23 c ---[ 502]---> BDD-cost: 23 8.19/8.23 c ---[ 501]---> BDD-cost: 23 8.19/8.23 c ---[ 500]---> BDD-cost: 23 8.19/8.23 c ---[ 499]---> BDD-cost: 23 8.19/8.23 c ---[ 498]---> BDD-cost: 23 8.19/8.23 c ---[ 497]---> BDD-cost: 23 8.19/8.23 c ---[ 496]---> BDD-cost: 23 8.19/8.23 c ---[ 495]---> BDD-cost: 23 8.19/8.23 c ---[ 494]---> BDD-cost: 7 8.19/8.23 c ---[ 493]---> BDD-cost: 7 8.19/8.23 c ---[ 492]---> BDD-cost: 23 8.19/8.23 c ---[ 491]---> BDD-cost: 23 8.19/8.23 c ---[ 490]---> BDD-cost: 23 8.19/8.23 c ---[ 489]---> BDD-cost: 23 8.19/8.23 c ---[ 488]---> BDD-cost: 23 8.19/8.23 c ---[ 487]---> BDD-cost: 23 8.19/8.23 c ---[ 486]---> BDD-cost: 23 8.19/8.23 c ---[ 485]---> BDD-cost: 23 8.19/8.23 c ---[ 484]---> BDD-cost: 23 8.19/8.23 c ---[ 483]---> BDD-cost: 23 8.19/8.23 c ---[ 482]---> BDD-cost: 13 8.19/8.23 c ---[ 481]---> BDD-cost: 19 8.19/8.23 c ---[ 480]---> BDD-cost: 7 8.19/8.23 c ---[ 479]---> BDD-cost: 23 8.19/8.23 c ---[ 478]---> BDD-cost: 23 8.19/8.23 c ---[ 477]---> BDD-cost: 13 8.19/8.23 c ---[ 476]---> BDD-cost: 19 8.19/8.23 c ---[ 475]---> BDD-cost: 7 8.19/8.23 c ---[ 474]---> BDD-cost: 23 8.19/8.23 c ---[ 473]---> BDD-cost: 23 8.19/8.23 c ---[ 472]---> BDD-cost: 23 8.19/8.23 c ---[ 471]---> BDD-cost: 7 8.19/8.23 c ---[ 470]---> BDD-cost: 19 8.19/8.23 c ---[ 469]---> BDD-cost: 23 8.19/8.23 c ---[ 468]---> BDD-cost: 23 8.19/8.23 c ---[ 467]---> BDD-cost: 23 8.19/8.23 c ---[ 466]---> BDD-cost: 23 8.19/8.23 c ---[ 465]---> BDD-cost: 23 8.19/8.23 c ---[ 464]---> BDD-cost: 23 8.19/8.23 c ---[ 463]---> BDD-cost: 9 8.19/8.23 c ---[ 462]---> BDD-cost: 19 8.19/8.23 c ---[ 461]---> BDD-cost: 23 8.19/8.23 c ---[ 460]---> BDD-cost: 23 8.19/8.23 c ---[ 459]---> BDD-cost: 23 8.19/8.23 c ---[ 458]---> BDD-cost: 23 8.19/8.23 c ---[ 457]---> BDD-cost: 23 8.19/8.23 c ---[ 456]---> BDD-cost: 23 8.19/8.23 c ---[ 455]---> BDD-cost: 23 8.19/8.23 c ---[ 454]---> BDD-cost: 23 8.19/8.24 c ---[ 453]---> BDD-cost: 23 8.19/8.24 c ---[ 452]---> BDD-cost: 23 8.19/8.24 c ---[ 451]---> BDD-cost: 23 8.19/8.24 c ---[ 450]---> BDD-cost: 23 8.19/8.24 c ---[ 449]---> BDD-cost: 23 8.19/8.24 c ---[ 448]---> BDD-cost: 13 8.19/8.24 c ---[ 447]---> BDD-cost: 19 8.19/8.24 c ---[ 446]---> BDD-cost: 9 8.19/8.24 c ---[ 445]---> BDD-cost: 23 8.19/8.24 c ---[ 444]---> BDD-cost: 23 8.19/8.24 c ---[ 443]---> BDD-cost: 23 8.19/8.24 c ---[ 442]---> BDD-cost: 23 8.19/8.24 c ---[ 441]---> BDD-cost: 13 8.19/8.24 c ---[ 440]---> BDD-cost: 19 8.19/8.24 c ---[ 439]---> BDD-cost: 9 8.19/8.24 c ---[ 438]---> BDD-cost: 23 8.19/8.24 c ---[ 437]---> BDD-cost: 13 8.19/8.24 c ---[ 436]---> BDD-cost: 19 8.19/8.24 c ---[ 435]---> BDD-cost: 5 8.19/8.24 c ---[ 434]---> BDD-cost: 23 8.19/8.24 c ---[ 433]---> BDD-cost: 23 8.19/8.24 c ---[ 432]---> BDD-cost: 13 8.19/8.24 c ---[ 431]---> BDD-cost: 19 8.19/8.24 c ---[ 430]---> BDD-cost: 23 8.19/8.24 c ---[ 429]---> BDD-cost: 9 8.19/8.24 c ---[ 428]---> BDD-cost: 19 8.19/8.24 c ---[ 427]---> BDD-cost: 13 8.19/8.24 c ---[ 426]---> BDD-cost: 19 8.19/8.24 c ---[ 425]---> BDD-cost: 23 8.19/8.24 c ---[ 424]---> BDD-cost: 23 8.19/8.24 c ---[ 423]---> BDD-cost: 23 8.19/8.24 c ---[ 422]---> BDD-cost: 23 8.19/8.24 c ---[ 421]---> BDD-cost: 11 8.19/8.24 c ---[ 420]---> BDD-cost: 7 8.19/8.24 c ---[ 419]---> BDD-cost: 23 8.19/8.24 c ---[ 418]---> BDD-cost: 23 8.19/8.24 c ---[ 417]---> BDD-cost: 11 8.19/8.24 c ---[ 416]---> BDD-cost: 23 8.19/8.24 c ---[ 415]---> BDD-cost: 23 8.19/8.24 c ---[ 414]---> BDD-cost: 23 8.19/8.24 c ---[ 413]---> BDD-cost: 23 8.19/8.24 c ---[ 412]---> BDD-cost: 23 8.19/8.24 c ---[ 411]---> BDD-cost: 7 8.19/8.24 c ---[ 410]---> BDD-cost: 23 8.19/8.24 c ---[ 409]---> BDD-cost: 23 8.19/8.24 c ---[ 408]---> BDD-cost: 23 8.19/8.24 c ---[ 407]---> BDD-cost: 23 8.19/8.24 c ---[ 406]---> BDD-cost: 23 8.19/8.24 c ---[ 405]---> BDD-cost: 23 8.19/8.24 c ---[ 404]---> BDD-cost: 23 8.19/8.24 c ---[ 403]---> BDD-cost: 23 8.19/8.24 c ---[ 402]---> BDD-cost: 23 8.19/8.24 c ---[ 401]---> BDD-cost: 23 8.19/8.24 c ---[ 400]---> BDD-cost: 23 8.19/8.24 c ---[ 399]---> BDD-cost: 23 8.19/8.24 c ---[ 398]---> BDD-cost: 23 8.19/8.24 c ---[ 397]---> BDD-cost: 23 8.19/8.24 c ---[ 396]---> BDD-cost: 23 8.19/8.24 c ---[ 395]---> BDD-cost: 23 8.19/8.24 c ---[ 394]---> BDD-cost: 23 8.19/8.24 c ---[ 393]---> BDD-cost: 23 8.19/8.24 c ---[ 392]---> BDD-cost: 23 8.19/8.24 c ---[ 391]---> BDD-cost: 23 8.19/8.24 c ---[ 390]---> BDD-cost: 23 8.19/8.24 c ---[ 389]---> BDD-cost: 23 8.19/8.24 c ---[ 388]---> BDD-cost: 23 8.19/8.24 c ---[ 387]---> BDD-cost: 23 8.19/8.24 c ---[ 386]---> BDD-cost: 23 8.19/8.24 c ---[ 385]---> BDD-cost: 23 8.19/8.24 c ---[ 384]---> BDD-cost: 23 8.19/8.24 c ---[ 383]---> BDD-cost: 23 8.19/8.24 c ---[ 382]---> BDD-cost: 23 8.19/8.24 c ---[ 381]---> BDD-cost: 23 8.19/8.24 c ---[ 380]---> BDD-cost: 23 8.19/8.24 c ---[ 379]---> BDD-cost: 23 8.19/8.24 c ---[ 378]---> BDD-cost: 23 8.19/8.24 c ---[ 377]---> BDD-cost: 23 8.19/8.24 c ---[ 376]---> BDD-cost: 23 8.19/8.24 c ---[ 375]---> BDD-cost: 23 8.19/8.24 c ---[ 374]---> BDD-cost: 23 8.19/8.24 c ---[ 373]---> BDD-cost: 23 8.19/8.24 c ---[ 372]---> BDD-cost: 23 8.19/8.24 c ---[ 371]---> BDD-cost: 23 8.19/8.24 c ---[ 370]---> BDD-cost: 23 8.19/8.24 c ---[ 369]---> BDD-cost: 23 8.19/8.24 c ---[ 368]---> BDD-cost: 23 8.19/8.24 c ---[ 367]---> BDD-cost: 23 8.19/8.24 c ---[ 366]---> BDD-cost: 23 8.19/8.24 c ---[ 365]---> BDD-cost: 23 8.19/8.24 c ---[ 364]---> BDD-cost: 23 8.19/8.24 c ---[ 363]---> BDD-cost: 23 8.19/8.24 c ---[ 362]---> BDD-cost: 23 8.19/8.24 c ---[ 361]---> BDD-cost: 23 8.19/8.24 c ---[ 360]---> BDD-cost: 23 8.19/8.24 c ---[ 359]---> BDD-cost: 23 8.19/8.24 c ---[ 358]---> BDD-cost: 23 8.19/8.24 c ---[ 357]---> BDD-cost: 23 8.19/8.24 c ---[ 356]---> BDD-cost: 13 8.19/8.24 c ---[ 355]---> BDD-cost: 19 8.19/8.24 c ---[ 354]---> BDD-cost: 23 8.19/8.24 c ---[ 353]---> BDD-cost: 23 8.19/8.24 c ---[ 352]---> BDD-cost: 23 8.19/8.24 c ---[ 351]---> BDD-cost: 13 8.19/8.24 c ---[ 350]---> BDD-cost: 19 8.19/8.24 c ---[ 349]---> BDD-cost: 5 8.19/8.24 c ---[ 348]---> BDD-cost: 13 8.19/8.24 c ---[ 347]---> BDD-cost: 7 8.19/8.24 c ---[ 346]---> BDD-cost: 19 8.19/8.24 c ---[ 345]---> BDD-cost: 23 8.19/8.24 c ---[ 344]---> BDD-cost: 23 8.19/8.24 c ---[ 343]---> BDD-cost: 23 8.19/8.24 c ---[ 342]---> BDD-cost: 13 8.19/8.24 c ---[ 341]---> BDD-cost: 23 8.19/8.24 c ---[ 340]---> BDD-cost: 23 8.19/8.24 c ---[ 339]---> BDD-cost: 7 8.19/8.24 c ---[ 338]---> BDD-cost: 23 8.19/8.25 c ---[ 337]---> BDD-cost: 23 8.19/8.25 c ---[ 336]---> BDD-cost: 23 8.19/8.25 c ---[ 335]---> BDD-cost: 23 8.19/8.25 c ---[ 334]---> BDD-cost: 11 8.19/8.25 c ---[ 333]---> BDD-cost: 23 8.19/8.25 c ---[ 332]---> BDD-cost: 23 8.19/8.25 c ---[ 331]---> BDD-cost: 23 8.19/8.25 c ---[ 330]---> BDD-cost: 23 8.19/8.25 c ---[ 329]---> BDD-cost: 23 8.19/8.25 c ---[ 328]---> BDD-cost: 11 8.19/8.25 c ---[ 327]---> BDD-cost: 23 8.19/8.25 c ---[ 326]---> BDD-cost: 23 8.19/8.25 c ---[ 325]---> BDD-cost: 23 8.19/8.25 c ---[ 324]---> BDD-cost: 19 8.19/8.25 c ---[ 323]---> BDD-cost: 11 8.19/8.25 c ---[ 322]---> BDD-cost: 23 8.19/8.25 c ---[ 321]---> BDD-cost: 23 8.19/8.25 c ---[ 320]---> BDD-cost: 23 8.19/8.25 c ---[ 319]---> BDD-cost: 23 8.19/8.25 c ---[ 318]---> BDD-cost: 23 8.19/8.25 c ---[ 317]---> BDD-cost: 23 8.19/8.25 c ---[ 316]---> BDD-cost: 23 8.19/8.25 c ---[ 315]---> BDD-cost: 23 8.19/8.25 c ---[ 314]---> BDD-cost: 17 8.19/8.25 c ---[ 313]---> BDD-cost: 23 8.19/8.25 c ---[ 312]---> BDD-cost: 23 8.19/8.25 c ---[ 311]---> BDD-cost: 23 8.19/8.25 c ---[ 310]---> BDD-cost: 23 8.19/8.25 c ---[ 309]---> BDD-cost: 23 8.19/8.25 c ---[ 308]---> BDD-cost: 23 8.19/8.25 c ---[ 307]---> BDD-cost: 23 8.19/8.25 c ---[ 306]---> BDD-cost: 23 8.19/8.25 c ---[ 305]---> BDD-cost: 11 8.19/8.25 c ---[ 304]---> BDD-cost: 23 8.19/8.25 c ---[ 303]---> BDD-cost: 23 8.19/8.25 c ---[ 302]---> BDD-cost: 23 8.19/8.25 c ---[ 301]---> BDD-cost: 23 8.19/8.25 c ---[ 300]---> BDD-cost: 23 8.19/8.25 c ---[ 299]---> BDD-cost: 23 8.19/8.25 c ---[ 298]---> BDD-cost: 23 8.19/8.25 c ---[ 297]---> BDD-cost: 23 8.19/8.25 c ---[ 296]---> BDD-cost: 23 8.19/8.25 c ---[ 295]---> BDD-cost: 23 8.19/8.25 c ---[ 294]---> BDD-cost: 23 8.19/8.25 c ---[ 293]---> BDD-cost: 23 8.19/8.25 c ---[ 292]---> BDD-cost: 23 8.19/8.25 c ---[ 291]---> BDD-cost: 23 8.19/8.25 c ---[ 290]---> BDD-cost: 23 8.19/8.25 c ---[ 289]---> BDD-cost: 23 8.19/8.25 c ---[ 288]---> BDD-cost: 23 8.19/8.25 c ---[ 287]---> BDD-cost: 23 8.19/8.25 c ---[ 286]---> BDD-cost: 23 8.19/8.25 c ---[ 285]---> BDD-cost: 23 8.19/8.25 c ---[ 284]---> BDD-cost: 23 8.19/8.25 c ---[ 283]---> BDD-cost: 23 8.19/8.25 c ---[ 282]---> BDD-cost: 23 8.19/8.25 c ---[ 281]---> BDD-cost: 23 8.19/8.25 c ---[ 280]---> BDD-cost: 23 8.19/8.25 c ---[ 279]---> BDD-cost: 11 8.19/8.25 c ---[ 278]---> BDD-cost: 23 8.19/8.25 c ---[ 277]---> BDD-cost: 7 8.19/8.25 c ---[ 276]---> BDD-cost: 23 8.19/8.25 c ---[ 275]---> BDD-cost: 23 8.19/8.25 c ---[ 274]---> BDD-cost: 19 8.19/8.25 c ---[ 273]---> BDD-cost: 7 8.19/8.25 c ---[ 272]---> BDD-cost: 23 8.19/8.25 c ---[ 271]---> BDD-cost: 23 8.19/8.25 c ---[ 270]---> BDD-cost: 23 8.19/8.25 c ---[ 269]---> BDD-cost: 23 8.19/8.25 c ---[ 268]---> BDD-cost: 23 8.19/8.25 c ---[ 267]---> BDD-cost: 23 8.19/8.25 c ---[ 266]---> BDD-cost: 23 8.19/8.25 c ---[ 265]---> BDD-cost: 15 8.19/8.25 c ---[ 264]---> BDD-cost: 23 8.19/8.25 c ---[ 263]---> BDD-cost: 23 8.19/8.25 c ---[ 262]---> BDD-cost: 23 8.19/8.25 c ---[ 261]---> BDD-cost: 23 8.19/8.25 c ---[ 260]---> BDD-cost: 23 8.19/8.25 c ---[ 259]---> BDD-cost: 7 8.19/8.25 c ---[ 258]---> BDD-cost: 23 8.19/8.25 c ---[ 257]---> BDD-cost: 23 8.19/8.25 c ---[ 256]---> BDD-cost: 23 8.19/8.25 c ---[ 255]---> BDD-cost: 23 8.19/8.25 c ---[ 254]---> BDD-cost: 23 8.19/8.25 c ---[ 253]---> BDD-cost: 23 8.19/8.25 c ---[ 252]---> BDD-cost: 23 8.19/8.25 c ---[ 251]---> BDD-cost: 23 8.19/8.25 c ---[ 250]---> BDD-cost: 23 8.19/8.25 c ---[ 249]---> BDD-cost: 23 8.19/8.25 c ---[ 248]---> BDD-cost: 23 8.19/8.25 c ---[ 247]---> BDD-cost: 23 8.19/8.25 c ---[ 246]---> BDD-cost: 23 8.19/8.25 c ---[ 245]---> BDD-cost: 23 8.19/8.25 c ---[ 244]---> BDD-cost: 23 8.19/8.25 c ---[ 243]---> BDD-cost: 23 8.19/8.25 c ---[ 242]---> BDD-cost: 23 8.19/8.25 c ---[ 241]---> BDD-cost: 23 8.19/8.25 c ---[ 240]---> BDD-cost: 23 8.19/8.25 c ---[ 239]---> BDD-cost: 23 8.19/8.25 c ---[ 238]---> BDD-cost: 23 8.19/8.25 c ---[ 237]---> BDD-cost: 23 8.19/8.25 c ---[ 236]---> BDD-cost: 23 8.19/8.25 c ---[ 235]---> BDD-cost: 23 8.19/8.25 c ---[ 234]---> BDD-cost: 23 8.19/8.25 c ---[ 233]---> BDD-cost: 23 8.19/8.25 c ---[ 232]---> BDD-cost: 23 8.19/8.25 c ---[ 231]---> BDD-cost: 23 8.19/8.25 c ---[ 230]---> BDD-cost: 23 8.19/8.25 c ---[ 229]---> BDD-cost: 23 8.19/8.26 c ---[ 228]---> BDD-cost: 23 8.19/8.26 c ---[ 227]---> BDD-cost: 23 8.19/8.26 c ---[ 226]---> BDD-cost: 23 8.19/8.26 c ---[ 225]---> BDD-cost: 23 8.19/8.26 c ---[ 224]---> BDD-cost: 23 8.19/8.26 c ---[ 223]---> BDD-cost: 23 8.19/8.26 c ---[ 222]---> BDD-cost: 23 8.19/8.26 c ---[ 221]---> BDD-cost: 23 8.19/8.26 c ---[ 220]---> BDD-cost: 23 8.19/8.26 c ---[ 219]---> BDD-cost: 23 8.19/8.26 c ---[ 218]---> BDD-cost: 23 8.19/8.26 c ---[ 217]---> BDD-cost: 23 8.19/8.26 c ---[ 216]---> BDD-cost: 23 8.19/8.26 c ---[ 215]---> BDD-cost: 23 8.19/8.26 c ---[ 214]---> BDD-cost: 23 8.19/8.26 c ---[ 213]---> BDD-cost: 23 8.19/8.26 c ---[ 212]---> BDD-cost: 23 8.19/8.26 c ---[ 211]---> BDD-cost: 23 8.19/8.26 c ---[ 210]---> BDD-cost: 23 8.19/8.26 c ---[ 209]---> BDD-cost: 23 8.19/8.26 c ---[ 208]---> BDD-cost: 23 8.19/8.26 c ---[ 207]---> BDD-cost: 23 8.19/8.26 c ---[ 206]---> BDD-cost: 23 8.19/8.26 c ---[ 205]---> BDD-cost: 23 8.19/8.26 c ---[ 204]---> BDD-cost: 11 8.19/8.26 c ---[ 203]---> BDD-cost: 23 8.19/8.26 c ---[ 202]---> BDD-cost: 23 8.19/8.26 c ---[ 201]---> BDD-cost: 23 8.19/8.26 c ---[ 200]---> BDD-cost: 23 8.19/8.26 c ---[ 199]---> BDD-cost: 19 8.19/8.26 c ---[ 198]---> BDD-cost: 11 8.19/8.26 c ---[ 197]---> BDD-cost: 23 8.19/8.26 c ---[ 196]---> BDD-cost: 23 8.19/8.26 c ---[ 195]---> BDD-cost: 23 8.19/8.26 c ---[ 194]---> BDD-cost: 23 8.19/8.26 c ---[ 193]---> BDD-cost: 23 8.19/8.26 c ---[ 192]---> BDD-cost: 23 8.19/8.26 c ---[ 191]---> BDD-cost: 23 8.19/8.26 c ---[ 190]---> BDD-cost: 23 8.19/8.26 c ---[ 189]---> BDD-cost: 23 8.19/8.26 c ---[ 188]---> BDD-cost: 17 8.19/8.26 c ---[ 187]---> BDD-cost: 23 8.19/8.26 c ---[ 186]---> BDD-cost: 23 8.19/8.26 c ---[ 185]---> BDD-cost: 23 8.19/8.26 c ---[ 184]---> BDD-cost: 23 8.19/8.26 c ---[ 183]---> BDD-cost: 23 8.19/8.26 c ---[ 182]---> BDD-cost: 23 8.19/8.26 c ---[ 181]---> BDD-cost: 23 8.19/8.26 c ---[ 180]---> BDD-cost: 23 8.19/8.26 c ---[ 179]---> BDD-cost: 11 8.19/8.26 c ---[ 178]---> BDD-cost: 23 8.19/8.26 c ---[ 177]---> BDD-cost: 23 8.19/8.26 c ---[ 176]---> BDD-cost: 23 8.19/8.26 c ---[ 175]---> BDD-cost: 23 8.19/8.26 c ---[ 174]---> BDD-cost: 23 8.19/8.26 c ---[ 173]---> BDD-cost: 23 8.19/8.26 c ---[ 172]---> BDD-cost: 23 8.19/8.26 c ---[ 171]---> BDD-cost: 23 8.19/8.26 c ---[ 170]---> BDD-cost: 23 8.19/8.26 c ---[ 169]---> BDD-cost: 23 8.19/8.26 c ---[ 168]---> BDD-cost: 23 8.19/8.26 c ---[ 167]---> BDD-cost: 23 8.19/8.26 c ---[ 166]---> BDD-cost: 23 8.19/8.26 c ---[ 165]---> BDD-cost: 19 8.19/8.26 c ---[ 164]---> BDD-cost: 23 8.19/8.26 c ---[ 163]---> BDD-cost: 23 8.19/8.26 c ---[ 162]---> BDD-cost: 23 8.19/8.26 c ---[ 161]---> BDD-cost: 23 8.19/8.26 c ---[ 160]---> BDD-cost: 23 8.19/8.26 c ---[ 159]---> BDD-cost: 23 8.19/8.26 c ---[ 158]---> BDD-cost: 23 8.19/8.26 c ---[ 157]---> BDD-cost: 23 8.19/8.26 c ---[ 156]---> BDD-cost: 23 8.19/8.26 c ---[ 155]---> BDD-cost: 23 8.19/8.26 c ---[ 154]---> BDD-cost: 23 8.19/8.26 c ---[ 153]---> BDD-cost: 23 8.19/8.26 c ---[ 152]---> BDD-cost: 23 8.19/8.26 c ---[ 151]---> BDD-cost: 23 8.19/8.26 c ---[ 150]---> BDD-cost: 23 8.19/8.26 c ---[ 149]---> BDD-cost: 23 8.19/8.26 c ---[ 148]---> BDD-cost: 23 8.19/8.26 c ---[ 147]---> BDD-cost: 23 8.19/8.26 c ---[ 146]---> BDD-cost: 23 8.19/8.26 c ---[ 145]---> BDD-cost: 7 8.19/8.26 c ---[ 144]---> BDD-cost: 19 8.19/8.26 c ---[ 143]---> BDD-cost: 13 8.19/8.26 c ---[ 142]---> BDD-cost: 23 8.19/8.26 c ---[ 141]---> BDD-cost: 5 8.19/8.26 c ---[ 140]---> BDD-cost: 19 8.19/8.26 c ---[ 139]---> BDD-cost: 13 8.19/8.26 c ---[ 138]---> BDD-cost: 11 8.19/8.26 c ---[ 137]---> BDD-cost: 13 8.19/8.26 c ---[ 136]---> BDD-cost: 19 8.19/8.26 c ---[ 135]---> BDD-cost: 23 8.19/8.26 c ---[ 134]---> BDD-cost: 23 8.19/8.26 c ---[ 133]---> BDD-cost: 23 8.19/8.26 c ---[ 132]---> BDD-cost: 23 8.19/8.26 c ---[ 131]---> BDD-cost: 23 8.19/8.26 c ---[ 130]---> BDD-cost: 13 8.19/8.26 c ---[ 129]---> BDD-cost: 13 8.19/8.26 c ---[ 128]---> BDD-cost: 23 8.19/8.26 c ---[ 127]---> BDD-cost: 23 8.19/8.26 c ---[ 126]---> BDD-cost: 23 8.19/8.26 c ---[ 125]---> BDD-cost: 23 8.19/8.26 c ---[ 124]---> BDD-cost: 23 8.19/8.26 c ---[ 123]---> BDD-cost: 19 8.19/8.26 c ---[ 122]---> BDD-cost: 13 8.19/8.26 c ---[ 121]---> BDD-cost: 5 8.19/8.26 c ---[ 120]---> BDD-cost: 19 8.19/8.26 c ---[ 119]---> BDD-cost: 13 8.19/8.26 c ---[ 118]---> BDD-cost: 7 8.19/8.26 c ---[ 117]---> BDD-cost: 23 8.19/8.27 c ---[ 116]---> BDD-cost: 23 8.19/8.27 c ---[ 115]---> BDD-cost: 23 8.19/8.27 c ---[ 114]---> BDD-cost: 19 8.19/8.27 c ---[ 113]---> BDD-cost: 13 8.19/8.27 c ---[ 112]---> BDD-cost: 23 8.19/8.27 c ---[ 111]---> BDD-cost: 19 8.19/8.27 c ---[ 110]---> BDD-cost: 7 8.19/8.27 c ---[ 109]---> BDD-cost: 19 8.19/8.27 c ---[ 108]---> BDD-cost: 23 8.19/8.27 c ---[ 107]---> BDD-cost: 23 8.19/8.27 c ---[ 106]---> BDD-cost: 19 8.19/8.27 c ---[ 105]---> BDD-cost: 23 8.19/8.27 c ---[ 104]---> BDD-cost: 23 8.19/8.27 c ---[ 103]---> BDD-cost: 23 8.19/8.27 c ---[ 102]---> BDD-cost: 23 8.19/8.27 c ---[ 101]---> BDD-cost: 23 8.19/8.27 c ---[ 100]---> BDD-cost: 23 8.19/8.27 c ---[ 99]---> BDD-cost: 23 8.19/8.27 c ---[ 98]---> BDD-cost: 23 8.19/8.27 c ---[ 97]---> BDD-cost: 19 8.19/8.27 c ---[ 96]---> BDD-cost: 23 8.19/8.27 c ---[ 95]---> BDD-cost: 23 8.19/8.27 c ---[ 94]---> BDD-cost: 23 8.19/8.27 c ---[ 93]---> BDD-cost: 23 8.19/8.27 c ---[ 92]---> BDD-cost: 23 8.19/8.27 c ---[ 91]---> BDD-cost: 23 8.19/8.27 c ---[ 90]---> BDD-cost: 23 8.19/8.27 c ---[ 89]---> BDD-cost: 23 8.19/8.27 c ---[ 88]---> BDD-cost: 15 8.19/8.27 c ---[ 87]---> BDD-cost: 23 8.19/8.27 c ---[ 86]---> BDD-cost: 23 8.19/8.27 c ---[ 85]---> BDD-cost: 23 8.19/8.27 c ---[ 84]---> BDD-cost: 23 8.19/8.27 c ---[ 83]---> BDD-cost: 23 8.19/8.27 c ---[ 82]---> BDD-cost: 23 8.19/8.27 c ---[ 81]---> BDD-cost: 23 8.19/8.27 c ---[ 80]---> BDD-cost: 7 8.19/8.27 c ---[ 79]---> BDD-cost: 19 8.19/8.27 c ---[ 78]---> BDD-cost: 13 8.19/8.27 c ---[ 77]---> BDD-cost: 11 8.19/8.27 c ---[ 76]---> BDD-cost: 13 8.19/8.27 c ---[ 75]---> BDD-cost: 19 8.19/8.27 c ---[ 74]---> BDD-cost: 23 8.19/8.27 c ---[ 73]---> BDD-cost: 23 8.19/8.27 c ---[ 72]---> BDD-cost: 23 8.19/8.27 c ---[ 71]---> BDD-cost: 23 8.19/8.27 c ---[ 70]---> BDD-cost: 23 8.19/8.27 c ---[ 69]---> BDD-cost: 13 8.19/8.27 c ---[ 68]---> BDD-cost: 13 8.19/8.27 c ---[ 67]---> BDD-cost: 23 8.19/8.27 c ---[ 66]---> BDD-cost: 23 8.19/8.27 c ---[ 65]---> BDD-cost: 19 8.19/8.27 c ---[ 64]---> BDD-cost: 13 8.19/8.27 c ---[ 63]---> BDD-cost: 7 8.19/8.27 c ---[ 62]---> BDD-cost: 9 8.19/8.27 c ---[ 61]---> BDD-cost: 23 8.19/8.27 c ---[ 60]---> BDD-cost: 23 8.19/8.27 c ---[ 59]---> BDD-cost: 19 8.19/8.27 c ---[ 58]---> BDD-cost: 13 8.19/8.27 c ---[ 57]---> BDD-cost: 23 8.19/8.27 c ---[ 56]---> BDD-cost: 23 8.19/8.27 c ---[ 55]---> BDD-cost: 19 8.19/8.27 c ---[ 54]---> BDD-cost: 7 8.19/8.27 c ---[ 53]---> BDD-cost: 19 8.19/8.27 c ---[ 52]---> BDD-cost: 13 8.19/8.27 c ---[ 51]---> BDD-cost: 23 8.19/8.27 c ---[ 50]---> BDD-cost: 13 8.19/8.27 c ---[ 49]---> BDD-cost: 19 8.19/8.27 c ---[ 48]---> BDD-cost: 23 8.19/8.27 c ---[ 47]---> BDD-cost: 23 8.19/8.27 c ---[ 46]---> BDD-cost: 23 8.19/8.27 c ---[ 45]---> BDD-cost: 23 8.19/8.27 c ---[ 44]---> BDD-cost: 13 8.19/8.27 c ---[ 43]---> BDD-cost: 23 8.19/8.27 c ---[ 42]---> BDD-cost: 23 8.19/8.27 c ---[ 41]---> BDD-cost: 23 8.19/8.27 c ---[ 40]---> BDD-cost: 23 8.19/8.27 c ---[ 39]---> BDD-cost: 23 8.19/8.27 c ---[ 38]---> BDD-cost: 23 8.19/8.27 c ---[ 37]---> BDD-cost: 13 8.19/8.27 c ---[ 36]---> BDD-cost: 19 8.19/8.27 c ---[ 35]---> BDD-cost: 23 8.19/8.27 c ---[ 34]---> BDD-cost: 23 8.19/8.27 c ---[ 33]---> BDD-cost: 7 8.19/8.27 c ---[ 32]---> BDD-cost: 19 8.19/8.27 c ---[ 31]---> BDD-cost: 13 8.19/8.27 c ---[ 30]---> BDD-cost: 19 8.19/8.27 c ---[ 29]---> BDD-cost: 23 8.19/8.27 c ---[ 28]---> BDD-cost: 23 8.19/8.27 c ---[ 27]---> BDD-cost: 23 8.19/8.27 c ---[ 26]---> BDD-cost: 23 8.19/8.27 c ---[ 25]---> BDD-cost: 23 8.19/8.27 c ---[ 24]---> BDD-cost: 23 8.19/8.27 c ---[ 23]---> BDD-cost: 23 8.19/8.27 c ---[ 22]---> BDD-cost: 23 8.19/8.27 c ---[ 21]---> BDD-cost: 23 8.19/8.27 c ---[ 20]---> BDD-cost: 23 8.19/8.27 c ---[ 19]---> BDD-cost: 23 8.19/8.27 c ---[ 18]---> BDD-cost: 23 8.19/8.27 c ---[ 17]---> BDD-cost: 23 8.19/8.27 c ---[ 16]---> BDD-cost: 23 8.19/8.27 c ---[ 15]---> BDD-cost: 15 8.19/8.27 c ---[ 14]---> BDD-cost: 23 8.19/8.27 c ---[ 13]---> BDD-cost: 23 8.19/8.27 c ---[ 12]---> BDD-cost: 13 8.19/8.27 c ---[ 11]---> BDD-cost: 23 8.19/8.27 c ---[ 10]---> BDD-cost: 23 8.19/8.27 c ---[ 9]---> BDD-cost: 23 8.19/8.27 c ---[ 8]---> BDD-cost: 23 8.19/8.27 c ---[ 7]---> BDD-cost: 23 8.19/8.27 c ---[ 6]---> BDD-cost: 23 8.19/8.27 c ---[ 5]---> BDD-cost: 23 8.19/8.27 c ---[ 4]---> BDD-cost: 13 8.19/8.27 c ---[ 3]---> BDD-cost: 23 8.19/8.27 c ---[ 2]---> BDD-cost: 23 8.19/8.27 c ---[ 1]---> BDD-cost: 23 8.19/8.28 c ---[ 0]---> BDD-cost: 23 1464.97/1465.27 | Eliminated clauses: 0.22 Mb | 1464.97/1465.27 ============================[ Search Statistics ]============================== 1464.97/1465.27 | Conflicts | ORIGINAL | LEARNT | Progress | 1464.97/1465.27 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1464.97/1465.27 =============================================================================== 1464.97/1465.27 | 100 | 452014 1912835 6249574 | 701372 99 203 | 4.586 % | 1464.97/1465.27 | 250 | 452014 1912835 6249574 | 771510 249 111 | 4.586 % | 1464.97/1465.27 | 475 | 452014 1912835 6249574 | 848661 474 120 | 4.586 % | 1464.97/1465.27 | 812 | 450765 1912835 6249574 | 933527 809 102 | 4.847 % | 1464.97/1465.27 | 1318 | 450765 1912835 6249574 | 1026879 1315 379 | 4.847 % | 1464.97/1465.27 | 2077 | 450765 1912835 6249574 | 1129567 2074 299 | 4.847 % | 1464.97/1465.27 | 3216 | 450694 1912835 6249574 | 1242524 3212 260 | 4.862 % | 1464.97/1465.27 | 4924 | 450693 1912835 6249574 | 1366777 4919 218 | 4.862 % | 1464.97/1465.27 | 7486 | 449872 1912835 6249574 | 1503454 7479 176 | 5.033 % | 1464.97/1465.27 | 11330 | 448795 1912835 6249574 | 1653800 11301 163 | 5.258 % | 1464.97/1465.27 | 17096 | 448762 1912835 6249574 | 1819180 17030 193 | 5.265 % | 1464.97/1465.27 | 25745 | 448685 1912835 6249574 | 2001098 25619 232 | 5.281 % | 1464.97/1465.27 | 38719 | 448548 1912835 6249574 | 2201208 38404 223 | 5.310 % | 1464.97/1465.27 | 58180 | 447546 1912835 6249574 | 2421329 57665 205 | 5.519 % | 1464.97/1465.27 | 87372 | 446877 1912835 6249574 | 2663462 86728 255 | 5.658 % | 1464.97/1465.27 | 131161 | 446757 1912835 6249574 | 2929808 130288 229 | 5.683 % | 1464.97/1465.27 | 196845 | 446591 1912835 6249574 | 3222789 195680 225 | 5.718 % | 1464.97/1465.27 | 295371 | 446493 1912835 6249574 | 3545068 294040 238 | 5.739 % | 1464.97/1465.27 | 443160 | 432132 1912835 6249574 | 3899574 441319 251 | 8.736 % | 1464.97/1465.27 | 664843 | 427071 1912835 6249574 | 4289532 662282 271 | 9.792 % | 1464.97/1465.27 | 997368 | 426968 1912835 6249574 | 4718485 990912 302 | 9.814 % | 1464.97/1465.27 =============================================================================== 1464.97/1465.27 c [1mFound solution: 264293[0m 1464.97/1465.27 c ---[ 0]---> BDD-cost: 107 1800.01/1800.30 | Eliminated clauses: 0.24 Mb | 1800.01/1800.30 ============================[ Search Statistics ]============================== 1800.01/1800.30 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.01/1800.30 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.01/1800.30 =============================================================================== 1800.01/1800.30 | 1079900 | 426476 1831311 5997118 | 671480 45919 149 | 9.831 % | 1800.01/1800.30 | 1080050 | 426476 1831311 5997118 | 738628 46069 150 | 9.831 % | 1800.01/1800.30 | 1080275 | 426476 1831311 5997118 | 812491 46294 152 | 9.831 % | 1800.01/1800.30 | 1080612 | 426476 1831311 5997118 | 893740 46631 153 | 9.831 % | 1800.01/1800.30 | 1081118 | 426476 1831311 5997118 | 983114 47137 154 | 9.831 % | 1800.01/1800.30 | 1081877 | 426476 1831311 5997118 | 1081426 47896 154 | 9.831 % | 1800.01/1800.30 | 1083016 | 426476 1831311 5997118 | 1189569 49035 154 | 9.831 % | 1800.01/1800.30 | 1084724 | 426476 1831311 5997118 | 1308525 50743 150 | 9.831 % | 1800.01/1800.30 | 1087286 | 426476 1831311 5997118 | 1439378 53305 146 | 9.831 % | 1800.01/1800.30 | 1091130 | 426474 1831311 5997118 | 1583316 57147 144 | 9.831 % | 1800.01/1800.30 | 1096896 | 426474 1831311 5997118 | 1741648 62913 153 | 9.831 % | 1800.01/1800.30 | 1105545 | 426472 1831311 5997118 | 1915812 71560 156 | 9.832 % | 1800.01/1800.30 | 1118519 | 426471 1831311 5997118 | 2107394 84481 159 | 9.832 % | 1800.01/1800.30 | 1137980 | 426462 1831311 5997118 | 2318133 103924 156 | 9.834 % | 1800.01/1800.30 | 1167172 | 426449 1831311 5997118 | 2549946 133085 163 | 9.837 % | 1800.01/1800.30 | 1210961 | 426436 1831311 5997118 | 2804941 176854 188 | 9.839 % | 1800.01/1800.30 | 1276645 | 426427 1831311 5997118 | 3085435 242490 192 | 9.841 % | 1800.01/1800.30 | 1375171 | 424001 1831311 5997118 | 3393979 340922 220 | 10.347 % | 1800.01/1800.30 c 1800.01/1800.30 c *** TERMINATED *** 1800.01/1800.30 s SATISFIABLE 1800.01/1800.30 v -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 -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 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1789 -x1790 -x1791 -x1792 -x1793 -x1859 -x1860 -x1861 -x1862 -x1863 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1910 -x1911 -x1912 -x1913 -x1914 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x2000 -x2001 -x2002 -x2003 -x2004 -x2070 -x2071 -x2072 -x2073 -x2074 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2355 -x2356 -x2357 -x2358 -x2359 -x3034 -x3035 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3036 -x3037 -x3038 -x3047 -x3048 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3049 -x3050 -x3051 -x3093 -x3094 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3095 -x3096 -x3097 -x3119 -x3120 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3121 -x3122 -x3123 -x3145 -x3146 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3147 -x3148 -x3149 -x3178 -x3179 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3180 -x3181 -x3182 -x3204 -x3205 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3206 -x3207 -x3208 -x3217 -x3218 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3219 -x3220 -x3221 -x3256 -x3257 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3258 -x3259 -x3260 -x3282 -x3283 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3284 -x3285 -x3286 -x3295 -x3296 -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 -x3297 -x3298 -x3299 -x3377 -x3378 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3379 -x3380 -x3381 -x3471 -x3472 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3473 -x3474 -x3475 -x3497 -x3498 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3499 -x3500 -x3501 -x3538 -x3539 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3540 -x3541 -x3542 -x3551 -x3552 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3553 -x3554 -x3555 -x3642 -x3643 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3644 -x3645 -x3646 -x4183 -x4184 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4185 -x4186 -x4187 -x4262 -x4263 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4264 -x4265 -x4266 -x4293 -x4294 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4295 -x4296 -x4297 -x4410 -x4411 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4412 -x4413 -x4414 -x4433 -x4434 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4435 -x4436 -x4437 -x4511 -x4512 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4513 -x4514 -x4515 -x4731 -x4732 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4733 -x4734 -x4735 -x4800 -x4801 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4802 -x4803 -x4804 -x4891 -x4892 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4893 -x4894 -x4895 -x5084 -x5085 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5086 -x5087 -x5088 -x5287 -x5288 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5289 -x5290 -x5291 -x5338 -x5339 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5340 -x5341 -x5342 -x5371 -x5372 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5373 -x5374 -x5375 -x5397 -x5398 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5399 -x5400 -x5401 -x5428 -x5429 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5430 -x5431 -x5432 -x5454 -x5455 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5456 -x5457 -x5458 -x5467 -x5468 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5469 -x5470 -x5471 -x5506 -x5507 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5508 -x5509 -x5510 -x5532 -x5533 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5534 -x5535 -x5536 -x5545 -x5546 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5547 -x5548 -x5549 -x5597 -x5598 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5599 -x5600 -x5601 -x5623 -x5624 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5625 -x5626 -x5627 -x5675 -x5676 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5677 -x5678 -x5679 -x5766 -x5767 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5768 -x5769 -x5770 -x5909 -x5910 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5911 -x5912 -x5913 -x5935 -x5936 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5937 -x5938 -x5939 -x6000 -x6001 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6002 -x6003 -x6004 -x6065 -x6066 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6067 -x6068 -x6069 -x6117 -x6118 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6119 -x6120 -x6121 -x6175 -x6176 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6177 -x6178 -x6179 -x6211 -x6212 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6213 -x6214 -x6215 -x6373 -x6374 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6375 -x6376 -x6377 -x6425 -x6426 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6427 -x6428 -x6429 -x6484 -x6485 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6486 -x6487 -x6488 -x6517 -x6518 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6519 -x6520 -x6521 -x6530 -x6531 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6532 -x6533 -x6534 -x6574 -x6575 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6576 -x6577 -x6578 -x6587 -x6588 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6589 -x6590 -x6591 -x6605 -x6606 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6607 -x6608 -x6609 -x6631 -x6632 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6633 -x6634 -x6635 -x6657 -x6658 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6659 -x6660 -x6661 -x6696 -x6697 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6698 -x6699 -x6700 -x6719 -x6720 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6721 -x6722 -x6723 -x6758 -x6759 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6760 -x6761 -x6762 -x6771 -x6772 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6773 -x6774 -x6775 -x6797 -x6798 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6799 -x6800 -x6801 -x6823 -x6824 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6825 -x6826 -x6827 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6902 -x6903 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6904 -x6905 -x6906 -x7226 -x7227 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7228 -x7229 -x7230 -x7255 -x7256 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7257 -x7258 -x7259 -x7453 -x7454 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7455 -x7456 -x7457 -x7471 -x7472 -x7473 -x7474 -x7475 -x7788 -x7789 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7790 -x7791 -x7792 -x7996 -x7997 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x7998 -x7999 -x8000 -x8302 -x8303 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8304 -x8305 -x8306 -x8328 -x8329 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8330 -x8331 -x8332 -x8372 -x8373 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8374 -x8375 -x8376 -x8398 -x8399 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8400 -x8401 -x8402 -x8411 -x8412 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8413 -x8414 -x8415 -x8437 -x8438 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8439 -x8440 -x8441 -x8463 -x8464 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8465 -x8466 -x8467 -x8502 -x8503 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8504 -x8505 -x8506 -x8525 -x8526 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8527 -x8528 -x8529 -x8564 -x8565 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8566 -x8567 -x8568 -x8577 -x8578 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8579 -x8580 -x8581 -x8603 -x8604 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8605 -x8606 -x8607 -x8629 -x8630 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8631 -x8632 -x8633 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x9005 -x9006 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9007 -x9008 -x9009 -x9031 -x9032 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9033 -x9034 -x9035 -x9148 -x9149 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9150 -x9151 -x9152 -x9368 -x9369 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9370 -x9371 -x9372 -x9433 -x9434 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9435 -x9436 -x9437 -x9469 -x9470 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9471 -x9472 -x9473 -x9651 -x9652 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9653 -x9654 -x9655 -x9803 -x9804 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9805 -x9806 -x9807 -x9849 -x9850 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9851 -x9852 -x9853 -x10001 -x10002 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10003 -x10004 -x10005 -x10040 -x10041 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10042 -x10043 -x10044 -x10058 -x10059 -x10060 -x10061 -x10062 -x10095 -x10096 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10097 -x10098 -x10099 -x10255 -x10256 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10257 -x10258 -x10259 -x10294 -x10295 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10296 -x10297 -x10298 -x10470 -x10471 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10472 -x10473 x10474 -x10496 -x10497 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10498 -x10499 -x10500 -x10535 -x10536 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10537 -x10538 -x10539 -x10561 -x10562 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10563 -x10564 -x10565 -x10574 -x10575 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10576 -x10577 -x10578 -x10699 -x10700 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10701 -x10702 -x10703 -x11270 -x11271 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11272 -x11273 -x11274 -x11408 -x11409 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11410 -x11411 -x11412 -x11460 -x11461 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11462 -x11463 -x11464 -x11486 -x11487 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11488 -x11489 -x11490 -x11499 -x11500 -x11501 -x11502 -x11503 -x1751 -x1752 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1753 -x1754 -x1755 -x1776 -x1777 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1778 -x1779 -x1780 -x1794 -x1795 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1796 -x1797 -x1798 -x1820 -x1821 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1822 -x1823 -x1824 -x1833 -x1834 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1835 -x1836 -x1837 -x1897 -x1898 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1899 -x1900 -x1901 -x1915 -x1916 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1917 -x1918 -x1919 -x1928 -x1929 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1930 -x1931 -x1932 -x1941 -x1942 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1943 -x1944 -x1945 -x1954 -x1955 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1956 -x1957 -x1958 -x1967 -x1968 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1969 -x1970 -x1971 x1987 -x1988 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x1989 -x1990 -x1991 -x2005 -x2006 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2007 -x2008 -x2009 -x2057 -x2058 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2059 -x2060 -x2061 -x2075 -x2076 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2077 -x2078 -x2079 -x2160 -x2161 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2162 -x2163 -x2164 -x2186 -x2187 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2188 -x2189 -x2190 -x2199 -x2200 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2201 -x2202 -x2203 -x2212 -x2213 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2214 -x2215 -x2216 -x2225 -x2226 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2227 -x2228 -x2229 -x2264 -x2265 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2266 -x2267 -x2268 -x2745 -x2746 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2747 -x2748 -x2749 -x2998 -x2999 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3000 -x3001 -x3002 -x3933 -x3934 -x3938 -x3939 -x3940 -x3941 x3942 -x3943 -x3944 -x3945 -x3935 -x3936 -x3937 -x4131 -x4132 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4133 -x4134 -x4135 -x4306 -x4307 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4308 -x4309 -x4310 -x5058 -x5059 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5060 -x5061 -x5062 -x5261 -x5262 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5263 -x5264 -x5265 -x5584 -x5585 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5586 -x5587 -x5588 -x5727 -x5728 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5729 -x5730 -x5731 -x5753 -x5754 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5755 -x5756 -x5757 -x5805 -x5806 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5807 -x5808 -x5809 -x5818 -x5819 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5820 -x5821 -x5822 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5898 -x5899 -x5900 -x7032 -x7033 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7034 -x7035 -x7036 -x7268 -x7269 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7270 -x7271 -x7272 -x7476 -x7477 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7478 -x7479 -x7480 -x7645 -x7646 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7647 -x7648 -x7649 -x7658 -x7659 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7660 -x7661 -x7662 -x7957 -x7958 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7959 -x7960 -x7961 -x8256 -x8257 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8258 -x8259 -x8260 -x8269 -x8270 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8271 -x8272 -x8273 -x8734 -x8735 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8736 -x8737 -x8738 -x8966 -x8967 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8968 -x8969 -x8970 -x9044 -x9045 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9046 -x9047 -x9048 -x9701 -x9702 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9703 -x9704 -x9705 -x9816 -x9817 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9818 -x9819 -x9820 -x10063 -x10064 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10065 -x10066 -x10067 -x10348 -x10349 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10350 -x10351 -x10352 -x10393 -x10394 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10395 -x10396 -x10397 -x10899 -x10900 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10901 -x10902 -x10903 -x11175 -x11176 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11177 -x11178 -x11179 -x11188 -x11189 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11190 -x11191 -x11192 -x11374 -x11375 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11376 -x11377 -x11378 -x1807 -x1808 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1809 -x1810 -x1811 -x1846 -x1847 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1848 -x1849 -x1850 -x1864 -x1865 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1866 -x1867 -x1868 -x1877 -x1878 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1879 -x1880 -x1881 -x2018 -x2019 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2020 -x2021 -x2022 -x2031 -x2032 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2033 -x2034 -x2035 -x2044 -x2045 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2046 -x2047 -x2048 -x2088 -x2089 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2090 -x2091 -x2092 -x2101 -x2102 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2103 -x2104 -x2105 -x2121 -x2122 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2123 -x2124 -x2125 -x2134 -x2135 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2136 -x2137 -x2138 -x2147 -x2148 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2149 -x2150 -x2151 -x2173 -x2174 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2175 -x2176 -x2177 -x2238 -x2239 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2240 -x2241 -x2242 -x2251 -x2252 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2253 -x2254 -x2255 -x2277 -x2278 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2279 -x2280 -x2281 -x2290 -x2291 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2292 -x2293 -x2294 -x2303 -x2304 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2305 -x2306 -x2307 -x2316 -x2317 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2318 -x2319 -x2320 -x2329 -x2330 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2331 -x2332 -x2333 -x2342 -x2343 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2344 -x2345 -x2346 -x5274 -x5275 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5276 -x5277 -x5278 -x6386 -x6387 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6388 -x6389 -x6390 -x6399 -x6400 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6401 -x6402 -x6403 -x9381 -x9382 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9383 -x9384 -x9385 -x9394 -x9395 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9396 -x9397 -x9398 -x9664 -x9665 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9666 -x9667 -x9668 -x10268 -x10269 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10270 -x10271 -x10272 -x10281 -x10282 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10283 -x10284 -x10285 -x10483 -x10484 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10485 -x10486 -x10487 -x10886 -x10887 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10888 -x10889 -x10890 -x11421 -x11422 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11423 -x11424 -x11425 -x11434 -x11435 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11436 -x11437 -x11438 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3023 -x3024 -x3025 -x3060 -x3061 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3062 -x3063 -x3064 -x3080 -x3081 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3082 -x3083 -x3084 -x3106 -x3107 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3108 -x3109 -x3110 -x3132 -x3133 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3134 -x3135 -x3136 -x3158 -x3159 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3160 -x3161 -x3162 -x3191 -x3192 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3193 -x3194 -x3195 -x3230 -x3231 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3232 -x3233 -x3234 -x3243 -x3244 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3245 -x3246 -x3247 -x3269 -x3270 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3271 -x3272 -x3273 -x3308 -x3309 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3310 -x3311 -x3312 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3340 -x3341 -x3342 -x3351 -x3352 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3353 -x3354 -x3355 -x3364 -x3365 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3366 -x3367 -x3368 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3414 -x3415 -x3416 -x3425 -x3426 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3427 -x3428 -x3429 -x3445 -x3446 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3447 -x3448 -x3449 -x3458 -x3459 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3460 -x3461 -x3462 -x3484 -x3485 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3486 -x3487 -x3488 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3527 -x3528 -x3529 -x3564 -x3565 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3566 -x3567 -x3568 -x3577 -x3578 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3579 -x3580 -x3581 -x3590 -x3591 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3592 -x3593 -x3594 -x3603 -x3604 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3605 -x3606 -x3607 -x3616 -x3617 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3618 -x3619 -x3620 -x3629 -x3630 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3631 -x3632 -x3633 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x4157 -x4158 -x4162 -x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4159 -x4160 -x4161 -x4358 -x4359 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4360 -x4361 -x4362 -x4384 -x4385 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4386 -x4387 -x4388 -x4446 -x4447 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4448 -x4449 -x4450 -x4524 -x4525 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4526 -x4527 -x4528 -x4718 -x4719 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4720 -x4721 x4722 x4787 -x4788 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4789 -x4790 -x4791 -x4839 -x4840 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4841 -x4842 -x4843 -x4878 -x4879 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4880 -x4881 -x4882 -x4943 -x4944 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4945 -x4946 -x4947 -x5020 -x5021 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5022 -x5023 -x5024 -x5071 -x5072 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5073 -x5074 -x5075 -x5248 -x5249 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5250 -x5251 -x5252 -x5300 -x5301 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5302 -x5303 -x5304 -x5325 -x5326 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5327 -x5328 -x5329 -x5358 -x5359 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5360 -x5361 -x5362 -x5384 -x5385 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5386 -x5387 -x5388 -x5410 -x5411 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5412 -x5413 -x5414 -x5441 -x5442 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5443 -x5444 -x5445 -x5480 -x5481 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5482 -x5483 -x5484 -x5493 -x5494 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5495 -x5496 -x5497 -x5519 -x5520 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5521 -x5522 -x5523 -x5558 -x5559 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5560 -x5561 -x5562 -x5610 -x5611 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5612 -x5613 -x5614 -x5688 -x5689 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5690 -x5691 -x5692 -x5948 -x5949 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5950 -x5951 -x5952 -x6078 -x6079 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6080 -x6081 -x6082 -x6224 -x6225 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6226 -x6227 -x6228 -x6412 -x6413 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6414 -x6415 -x6416 -x6445 -x6446 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6447 -x6448 -x6449 -x6458 -x6459 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6460 -x6461 -x6462 -x6471 -x6472 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6473 -x6474 -x6475 -x6497 -x6498 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6499 -x6500 -x6501 -x6543 -x6544 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6545 -x6546 -x6547 -x6556 -x6557 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6558 -x6618 -x6619 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6620 -x6621 -x6622 -x6644 -x6645 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6646 -x6647 -x6648 -x6670 -x6671 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6672 -x6673 -x6674 -x6683 -x6684 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6685 -x6686 -x6687 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6732 -x6733 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6734 -x6735 -x6736 -x6745 -x6746 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6747 -x6748 -x6749 -x6784 -x6785 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6786 -x6787 -x6788 -x6810 -x6811 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6812 -x6813 -x6814 -x6836 -x6837 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6838 -x6839 -x6840 -x6876 -x6877 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6878 -x6879 -x6880 -x6889 -x6890 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6891 -x6892 -x6893 -x6993 -x6994 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x6995 -x6996 -x6997 -x7123 -x7124 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7125 -x7126 -x7127 -x7366 -x7367 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7368 -x7369 -x7370 -x7401 -x7402 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7403 -x7404 -x7405 -x7489 -x7490 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7491 -x7492 -x7493 -x7502 -x7503 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7504 -x7505 -x7506 -x7775 -x7776 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7777 -x7778 -x7779 -x7983 -x7984 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7985 -x7986 -x7987 -x8282 -x8283 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8284 -x8285 -x8286 -x8315 -x8316 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8317 -x8318 -x8319 -x8341 -x8342 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8343 -x8344 -x8345 -x8354 -x8355 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8356 -x8385 -x8386 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8387 -x8388 -x8389 -x8424 -x8425 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8426 -x8427 -x8428 -x8450 -x8451 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8452 -x8453 -x8454 -x8476 -x8477 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8478 -x8479 -x8480 -x8489 -x8490 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8491 -x8492 -x8493 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8538 -x8539 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8540 -x8541 -x8542 -x8551 -x8552 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8553 -x8554 -x8555 -x8590 -x8591 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8592 -x8593 -x8594 -x8616 -x8617 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8618 -x8619 -x8620 -x8642 -x8643 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8644 -x8645 -x8646 -x8760 -x8761 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8762 -x8763 -x8764 -x9096 -x9097 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9098 -x9099 -x9100 -x9122 -x9123 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9124 -x9125 -x9126 -x9482 -x9483 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9484 -x9485 -x9486 -x9927 -x9928 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9929 -x9930 -x9931 -x9975 -x9976 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9977 -x9978 -x9979 -x10509 -x10510 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10511 -x10512 -x10513 -x10522 -x10523 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10524 -x10525 -x10526 -x10548 -x10549 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10550 -x10551 -x10552 -x10587 -x10588 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10589 -x10590 -x10591 -x11162 -x11163 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11164 -x11165 -x11166 -x2387 -x2388 -x2389 -x2390 -x2391 -x2624 -x2625 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2626 x2627 -x2628 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4236 -x4237 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4238 -x4239 -x4240 -x7195 -x7196 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 x7206 -x7207 -x7197 -x7198 -x7199 -x8669 -x8670 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8671 -x8672 -x8673 -x8708 -x8709 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8710 -x8711 -x8712 -x8953 -x8954 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8955 -x8956 -x8957 -x2692 -x2693 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2694 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2886 -x2887 -x7239 -x7240 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7241 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x9677 -x9678 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9679 -x9792 -x9793 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9794 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x2408 -x2409 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2410 -x2411 -x2412 -x2421 -x2422 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2423 -x2424 -x2425 -x2434 -x2435 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2436 -x2437 -x2438 -x2447 -x2448 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2449 -x2450 -x2451 -x2470 -x2471 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2472 -x2473 -x2474 -x2483 -x2484 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2485 -x2486 -x2487 -x2496 -x2497 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2498 -x2499 x2500 -x2526 -x2527 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2528 -x2529 -x2530 -x2555 -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2557 -x2558 -x2559 -x2568 -x2569 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2570 -x2571 -x2572 -x2581 -x2582 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2583 -x2584 -x2585 -x2594 -x2595 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2596 -x2597 -x2598 -x2653 -x2654 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2655 -x2656 -x2657 -x2666 -x2667 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2668 -x2669 -x2670 -x2679 -x2680 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2681 -x2682 -x2683 -x2719 -x2720 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2721 -x2722 -x2723 -x2732 -x2733 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2734 -x2735 -x2736 -x2758 -x2759 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2760 -x2761 -x2762 -x2788 -x2789 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2790 -x2791 -x2792 -x2801 -x2802 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2803 -x2804 -x2805 -x2814 -x2815 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2816 -x2817 -x2818 -x2827 -x2828 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2829 -x2830 -x2831 -x2840 -x2841 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2842 -x2843 -x2844 -x2853 -x2854 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2855 -x2856 -x2857 -x2866 -x2867 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2868 -x2869 -x2870 -x2888 -x2889 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2890 -x2891 -x2892 -x2901 -x2902 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2903 -x2904 -x2905 -x2914 -x2915 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2916 -x2917 -x2918 -x2927 -x2928 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2929 -x2930 -x2931 -x2940 -x2941 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2942 -x2943 -x2944 -x2953 -x2954 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2955 -x2956 -x2957 -x2966 -x2967 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2968 -x2969 -x2970 -x2979 -x2980 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2981 -x2982 -x2983 -x4144 -x4145 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4146 -x4147 -x4148 -x4170 -x4171 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4172 -x4173 -x4174 -x4203 -x4204 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4205 -x4206 -x4207 -x4216 -x4217 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4218 -x4219 -x4220 -x4249 -x4250 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4251 -x4252 -x4253 -x4280 -x4281 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4282 -x4283 -x4284 -x4319 -x4320 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4321 -x4322 -x4323 -x4332 -x4333 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4334 -x4335 -x4336 -x4345 -x4346 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4347 -x4348 -x4349 -x4371 -x4372 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4373 -x4374 -x4375 -x4397 -x4398 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4399 -x4400 -x4401 -x4459 -x4460 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4461 -x4462 -x4463 -x4472 -x4473 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4474 -x4475 -x4476 -x4587 -x4588 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4589 -x4590 -x4591 -x4600 -x4601 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4602 -x4603 -x4604 -x4692 -x4693 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4694 -x4695 -x4696 -x4705 -x4706 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4707 -x4708 -x4709 -x4826 -x4827 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4828 -x4829 -x4830 -x4930 -x4931 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4932 -x4933 -x4934 -x5007 -x5008 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5009 -x5010 -x5011 -x5235 -x5236 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5237 -x5238 -x5239 -x5636 -x5637 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5638 -x5639 -x5640 -x5779 -x5780 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5781 -x5782 -x5783 -x5922 -x5923 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5924 -x5925 -x5926 -x5987 -x5988 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x5989 -x5990 -x5991 -x6104 -x6105 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6106 -x6107 -x6108 -x6162 -x6163 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6164 -x6165 -x6166 -x6360 -x6361 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6362 -x6363 -x6364 -x6863 -x6864 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6865 -x6866 -x6867 -x6980 -x6981 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6982 -x6983 -x6984 -x7110 -x7111 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7112 -x7113 -x7114 -x7136 -x7137 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7138 -x7139 -x7140 -x7149 -x7150 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7151 -x7152 -x7153 -x7162 -x7163 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7164 -x7165 -x7166 -x7175 -x7176 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7177 -x7178 -x7179 -x7213 -x7214 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7215 -x7216 -x7217 -x7288 -x7289 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7290 -x7291 -x7292 -x7301 -x7302 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7303 -x7304 -x7305 -x7314 -x7315 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7316 -x7317 -x7318 -x7327 -x7328 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7329 -x7330 -x7331 -x7340 -x7341 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7342 -x7343 -x7344 -x7353 -x7354 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7355 -x7356 -x7357 -x7388 -x7389 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7390 -x7391 -x7392 -x7414 -x7415 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7416 -x7417 -x7418 -x7427 -x7428 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7429 -x7430 -x7431 -x7440 -x7441 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7442 -x7443 -x7444 -x7593 -x7594 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7595 -x7596 -x7597 -x7606 -x7607 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7608 -x7609 -x7610 -x7749 -x7750 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7751 -x7752 -x7753 -x7762 -x7763 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7764 -x7765 -x7766 -x7827 -x7828 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7829 -x7830 -x7831 -x7840 -x7841 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7842 -x7843 -x7844 -x7905 -x7906 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7907 -x7908 -x7909 -x7918 -x7919 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7920 -x7921 -x7922 -x8230 -x8231 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8232 -x8233 -x8234 -x8243 -x8244 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8245 -x8246 -x8247 -x8979 -x8980 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8981 -x8982 -x8983 -x8992 -x8993 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x8994 -x8995 -x8996 -x9018 -x9019 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9020 -x9021 -x9022 -x9057 -x9058 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9059 -x9060 -x9061 -x9070 -x9071 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9072 -x9073 -x9074 -x9083 -x9084 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9085 -x9086 -x9087 -x9109 -x9110 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9111 -x9112 -x9113 -x9135 -x9136 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9137 -x9138 -x9139 -x9355 -x9356 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9357 -x9358 -x9359 -x9420 -x9421 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9422 -x9423 -x9424 -x9638 -x9639 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9640 -x9641 -x9642 -x9836 -x9837 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9838 -x9839 -x9840 -x9862 -x9863 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9864 -x9865 -x9866 -x9875 -x9876 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9877 -x9878 -x9879 -x9888 -x9889 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9890 -x9891 -x9892 -x9901 -x9902 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9903 -x9904 -x9905 -x9914 -x9915 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9916 -x9917 -x9918 -x9949 -x9950 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9951 -x9952 -x9953 -x9962 -x9963 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9964 -x9965 -x9966 -x9988 -x9989 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x9990 -x9991 -x9992 -x10014 -x10015 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10016 -x10017 -x10018 -x10027 -x10028 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10029 -x10030 -x10031 -x10242 -x10243 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10244 -x10245 -x10246 -x10686 -x10687 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10688 -x10689 -x10690 -x10860 -x10861 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10862 -x10863 -x10864 -x10873 -x10874 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10875 -x10876 -x10877 -x10980 -x10981 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10982 -x10983 -x10984 -x10993 -x10994 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x10995 -x10996 -x10997 -x11149 -x11150 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11151 -x11152 -x11153 -x11257 -x11258 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11259 -x11260 -x11261 -x11361 -x11362 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11363 -x11364 -x11365 -x11395 -x11396 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11397 -x11398 -x11399 -x11447 -x11448 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11449 -x11450 -x11451 -x11473 -x11474 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11475 -x11476 -x11477 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x3397 -x3398 -x3399 -x3400 -x3401 -x3510 -x3511 -x3512 -x3513 -x3514 -x3655 -x3656 -x3657 -x3658 -x3659 -x3679 -x3680 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3681 -x3682 -x3683 -x3728 -x3729 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3730 -x3731 -x3732 -x3741 -x3742 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3743 -x3744 -x3745 -x3764 -x3765 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3766 -x3767 -x3768 -x3864 -x3865 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3866 -x3867 -x3868 -x3877 -x3878 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3879 -x3880 -x3881 -x3920 -x3921 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3922 -x3923 -x3924 -x3946 -x3947 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3948 -x3949 -x3950 -x3969 -x3970 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3971 -x3972 -x3973 -x4060 -x4061 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4062 -x4063 -x4064 -x4073 -x4074 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4075 -x4076 -x4077 -x4086 -x4087 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4088 -x4089 -x4090 -x4099 -x4100 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4101 -x4102 -x4103 -x4112 -x4113 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4114 -x4115 -x4116 -x5701 -x5702 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5703 -x5704 -x5705 -x6091 -x6092 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6093 -x6094 -x6095 -x6303 -x6304 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6305 -x6306 -x6307 -x8682 -x8683 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8684 -x8685 -x8686 -x8695 -x8696 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8697 -x8698 x8699 -x8721 -x8722 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8723 -x8724 -x8725 -x8747 -x8748 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8749 -x8750 -x8751 -x8773 -x8774 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8775 -x8776 -x8777 -x8888 -x8889 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8890 -x8891 -x8892 -x8901 -x8902 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8903 -x8904 -x8905 -x8914 -x8915 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8916 -x8917 -x8918 -x8927 -x8928 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8929 -x8930 -x8931 -x8940 -x8941 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8942 -x8943 -x8944 -x9292 -x9293 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9294 -x9295 -x9296 -x9550 -x9551 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9552 -x9553 -x9554 -x10179 -x10180 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10181 -x10182 -x10183 -x11201 -x11202 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11203 -x11204 -x11205 -x3705 -x3706 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3707 -x3708 -x3709 -x3809 -x3810 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3811 -x3812 -x3813 -x3835 -x3836 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3837 -x3838 -x3839 -x3901 -x3902 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3903 -x3904 -x3905 -x3995 -x3996 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x3997 -x3998 -x3999 -x4021 -x4022 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4023 -x4024 -x4025 -x4047 -x4048 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4049 -x4050 -x4051 -x8864 -x8865 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8866 -x8867 -x8868 -x3666 -x3667 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3668 -x3669 -x3670 -x3692 -x3693 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3694 -x3695 -x3696 -x3777 -x3778 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3779 -x3780 -x3781 -x3796 -x3797 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3798 -x3799 -x3800 -x3822 -x3823 -x3827 -x3828 x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3824 -x3825 -x3826 x3890 -x3891 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3892 -x3982 -x3983 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3984 -x3985 -x3986 -x4008 -x4009 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4010 -x4011 -x4012 -x4034 -x4035 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4036 -x4037 -x4038 -x5320 -x5321 -x5322 -x5323 -x5324 -x7208 -x7209 -x7210 -x7211 -x7212 -x7250 -x7251 -x7252 -x7253 -x7254 -x7466 -x7467 -x7468 -x7469 -x7470 -x4275 -x4276 -x4277 -x4278 -x4279 -x4423 -x4424 -x4425 -x4426 -x4427 -x4485 -x4486 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4487 -x4488 -x4489 -x4498 -x4499 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4500 -x4501 -x4502 -x4537 -x4538 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4539 -x4540 -x4541 -x4550 -x4551 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4552 -x4553 -x4554 -x4637 -x4638 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4639 -x4640 -x4641 -x4663 -x4664 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4665 -x4666 -x4667 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4778 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4966 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5043 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5107 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5161 -x5162 -x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5160 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5190 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5207 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5226 -x5974 -x5975 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5976 -x5977 -x5978 -x6013 -x6014 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6015 -x6016 -x6017 -x6039 -x6040 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6041 -x6042 -x6043 -x6149 -x6150 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6151 -x6152 -x6153 -x6277 -x6278 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6279 -x6280 -x6281 -x6290 -x6291 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6292 -x6293 -x6294 -x6954 -x6955 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6956 -x6957 -x6958 -x7019 -x7020 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7021 -x7022 -x7023 -x7071 -x7072 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7073 -x7074 -x7075 -x7097 -x7098 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7099 -x7100 -x7101 -x7541 -x7542 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7543 -x7544 -x7545 -x7580 -x7581 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7582 -x7583 -x7584 -x7619 -x7620 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7621 -x7622 -x7623 -x7684 -x7685 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7686 -x7687 -x7688 -x7723 -x7724 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7725 -x7726 -x7727 -x7853 -x7854 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7855 -x7856 -x7857 -x7892 -x7893 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7894 -x7895 -x7896 -x7931 -x7932 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7933 -x7934 -x7935 -x8009 -x8010 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8011 -x8012 -x8013 -x8048 -x8049 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8050 -x8051 -x8052 -x8074 -x8075 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8076 -x8077 -x8078 -x8113 -x8114 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8115 -x8116 -x8117 -x8152 -x8153 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8154 -x8155 -x8156 -x8178 -x8179 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8180 -x8181 -x8182 -x8204 -x8205 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8206 -x8207 -x8208 -x9185 -x9186 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9187 -x9188 -x9189 -x9266 -x9267 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9268 -x9269 -x9270 -x9279 -x9280 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9281 -x9282 -x9283 -x9524 -x9525 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9526 -x9527 -x9528 -x9688 -x9689 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9690 -x9691 -x9692 -x9779 -x9780 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9781 -x9782 -x9783 -x10153 -x10154 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10155 -x10156 -x10157 -x10166 -x10167 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10168 -x10169 -x10170 x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10361 -x10362 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10363 -x10364 -x10365 -x10626 -x10627 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10628 -x10629 -x10630 -x10639 -x10640 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10641 -x10642 -x10643 -x10725 -x10726 x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10727 -x10728 -x10729 -x10925 -x10926 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10927 -x10928 -x10929 -x11032 -x11033 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11034 -x11035 -x11036 -x11045 -x11046 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11047 -x11048 -x11049 -x11071 -x11072 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11073 -x11074 -x11075 -x11084 -x11085 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11086 -x11087 -x11088 -x11097 -x11098 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11099 -x11100 -x11101 -x11110 -x11111 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11112 -x11113 -x11114 -x11123 -x11124 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11125 -x11126 -x11127 -x11136 -x11137 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11138 -x11139 -x11140 -x5844 -x5845 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5846 -x5847 -x5848 x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6252 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6268 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9238 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9257 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10125 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10144 -x10326 -x10327 -x10328 -x10329 -x10330 -x10337 -x10338 -x10339 -x10340 -x10341 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10617 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10774 -x10796 -x10797 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10798 -x10799 -x10800 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10816 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10832 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10851 -x10951 -x10952 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10953 -x10954 -x10955 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10971 -x4428 -x4429 -x4430 -x4431 -x4432 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4573 -x4582 -x4583 -x4584 -x4585 -x4586 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4623 -x4632 -x4633 -x4634 -x4635 -x4636 -x4650 -x4651 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4652 -x4653 -x4654 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4683 -x5116 x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5831 -x5832 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5833 -x5834 -x5835 -x7058 -x7059 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7060 -x7061 -x7062 -x7671 -x7672 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7673 -x7674 -x7675 -x8035 -x8036 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8037 -x8038 -x8039 -x8061 -x8062 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8063 -x8064 -x8065 -x8786 -x8787 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8788 -x8789 -x8790 -x8799 -x8800 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8801 -x8802 -x8803 -x8812 -x8813 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8814 -x8815 -x8816 -x8825 -x8826 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8827 -x8828 -x8829 -x9714 -x9715 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9716 -x9717 -x9718 -x9727 -x9728 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9729 -x9730 -x9731 -x10712 -x10713 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10714 -x10715 -x10716 -x10738 -x10739 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10740 -x10741 -x10742 -x10751 -x10752 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10753 -x10754 -x10755 -x10783 -x10784 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10785 -x10786 -x10787 -x10912 -x10913 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10914 -x10915 -x10916 -x10938 -x10939 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10940 -x10941 -x10942 -x4744 -x4745 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4746 -x4747 -x4748 -x4757 -x4758 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4759 -x4760 -x4761 -x4813 -x4814 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4815 -x4816 -x4817 -x4852 -x4853 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4854 -x4855 -x4856 -x4865 -x4866 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4867 -x4868 -x4869 -x4904 -x4905 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4906 -x4907 -x4908 -x4917 -x4918 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4919 -x4920 -x4921 -x4981 -x4982 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4983 -x4984 -x4985 -x4994 -x4995 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x4996 -x4997 -x4998 -x5124 -x5125 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5126 -x5127 -x5128 -x5137 -x5138 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5139 -x5140 -x5141 -x5169 -x5170 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5171 -x5172 -x5173 -x5423 -x5424 -x5425 -x5426 -x5427 -x5571 -x5572 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5573 -x5574 -x5575 -x5649 -x5650 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5651 -x5652 -x5653 -x5662 -x5663 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5664 -x5665 -x5666 -x5714 -x5715 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5716 -x5717 -x5718 -x5740 -x5741 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5742 -x5743 -x5744 -x5792 -x5793 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5794 -x5795 -x5796 -x5857 -x5858 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5859 -x5860 -x5861 -x5870 -x5871 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5872 -x5873 -x5874 -x5883 -x5884 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5885 -x5886 -x5887 -x5961 -x5962 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5963 -x5964 -x5965 -x6026 -x6027 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6028 -x6029 -x6030 -x6052 -x6053 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6054 -x6055 -x6056 -x6138 -x6139 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6140 -x6196 -x6197 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6198 -x6324 -x6325 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6326 -x6327 -x6328 -x6941 -x6942 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6943 -x6944 -x6945 -x7006 -x7007 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7008 -x7009 -x7010 -x7084 -x7085 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7086 -x7087 -x7088 -x7554 -x7555 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7556 -x7557 -x7558 -x7632 -x7633 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7634 -x7635 -x7636 -x7736 -x7737 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7738 -x7739 -x7740 -x7866 -x7867 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7868 x7869 -x7870 -x7944 -x7945 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7946 -x7947 -x7948 -x8022 -x8023 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8024 -x8025 -x8026 -x8126 -x8127 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8128 -x8129 -x8130 -x8165 -x8166 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8167 -x8168 -x8169 -x8191 -x8192 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8193 -x8194 -x8195 -x8217 -x8218 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8219 -x8220 -x8221 -x9166 -x9167 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9168 -x9202 -x9203 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9204 -x9305 -x9306 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9307 -x9308 -x9309 -x9446 -x9447 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 x9448 -x9495 -x9496 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9497 -x9563 -x9564 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9565 -x9595 -x9596 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9597 -x9611 -x9612 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9613 -x9627 -x9628 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9629 -x10076 -x10077 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10078 -x10192 -x10193 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10194 -x10195 -x10196 -x10307 -x10308 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10309 -x10374 -x10375 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10376 -x10419 -x10420 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10421 -x10435 -x10436 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10437 -x10451 -x10452 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10453 -x10652 -x10653 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10654 -x10655 -x10656 -x11223 -x11224 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11225 -x11226 -x11227 -x11283 -x11284 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11285 -x11286 -x11287 -x11309 -x11310 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11311 -x11312 -x11313 -x11335 -x11336 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11337 -x11338 -x11339 -x6207 -x6208 -x6209 -x6210 -x6337 -x6338 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6339 -x6340 -x6341 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9318 -x9319 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9320 -x9321 -x9322 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9606 -x9607 -x9608 -x9609 -x9610 -x9622 -x9623 -x9624 -x9625 -x9626 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10205 -x10206 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10207 -x10208 -x10209 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10430 -x10431 -x10432 -x10433 -x10434 -x10446 -x10447 -x10448 -x10449 -x10450 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10665 -x10666 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10667 -x10668 -x10669 -x11236 -x11237 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11238 -x11239 -x11240 -x11296 -x11297 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11298 -x11299 -x11300 -x11322 -x11323 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11324 -x11325 -x11326 -x11348 -x11349 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11350 -x11351 -x11352 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11387 -x11388 x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6600 -x6601 -x6602 -x6603 -x6604 -x6915 -x6916 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 x6917 -x6918 -x6919 -x6928 -x6929 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 x6930 -x6931 -x6932 -x7567 -x7568 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7569 -x7570 -x7571 -x7697 -x7698 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7699 -x7700 -x7701 -x7879 -x7880 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7881 -x7882 -x7883 -x7970 -x7971 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7972 -x7973 -x7974 -x8139 -x8140 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8141 -x8142 -x8143 -x9407 -x9408 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9409 -x9410 -x9411 -x9766 -x9767 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9768 -x9769 -x9770 -x7710 -x7711 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7712 -x7713 -x7714 -x9537 -x9538 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9539 -x9540 -x9541 -x11058 -x11059 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11060 -x11061 -x11062 -x6967 -x6968 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6969 -x6970 -x6971 -x7045 -x7046 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7047 -x7048 -x7049 -x7528 -x7529 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7530 -x7531 -x7532 -x7814 -x7815 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7816 -x7817 -x7818 -x8100 -x8101 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8102 -x8103 -x8104 -x8851 -x8852 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8853 -x8854 -x8855 -x9753 -x9754 -x9758 x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9755 -x9756 -x9757 -x11019 -x11020 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11021 -x11022 x11023 -x7515 -x7516 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7517 -x7518 -x7519 -x8838 -x8839 -x8843 -x8844 -x8845 -x8846 -x8847 x8848 -x8849 -x8850 -x8840 -x8841 -x8842 x9740 -x9741 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9742 -x9743 -x9744 -x11006 -x11007 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11008 -x11009 -x11010 -x7801 -x7802 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7803 -x7804 -x7805 -x8087 -x8088 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8089 -x8090 -x8091 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8879 -x10053 -x10054 -x10055 -x10056 -x10057 -x9161 -x9162 -x9163 -x9164 -x9165 -x9198 x9199 -x9200 -x9201 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9465 -x9466 -x9467 -x9468 -x10406 -x10407 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10408 -x10409 -x10410 -x9582 -x9583 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9584 -x9585 -x9586 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 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
OK 264293
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4115387-1466521088/watcher-4115387-1466521088 -o /tmp/evaluation-result-4115387-1466521088/solver-4115387-1466521088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466514751-17792 --watchdog 1960 minisatp HOME/instance-4115387-1466521088.opb pid=19907 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: 2.26 2.25 2.22 3/177 19910 /proc/meminfo: memFree=30477940/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=7288 CPUtime=0 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 529 0 0 0 0 0 0 0 20 0 1 0 54155326 7462912 406 33554432000 4194304 5646918 140735251481904 140733735248552 4893163 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 1822 411 94 355 0 1463 0 [startup+0.100125 s] /proc/loadavg: 2.26 2.25 2.22 3/177 19910 /proc/meminfo: memFree=30477940/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=11680 CPUtime=0.09 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 2029 0 0 0 9 0 0 0 20 0 1 0 54155326 11960320 1453 33554432000 4194304 5646918 140735251481904 140733735248552 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 2920 1453 97 355 0 2561 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11680 [startup+0.20035 s] /proc/loadavg: 2.26 2.25 2.22 3/177 19910 /proc/meminfo: memFree=30477940/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=13548 CPUtime=0.19 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 2837 0 0 0 19 0 0 0 20 0 1 0 54155326 13873152 1831 33554432000 4194304 5646918 140735251481904 140733735248552 4817458 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 3387 1831 97 355 0 3028 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13548 [startup+0.300318 s] /proc/loadavg: 2.26 2.25 2.22 3/177 19910 /proc/meminfo: memFree=30477940/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=17168 CPUtime=0.29 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 3865 0 0 0 29 0 0 0 20 0 1 0 54155326 17580032 2715 33554432000 4194304 5646918 140735251481904 140733735248552 4866896 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 4292 2717 97 355 0 3933 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17168 [startup+0.700245 s] /proc/loadavg: 2.26 2.25 2.22 3/177 19910 /proc/meminfo: memFree=30477940/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=28648 CPUtime=0.69 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 8297 0 0 0 68 1 0 0 20 0 1 0 54155326 29335552 5333 33554432000 4194304 5646918 140735251481904 140735251481272 4831393 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 7162 5333 97 355 0 6803 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28648 [startup+1.50024 s] /proc/loadavg: 2.32 2.26 2.23 3/178 19911 /proc/meminfo: memFree=30443816/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=43088 CPUtime=1.49 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 12687 0 0 0 147 2 0 0 20 0 1 0 54155326 44122112 8909 33554432000 4194304 5646918 140735251481904 140735251480584 4252486 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 10772 8909 105 355 0 10413 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43088 [startup+3.10028 s] /proc/loadavg: 2.32 2.26 2.23 3/178 19911 /proc/meminfo: memFree=30430300/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=59028 CPUtime=3.09 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 16912 0 0 0 307 2 0 0 20 0 1 0 54155326 60444672 12912 33554432000 4194304 5646918 140735251481904 140735251461528 4823619 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 14757 12912 152 355 0 14398 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59028 [startup+6.30029 s] /proc/loadavg: 2.29 2.26 2.23 3/178 19911 /proc/meminfo: memFree=30316744/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=156016 CPUtime=6.29 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 29233 0 0 0 623 6 0 0 20 0 1 0 54155326 159760384 35424 33554432000 4194304 5646918 140735251481904 140735251478616 4817528 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 39004 35424 152 355 0 38645 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 156016 [startup+12.7003 s] /proc/loadavg: 2.27 2.25 2.23 3/178 19911 /proc/meminfo: memFree=30118496/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=368748 CPUtime=12.69 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 60134 0 0 0 1257 12 0 0 20 0 1 0 54155326 377597952 86181 33554432000 4194304 5646918 140735251481904 140735251480008 4399906 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 92187 86181 182 355 0 91828 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 368748 [startup+25.5004 s] /proc/loadavg: 2.28 2.25 2.23 4/178 19911 /proc/meminfo: memFree=30060296/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=407448 CPUtime=25.49 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 62640 0 0 0 2536 13 0 0 20 0 1 0 54155326 417226752 89704 33554432000 4194304 5646918 140735251481904 140735251480600 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 101862 89704 183 355 0 101503 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 407448 [startup+51.1004 s] /proc/loadavg: 2.27 2.25 2.22 3/177 19912 /proc/meminfo: memFree=29034060/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=416880 CPUtime=51.08 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 64222 0 0 0 5095 13 0 0 20 0 1 0 54155326 426885120 97418 33554432000 4194304 5646918 140735251481904 140735251480008 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 104220 97418 183 355 0 103861 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 416880 [startup+102.3 s] /proc/loadavg: 2.16 2.22 2.22 3/177 19913 /proc/meminfo: memFree=29079848/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=474224 CPUtime=102.28 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 66827 0 0 0 10213 15 0 0 20 0 1 0 54155326 485605376 109219 33554432000 4194304 5646918 140735251481904 140735251480008 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 118556 109219 183 355 0 118197 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 474224 [startup+162.3 s] /proc/loadavg: 2.36 2.26 2.22 3/178 19917 /proc/meminfo: memFree=28960888/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=561368 CPUtime=162.27 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 68702 0 0 0 16211 16 0 0 20 0 1 0 54155326 574840832 121306 33554432000 4194304 5646918 140735251481904 140735251480008 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 140342 121306 183 355 0 139983 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 561368 [startup+222.307 s] /proc/loadavg: 2.24 2.24 2.22 3/178 19941 /proc/meminfo: memFree=28850144/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=568024 CPUtime=222.26 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 70158 0 0 0 22210 16 0 0 20 0 1 0 54155326 581656576 135026 33554432000 4194304 5646918 140735251481904 140735251480008 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 142006 135026 183 355 0 141647 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 568024 [startup+282.3 s] /proc/loadavg: 2.14 2.21 2.21 4/177 19942 /proc/meminfo: memFree=28708172/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=705544 CPUtime=282.25 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 72348 0 0 0 28207 18 0 0 20 0 1 0 54155326 722477056 152032 33554432000 4194304 5646918 140735251481904 140735251480008 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 176386 152032 183 355 0 176027 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 705544 [startup+342.3 s] /proc/loadavg: 2.17 2.20 2.20 3/176 19943 /proc/meminfo: memFree=28590712/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=710148 CPUtime=342.23 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 73596 0 0 0 34205 18 0 0 20 0 1 0 54155326 727191552 167077 33554432000 4194304 5646918 140735251481904 140735251480008 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 177537 167077 183 355 0 177178 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 710148 [startup+402.3 s] /proc/loadavg: 2.18 2.19 2.19 3/177 19945 /proc/meminfo: memFree=28484892/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=929608 CPUtime=402.23 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 75201 0 0 0 40203 20 0 0 20 0 1 0 54155326 951918592 182477 33554432000 4194304 5646918 140735251481904 140735251480008 4403515 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 232402 182477 183 355 0 232043 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 929608 [startup+462.3 s] /proc/loadavg: 2.25 2.20 2.19 3/177 19946 /proc/meminfo: memFree=28391996/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=934452 CPUtime=462.22 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 76088 0 0 0 46202 20 0 0 20 0 1 0 54155326 956878848 193584 33554432000 4194304 5646918 140735251481904 140735251480008 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 233613 193584 183 355 0 233254 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 934452 [startup+522.3 s] /proc/loadavg: 2.21 2.19 2.18 4/177 19947 /proc/meminfo: memFree=28288456/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=937660 CPUtime=522.21 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 76624 0 0 0 52200 21 0 0 20 0 1 0 54155326 960163840 208428 33554432000 4194304 5646918 140735251481904 140735251480008 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 234415 208428 183 355 0 234056 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 937660 [startup+582.3 s] /proc/loadavg: 2.14 2.17 2.18 4/177 19948 /proc/meminfo: memFree=28142260/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=942220 CPUtime=582.2 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 77462 0 0 0 58198 22 0 0 20 0 1 0 54155326 964833280 227151 33554432000 4194304 5646918 140735251481904 140735251480008 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 235555 227151 183 355 0 235196 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 942220 ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.18 2.20 2.18 3/177 19958 /proc/meminfo: memFree=27450924/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1312168 CPUtime=942.15 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 83019 0 0 0 94186 29 0 0 20 0 1 0 54155326 1343660032 312935 33554432000 4194304 5646918 140735251481904 140735251480008 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 328042 312935 183 355 0 327683 0 Current children cumulated CPU time (s) 942.15 Current children cumulated vsize (KiB) 1312168 [startup+1002.3 s] /proc/loadavg: 2.11 2.18 2.17 3/177 19960 /proc/meminfo: memFree=27347064/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1880936 CPUtime=1002.13 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 83455 0 0 0 100184 29 0 0 20 0 1 0 54155326 1926078464 323080 33554432000 4194304 5646918 140735251481904 140735251480008 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 470234 323080 183 355 0 469875 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 1880936 [startup+1062.3 s] /proc/loadavg: 2.16 2.18 2.17 4/177 19961 /proc/meminfo: memFree=27247068/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1880936 CPUtime=1062.12 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 84121 0 0 0 106182 30 0 0 20 0 1 0 54155326 1926078464 336008 33554432000 4194304 5646918 140735251481904 140735251480600 4404198 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 470234 336008 183 355 0 469875 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 1880936 [startup+1122.3 s] /proc/loadavg: 2.28 2.20 2.18 3/177 19962 /proc/meminfo: memFree=27151984/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1884720 CPUtime=1122.12 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 84785 0 0 0 112181 31 0 0 20 0 1 0 54155326 1929953280 347914 33554432000 4194304 5646918 140735251481904 140735251480008 4388947 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 471180 347914 183 355 0 470821 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 1884720 [startup+1182.3 s] /proc/loadavg: 2.15 2.18 2.18 3/177 19963 /proc/meminfo: memFree=27066244/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1887108 CPUtime=1182.11 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 85637 0 0 0 118178 33 0 0 20 0 1 0 54155326 1932398592 363074 33554432000 4194304 5646918 140735251481904 140735251480008 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 471777 363074 183 355 0 471418 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 1887108 [startup+1242.3 s] /proc/loadavg: 2.22 2.19 2.18 4/177 19964 /proc/meminfo: memFree=26982812/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1889448 CPUtime=1242.1 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 86332 0 0 0 124177 33 0 0 20 0 1 0 54155326 1934794752 375011 33554432000 4194304 5646918 140735251481904 140735251480008 4402743 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 472362 375011 183 355 0 472003 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1889448 [startup+1302.3 s] /proc/loadavg: 2.14 2.17 2.17 3/177 19966 /proc/meminfo: memFree=26866264/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1897036 CPUtime=1302.1 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 87769 0 0 0 130175 35 0 0 20 0 1 0 54155326 1942564864 393822 33554432000 4194304 5646918 140735251481904 140735251480152 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 474259 393822 183 355 0 473900 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 1897036 [startup+1362.3 s] /proc/loadavg: 2.19 2.18 2.18 3/178 19970 /proc/meminfo: memFree=26717004/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1897036 CPUtime=1362.08 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 87803 0 0 0 136172 36 0 0 20 0 1 0 54155326 1942564864 411230 33554432000 4194304 5646918 140735251481904 140735251480152 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 474259 411230 183 355 0 473900 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1897036 [startup+1422.3 s] /proc/loadavg: 2.17 2.17 2.18 4/177 19971 /proc/meminfo: memFree=26501332/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=1899736 CPUtime=1422.08 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 88367 0 0 0 142170 38 0 0 20 0 1 0 54155326 1945329664 450119 33554432000 4194304 5646918 140735251481904 140735251480008 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 474934 450119 183 355 0 474575 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1899736 [startup+1482.3 s] /proc/loadavg: 2.20 2.17 2.18 3/177 19972 /proc/meminfo: memFree=27766484/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=509008 CPUtime=1482.06 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 90718 0 0 0 148164 42 0 0 20 0 1 0 54155326 521224192 121477 33554432000 4194304 5646918 140735251481904 140735251480616 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 127252 121477 187 355 0 126893 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 509008 [startup+1542.31 s] /proc/loadavg: 2.19 2.17 2.17 3/177 19973 /proc/meminfo: memFree=27647476/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=563472 CPUtime=1542.07 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 91672 0 0 0 154163 44 0 0 20 0 1 0 54155326 576995328 134694 33554432000 4194304 5646918 140735251481904 140735251480008 4397445 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 140868 134694 187 355 0 140509 0 Current children cumulated CPU time (s) 1542.07 Current children cumulated vsize (KiB) 563472 [startup+1602.3 s] /proc/loadavg: 2.20 2.18 2.18 4/177 19975 /proc/meminfo: memFree=27550544/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=646688 CPUtime=1602.05 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 92249 0 0 0 160159 46 0 0 20 0 1 0 54155326 662208512 151622 33554432000 4194304 5646918 140735251481904 140735251480008 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 161672 151622 187 355 0 161313 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 646688 [startup+1662.3 s] /proc/loadavg: 2.17 2.17 2.18 3/177 19976 /proc/meminfo: memFree=27456432/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=778948 CPUtime=1662.04 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 93217 0 0 0 166157 47 0 0 20 0 1 0 54155326 797642752 166384 33554432000 4194304 5646918 140735251481904 140735251480600 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 194737 166384 187 355 0 194378 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 778948 [startup+1722.3 s] /proc/loadavg: 2.20 2.19 2.18 3/177 19977 /proc/meminfo: memFree=27367992/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=781148 CPUtime=1722.03 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 93581 0 0 0 172155 48 0 0 20 0 1 0 54155326 799895552 181567 33554432000 4194304 5646918 140735251481904 140735251480008 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 195287 181567 187 355 0 194928 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 781148 [startup+1782.3 s] /proc/loadavg: 2.18 2.18 2.18 4/177 20034 /proc/meminfo: memFree=29767224/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=998304 CPUtime=1782.02 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 94509 0 0 0 178152 50 0 0 20 0 1 0 54155326 1022263296 194758 33554432000 4194304 5646918 140735251481904 140735251480600 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 249576 194758 187 355 0 249217 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 998304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.20 2.18 2.18 3/177 20034 /proc/meminfo: memFree=29615296/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=998304 CPUtime=1800.01 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 94520 0 0 0 179951 50 0 0 20 0 1 0 54155326 1022263296 196806 33554432000 4194304 5646918 140735251481904 140735251480600 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 249576 196806 187 355 0 249217 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 998304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 19910 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.20 2.18 2.18 3/177 20034 /proc/meminfo: memFree=29615296/32872528 swapFree=1370848/1518016 [pid=19910] ppid=19907 vsize=998304 CPUtime=1800.01 cores=0,2,4,6 /proc/19910/stat : 19910 (minisatp) R 19907 19910 17776 0 -1 4202496 94520 0 0 0 179951 50 0 0 20 0 1 0 54155326 1022263296 196806 33554432000 4194304 5646918 140735251481904 140735251480600 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/19910/statm: 249576 196806 187 355 0 249217 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 998304 Child status: 0 Real time (s): 1800.34 CPU time (s): 1800.06 CPU user time (s): 1799.51 CPU system time (s): 0.546916 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 2906820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.546916 maximum resident set size= 1985620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94520 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= 8 involuntary context switches= 1885 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.06538 second user time and 7.42187 second system time The end
Begin job on node129 at 2016-06-21 16:58:08 IDJOB=4115387 IDBENCH=1610 IDSOLVER=2555 FILE ID=node129/4115387-1466521088 RUNJOBID= node129-1466514751-17792 PBS_JOBID= 19942879 Free space on /tmp= 71732 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115387-1466521088/watcher-4115387-1466521088 -o /tmp/evaluation-result-4115387-1466521088/solver-4115387-1466521088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466514751-17792 --watchdog 1960 minisatp HOME/instance-4115387-1466521088.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aef7e3722fd5816dc0cbb2acb61edf83 RANDOM SEED=1044989508 node129.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.143 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 : 5332.28 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.143 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 : 5332.55 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.143 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 : 5332.55 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.143 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 : 5332.55 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.143 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 : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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 : 5332.55 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.143 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 : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30478484 kB Buffers: 11024 kB Cached: 64052 kB SwapCached: 16632 kB Active: 110524 kB Inactive: 62168 kB Active(anon): 84068 kB Inactive(anon): 15936 kB Active(file): 26456 kB Inactive(file): 46232 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67085160 kB Dirty: 11044 kB Writeback: 0 kB AnonPages: 1600868 kB Mapped: 9388 kB Shmem: 0 kB Slab: 570348 kB SReclaimable: 14316 kB SUnreclaim: 556032 kB KernelStack: 1464 kB PageTables: 6940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1724048 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 169984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4115387-1466521088.opb Free space on /tmp at the end= 71728 MiB End job on node129 at 2016-06-21 17:28:09