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