Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 21 | 1800.12 | 1800.83 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
MD5SUM | af0ded53094abde95c37378ccd6c7afa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 8901 |
Total number of constraints | 32298 |
Number of constraints which are clauses | 32280 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 790 |
Number of terms in the objective function | 790 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 790 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 820 |
Number of bits of the biggest sum of numbers | 10 |
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... 0.89/0.92 c Converting 32293 PB-constraints to clauses... 0.89/0.92 c -- Unit propagations: (none) 0.89/0.92 c -- Detecting intervals from adjacent constraints: ================= 0.89/0.93 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.99/1.01 c ---[ 0]---> Adder-cost: 1562 maxlim: 759 bits: 10/10 1.38/1.40 c ==================================[MINISAT+]================================== 1.38/1.40 c | Conflicts | Original | Learnt | Progress | 1.38/1.40 c | | Clauses Literals | Max Clauses Literals LPC | | 1.38/1.40 c ============================================================================== 1.38/1.40 c | 0 | 43147 119846 | 14382 0 0 nan | 0.000 % | 1.38/1.44 c | 100 | 43147 119846 | 15820 100 3508 35.1 | 0.105 % | 1.48/1.52 c | 250 | 43140 119823 | 17402 248 5469 22.1 | 0.115 % | 1.58/1.68 c | 475 | 43140 119823 | 19142 473 8036 17.0 | 0.115 % | 1.78/1.83 c | 812 | 43140 119823 | 21056 810 15114 18.7 | 0.115 % | 1.98/2.08 c | 1318 | 43131 119792 | 23162 1312 29030 22.1 | 0.124 % | 2.28/2.37 c | 2078 | 43122 119761 | 25478 2067 87493 42.3 | 0.134 % | 2.78/2.86 c | 3218 | 43112 119723 | 28026 3204 215275 67.2 | 0.143 % | 3.38/3.41 c | 4928 | 43112 119723 | 30829 4914 506477 103.1 | 0.144 % | 4.78/4.80 c | 7490 | 43112 119723 | 33912 7476 1033743 138.3 | 0.144 % | 7.17/7.24 c | 11336 | 43076 119604 | 37303 11309 2487664 220.0 | 0.201 % | 11.57/11.62 c | 17105 | 43053 119528 | 41033 17073 3450925 202.1 | 0.239 % | 18.08/18.12 c | 25755 | 42982 119269 | 45136 25696 6126488 238.4 | 0.335 % | 18.77/18.88 c ============================================================================== 18.77/18.88 c [1mFound solution: 30[0m 18.77/18.88 o 30 18.77/18.89 c ---[ 0]---> Sorter-cost:36104 Base: 19.27/19.38 c ==================================[MINISAT+]================================== 19.27/19.38 c | Conflicts | Original | Learnt | Progress | 19.27/19.38 c | | Clauses Literals | Max Clauses Literals LPC | | 19.27/19.38 c ============================================================================== 19.27/19.38 c | 26676 | 81602 209369 | 27200 26609 6331955 238.0 | 0.335 % | 19.37/19.48 c | 26777 | 81505 209049 | 29920 26692 6341911 237.6 | 1.083 % | 19.57/19.66 c | 26928 | 81505 209049 | 32912 26843 6396818 238.3 | 1.083 % | 19.77/19.83 c | 27153 | 81505 209049 | 36203 27068 6423927 237.3 | 1.083 % | 19.97/20.07 c | 27491 | 81505 209049 | 39823 27406 6457735 235.6 | 1.083 % | 20.07/20.18 c ============================================================================== 20.07/20.18 c [1mFound solution: 26[0m 20.07/20.18 o 26 20.07/20.19 c ---[ 0]---> Sorter-cost: 0 Base: 20.57/20.63 c ==================================[MINISAT+]================================== 20.57/20.63 c | Conflicts | Original | Learnt | Progress | 20.57/20.63 c | | Clauses Literals | Max Clauses Literals LPC | | 20.57/20.63 c ============================================================================== 20.57/20.63 c | 27593 | 81362 208720 | 27120 27508 6470726 235.2 | 1.083 % | 20.67/20.74 c | 27693 | 81362 208720 | 29832 27608 6490776 235.1 | 1.431 % | 20.77/20.86 c | 27843 | 81362 208720 | 32815 27758 6504753 234.3 | 1.431 % | 20.97/21.06 c | 28068 | 81362 208720 | 36096 27983 6541999 233.8 | 1.431 % | 21.27/21.38 c | 28405 | 81362 208720 | 39706 28320 6586778 232.6 | 1.431 % | 21.58/21.61 c | 28915 | 81362 208720 | 43677 28830 6635800 230.2 | 1.431 % | 21.98/22.03 c | 29679 | 81362 208720 | 48044 29594 6740072 227.8 | 1.431 % | 22.67/22.71 c | 30818 | 81362 208720 | 52849 30733 6875047 223.7 | 1.431 % | 23.87/23.98 c ============================================================================== 23.87/23.98 c [1mFound solution: 22[0m 23.87/23.98 o 22 23.87/23.99 c ---[ 0]---> Sorter-cost: 0 Base: 24.37/24.45 c ==================================[MINISAT+]================================== 24.37/24.45 c | Conflicts | Original | Learnt | Progress | 24.37/24.45 c | | Clauses Literals | Max Clauses Literals LPC | | 24.37/24.45 c ============================================================================== 24.37/24.45 c | 31944 | 79170 203609 | 26390 31849 7110110 223.2 | 1.431 % | 24.47/24.59 c | 32045 | 79170 203609 | 29029 14806 2959952 199.9 | 5.560 % | 24.67/24.74 c | 32195 | 79170 203609 | 31931 14956 2989198 199.9 | 5.560 % | 24.77/24.89 c | 32421 | 79170 203609 | 35125 15182 3020371 198.9 | 5.560 % | 25.07/25.11 c | 32758 | 79170 203609 | 38637 15519 3072096 198.0 | 5.560 % | 25.47/25.53 c | 33264 | 79170 203609 | 42501 16025 3139994 195.9 | 5.560 % | 26.07/26.11 c | 34024 | 76234 196758 | 46751 16749 3209712 191.6 | 10.951 % | 26.77/26.84 c | 35164 | 76234 196758 | 51426 17889 3416782 191.0 | 10.951 % | 28.27/28.35 c | 36872 | 76234 196758 | 56569 19597 3677862 187.7 | 10.951 % | 30.37/30.43 c | 39435 | 76234 196758 | 62226 22160 4237119 191.2 | 10.951 % | 33.26/33.35 c | 43282 | 76234 196758 | 68448 26007 5028036 193.3 | 10.951 % | 38.86/38.96 c | 49049 | 76234 196758 | 75293 31774 5848943 184.1 | 10.951 % | 47.76/47.88 c | 57698 | 76234 196758 | 82823 40423 7075956 175.0 | 10.951 % | 63.85/63.98 c | 70672 | 76234 196758 | 91105 53397 8712082 163.2 | 10.951 % | 96.64/96.75 c | 90133 | 76234 196758 | 100215 72858 11135288 152.8 | 10.951 % | 152.62/152.72 c | 119327 | 76234 196758 | 110237 102052 15130227 148.3 | 10.951 % | 226.79/226.96 c | 163116 | 76228 196738 | 121261 47860 4437602 92.7 | 10.954 % | 325.55/325.79 c ============================================================================== 325.55/325.79 c [1mFound solution: 21[0m 325.55/325.79 o 21 325.65/325.80 c ---[ 0]---> Sorter-cost: 0 Base: 326.15/326.34 c ==================================[MINISAT+]================================== 326.15/326.34 c | Conflicts | Original | Learnt | Progress | 326.15/326.34 c | | Clauses Literals | Max Clauses Literals LPC | | 326.15/326.34 c ============================================================================== 326.15/326.34 c | 211231 | 76240 196771 | 25413 95975 11699660 121.9 | 10.954 % | 327.35/327.57 c | 211332 | 76240 196771 | 27954 22903 2624643 114.6 | 10.956 % | 327.56/327.74 c | 211482 | 76240 196771 | 30749 23053 2651863 115.0 | 10.956 % | 327.85/328.06 c | 211709 | 76240 196771 | 33824 23280 2697746 115.9 | 10.956 % | 328.25/328.47 c | 212047 | 76240 196771 | 37207 23618 2800363 118.6 | 10.956 % | 328.95/329.12 c | 212555 | 76240 196771 | 40927 24126 2866395 118.8 | 10.956 % | 329.55/329.74 c | 213314 | 76240 196771 | 45020 24885 2968588 119.3 | 10.956 % | 330.85/331.09 c | 214457 | 76240 196771 | 49522 26028 3152334 121.1 | 10.956 % | 332.85/333.08 c | 216165 | 76240 196771 | 54475 27736 3412240 123.0 | 10.956 % | 336.65/336.89 c | 218728 | 76240 196771 | 59922 30299 3705026 122.3 | 10.956 % | 340.35/340.52 c | 222574 | 76240 196771 | 65914 34145 4196926 122.9 | 10.956 % | 347.84/348.02 c | 228346 | 76240 196771 | 72506 39917 4880698 122.3 | 10.956 % | 361.34/361.59 c | 236998 | 76240 196771 | 79756 48569 5787494 119.2 | 10.956 % | 381.03/381.26 c | 249976 | 76240 196771 | 87732 61547 7101529 115.4 | 10.957 % | 413.12/413.40 c | 269437 | 76240 196771 | 96505 81008 9118306 112.6 | 10.956 % | 480.69/480.91 c | 298630 | 76240 196771 | 106156 27650 2046463 74.0 | 10.956 % | 550.27/550.50 c | 342419 | 76240 196771 | 116772 71439 6735978 94.3 | 10.956 % | 701.01/701.30 c | 408103 | 76230 196751 | 128449 29171 2132325 73.1 | 10.970 % | 910.34/910.77 c | 506629 | 76230 196751 | 141294 127697 12866000 100.8 | 10.970 % | 1270.99/1271.55 c | 654420 | 76230 196751 | 155423 147969 11951869 80.8 | 10.970 % | 1759.90/1760.69 c | 876106 | 76230 196751 | 170965 100299 9875080 98.5 | 10.970 % | 1800.09/1800.80 c 1800.09/1800.80 c *** TERMINATED *** 1800.09/1800.80 s SATISFIABLE 1800.09/1800.80 v x1 x362 x699 x862 x1196 -x1207 -x1265 -x1323 -x1381 -x1439 -x1497 -x1555 -x1613 -x11 -x1671 -x14 -x1698 -x17 -x1725 -x20 1800.09/1800.80 v -x1752 x23 x1779 x26 -x1806 -x29 -x1833 -x32 -x1860 -x1887 -x37 -x1914 -x40 -x1941 -x1968 -x45 -x1995 -x2022 x50 -x2049 -x53 1800.09/1800.80 v -x2076 -x56 -x2103 -x59 -x2130 -x62 -x2157 -x65 -x2184 -x2211 -x70 -x2238 -x73 -x2265 -x76 -x2292 -x79 -x2319 -x82 -x2346 1800.09/1800.80 v -x85 -x2373 x88 -x2400 -x2427 -x2429 -x2441 -x2443 -x2455 -x2457 -x2469 -x2471 -x2483 -x2485 -x2497 -x2499 -x2511 -x2513 1800.09/1800.80 v -x2525 -x2527 -x2539 -x2541 -x2553 -x2555 -x2567 -x2569 -x2581 -x2583 -x2595 -x2597 -x2609 -x2611 -x2623 -x2625 -x2637 1800.09/1800.80 v -x2639 -x2651 -x2653 -x2665 -x2667 -x2679 -x2681 -x2693 -x2695 -x2707 -x2709 -x2721 -x2723 -x2735 -x2737 -x2749 -x2751 1800.09/1800.80 v -x2763 -x2765 -x2777 -x2779 -x2791 -x2793 -x2805 -x2807 -x2819 -x2831 -x2833 -x2845 -x2847 -x2859 -x2861 -x2873 -x2875 1800.09/1800.80 v -x2887 -x2889 -x2901 -x2903 -x2915 -x2917 -x2929 -x2931 -x2943 -x2945 -x2957 -x2959 -x2971 -x2973 -x2985 -x2987 -x2999 1800.09/1800.80 v -x3001 x3013 -x3015 -x3027 -x3029 -x3041 -x3043 -x3055 -x3057 -x3069 -x3071 -x3083 -x3085 -x3097 -x3099 -x3111 -x3113 1800.09/1800.80 v -x3125 -x3127 -x3139 -x3141 -x3153 -x3155 -x3167 -x3169 -x3181 -x3183 -x3195 -x3197 -x3209 -x3214 -x3219 -x3224 -x3229 1800.09/1800.80 v -x3234 -x3239 -x3244 -x3249 -x3254 -x3259 -x3264 -x3269 -x3274 -x3279 -x3284 -x3289 -x3294 -x3299 -x3304 -x3309 -x3314 1800.09/1800.80 v -x3319 -x3324 -x3329 x3334 -x3339 -x3344 -x3349 -x3354 -x3359 -x3364 -x3369 -x3374 -x3379 -x3384 -x3389 -x3394 -x3399 1800.09/1800.80 v -x3404 -x3409 -x3414 -x3419 -x3424 -x3429 -x3434 -x3439 -x3444 -x3449 -x3454 -x3459 -x3464 -x3469 -x3474 -x3479 -x3484 1800.09/1800.80 v -x3489 -x3494 -x3499 -x3504 -x3509 -x3514 -x3519 -x3524 -x3529 -x3534 -x3539 -x3544 -x3549 -x3554 -x3559 -x3617 -x3675 1800.09/1800.80 v -x3733 -x3791 x3849 -x3907 -x3965 -x4023 -x4050 -x4077 -x378 -x4104 -x4131 -x383 -x4158 -x4185 -x4212 -x4239 -x4266 -x4293 1800.09/1800.80 v -x4320 -x4347 -x400 -x4374 -x403 -x4401 -x4428 -x4455 -x410 -x4482 -x413 -x4509 -x416 -x4536 -x419 -x4563 -x4590 -x424 1800.09/1800.80 v x4617 -x4644 -x429 -x4671 -x4698 -x434 -x4725 -x437 -x4752 -x4779 -x4791 -x4803 -x4805 -x4817 -x4829 -x4831 -x4843 -x4855 1800.09/1800.80 v -x4857 -x4869 -x4871 -x4883 -x4895 -x4897 -x4909 -x4911 -x4923 -x4925 -x4937 -x4939 -x4951 -x4953 -x4965 -x4977 -x4979 1800.09/1800.80 v -x4991 -x4993 -x5005 -x5007 -x5019 -x5021 -x5033 -x5035 -x5047 -x5049 -x5061 -x5063 -x5075 -x5077 -x5089 -x5101 -x5113 1800.09/1800.80 v -x5115 -x5127 -x5129 -x5141 -x5143 -x5155 -x5157 -x5169 -x5181 -x5183 -x5195 -x5207 -x5209 -x5221 -x5223 -x5235 -x5237 1800.09/1800.80 v -x5249 -x5251 -x5263 -x5265 -x5277 -x5279 -x5291 -x5293 -x5305 -x5307 -x5319 -x5321 -x5333 -x5335 -x5347 -x5349 -x5361 1800.09/1800.80 v -x5373 -x5375 -x5387 -x5389 -x5401 -x5403 -x5415 -x5417 -x5429 -x5431 -x5443 -x5445 -x5457 -x5459 -x5471 -x5473 -x5485 1800.09/1800.80 v -x5487 -x5499 -x5501 -x5513 -x5515 -x5527 -x5529 -x5541 -x5546 -x5551 -x5556 -x5561 -x5566 -x5571 -x5576 -x5581 -x5586 1800.09/1800.80 v -x5591 -x5596 -x5601 -x5606 -x5611 -x5616 -x5621 -x5626 -x5631 -x5636 -x5641 -x5646 -x5651 -x5656 -x5661 -x5666 -x5671 1800.09/1800.80 v -x5676 -x5681 -x5686 -x5691 -x5696 -x5701 -x5706 -x5711 -x5716 -x5721 -x5726 -x5731 -x5736 -x5741 -x5746 -x5751 -x5756 1800.09/1800.80 v -x5761 -x5766 -x5771 -x5776 -x5781 -x5786 -x5791 -x5796 -x5801 -x5806 -x5811 -x5816 -x5821 -x5826 -x5831 -x5836 -x5841 1800.09/1800.80 v -x5846 -x5851 -x5856 -x5861 -x5866 -x5871 -x5876 -x5881 -x5908 -x5935 -x5962 -x5989 -x6016 -x6043 -x6070 -x6082 x712 -x6094 1800.09/1800.80 v -x715 -x6106 -x718 -x6118 -x721 -x6130 -x6142 -x726 -x6154 -x729 -x6166 -x6178 -x6190 -x6202 -x738 -x6214 -x741 -x6226 1800.09/1800.80 v -x744 -x6238 -x6250 -x6262 -x751 -x6274 -x6286 -x6298 -x6310 -x6322 -x6327 -x6329 -x6334 -x6336 -x6341 -x6343 -x6348 -x6350 1800.09/1800.80 v -x6355 -x6357 -x6362 -x6364 -x6369 -x6371 -x6376 -x6378 -x6383 -x6385 -x6390 -x6392 -x6397 -x6399 -x6404 -x6406 -x6411 1800.09/1800.80 v -x6413 -x6418 -x6420 -x6425 -x6427 -x6432 -x6434 -x6439 -x6441 x6446 x6448 -x6453 -x6455 -x6460 -x6462 -x6467 -x6469 -x6474 1800.09/1800.80 v -x6476 -x6481 -x6483 -x6488 -x6493 -x6495 -x6500 -x6502 -x6507 -x6509 -x6514 -x6516 -x6521 -x6523 -x6528 -x6530 -x6535 1800.09/1800.80 v -x6537 -x6542 -x6544 -x6549 -x6551 -x6556 -x6558 -x6563 -x6621 -x6679 -x6737 -x6795 -x6853 -x6911 -x6969 -x7027 -x7054 1800.09/1800.80 v -x7081 -x7108 -x7135 -x7162 -x7189 -x7216 -x888 -x7243 -x7270 -x7297 -x895 -x7324 -x7351 -x7378 -x7405 -x7432 -x7459 -x7486 1800.09/1800.80 v -x7513 -x7540 -x7567 -x916 -x7594 -x7621 -x7648 -x923 -x7675 -x7702 -x928 -x7729 -x931 -x7756 -x7783 -x7795 -x7797 -x7809 1800.09/1800.80 v -x7811 -x7823 -x7825 -x7837 -x7839 -x7851 -x7853 -x7865 -x7877 -x7879 -x7891 -x7893 -x7905 -x7917 -x7929 -x7941 -x7953 1800.09/1800.80 v -x7955 -x7967 -x7969 -x7981 x7993 -x7995 -x8007 -x8009 -x8021 -x8023 -x8035 -x8037 -x8049 -x8051 -x8063 -x8065 -x8077 1800.09/1800.80 v -x8079 -x8091 -x8093 -x8105 -x8107 -x8119 -x8131 -x8133 -x8145 -x8147 -x8159 -x8161 -x8173 -x8175 -x8187 -x8189 -x8201 1800.09/1800.80 v -x8203 -x8215 -x8217 -x8229 -x8231 -x8243 -x8245 -x8257 -x8259 -x8271 -x8273 -x8285 -x8287 -x8299 -x8301 x8313 x8315 -x8327 1800.09/1800.80 v -x8329 -x8341 -x8343 -x8355 -x8357 -x8369 -x8371 -x8383 -x8385 -x8397 -x8399 -x8411 -x8423 -x8425 -x8437 -x8439 -x8451 1800.09/1800.80 v -x8453 -x8465 -x8467 -x8479 -x8481 -x8493 -x8495 -x8507 -x8509 -x8521 -x8523 -x8535 -x8537 -x8549 -x8554 -x8559 -x8564 1800.09/1800.80 v -x8569 -x8574 -x8579 -x8584 -x8589 -x8594 -x8599 -x8604 -x8609 -x8614 -x8619 -x8624 -x8629 -x8634 -x8639 -x8644 -x8649 1800.09/1800.80 v -x8654 -x8659 -x8664 -x8669 -x8674 -x8679 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 -x8729 -x8734 1800.09/1800.80 v -x8739 -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 -x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 1800.09/1800.80 v -x8824 -x8829 -x8834 -x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 -x8896 x8898 1800.09/1800.80 v -x8900 -x1202 -x1204 -x1205 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 x22 x24 -x25 -x27 -x28 -x30 -x31 -x33 -x34 -x35 -x36 -x38 1800.09/1800.80 v -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x51 -x52 -x54 -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x68 -x69 -x71 -x72 -x74 1800.09/1800.80 v -x75 -x77 -x78 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 1800.09/1800.80 v -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 1800.09/1800.80 v -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 1800.09/1800.80 v -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 1800.09/1800.80 v -x169 -x168 -x170 -x172 -x171 -x173 -x174 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 1800.09/1800.80 v -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 1800.09/1800.80 v -x209 -x211 -x213 -x212 -x214 x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 1800.09/1800.80 v -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 1800.09/1800.80 v -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 1800.09/1800.80 v -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 1800.09/1800.80 v -x293 x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 1800.09/1800.80 v -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 1800.09/1800.80 v -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 1800.09/1800.80 v -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 1800.09/1800.80 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x401 -x402 -x404 -x405 -x406 1800.09/1800.80 v -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 x425 -x426 -x427 -x428 -x430 -x431 -x432 -x433 1800.09/1800.80 v -x435 -x436 -x438 -x439 -x440 -x441 -x442 -x444 -x443 -x445 -x446 -x447 -x449 -x448 -x450 -x451 -x452 -x454 -x453 -x455 -x457 1800.09/1800.80 v -x456 -x458 -x459 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x476 -x477 1800.09/1800.80 v -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 1800.09/1800.80 v -x500 -x499 -x501 -x502 -x503 -x504 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x518 -x519 1800.09/1800.80 v -x521 -x520 -x522 -x523 -x524 -x526 -x525 -x527 -x529 -x528 -x530 -x532 -x531 -x533 -x535 -x534 -x536 -x538 -x537 -x539 -x541 1800.09/1800.80 v -x540 -x542 -x544 -x543 -x545 -x547 -x546 -x548 -x550 -x549 -x551 -x553 -x552 -x554 -x556 -x555 -x557 -x558 -x559 -x561 -x560 1800.09/1800.80 v -x562 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x582 -x581 1800.09/1800.80 v -x583 -x585 -x584 -x586 -x588 -x587 -x589 -x591 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x602 -x603 1800.09/1800.80 v -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x619 -x620 -x622 -x621 -x623 -x625 1800.09/1800.80 v -x624 -x626 -x628 -x627 -x629 -x631 -x630 -x632 -x634 -x633 -x635 -x637 -x636 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 1800.09/1800.80 v -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x664 -x663 -x665 -x667 1800.09/1800.80 v -x666 -x668 -x670 -x669 -x671 -x673 -x672 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 1800.09/1800.80 v -x687 -x689 -x691 -x690 -x692 -x694 -x693 -x695 -x697 -x696 -x698 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x707 -x708 1800.09/1800.80 v -x709 -x710 -x711 -x713 -x714 -x716 -x717 -x719 -x720 -x722 -x723 -x724 -x725 -x727 -x728 -x730 -x731 -x732 -x733 -x734 -x735 1800.09/1800.80 v -x736 -x737 -x739 -x740 -x742 -x743 -x745 -x746 -x747 -x748 -x749 -x750 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1800.09/1800.80 v -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 1800.09/1800.80 v -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x792 -x791 -x793 -x795 -x794 -x796 -x798 -x797 -x799 -x801 -x800 -x802 1800.09/1800.80 v -x804 -x803 -x805 -x807 -x806 -x808 -x810 -x809 -x811 x813 x812 x814 -x816 -x815 -x817 -x819 -x818 -x820 -x822 -x821 -x823 1800.09/1800.80 v -x825 -x824 -x826 -x828 -x827 -x829 -x830 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 1800.09/1800.80 v -x844 -x846 -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x860 -x859 -x861 -x700 -x701 -x702 -x703 1800.09/1800.80 v -x704 -x705 -x706 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x889 1800.09/1800.80 v -x890 -x891 -x892 -x893 -x894 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1800.09/1800.80 v -x912 -x913 -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x924 -x925 -x926 -x927 -x929 -x930 -x932 -x933 -x934 -x936 -x935 1800.09/1800.80 v -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x950 -x951 -x953 -x952 -x954 -x956 -x955 -x957 1800.09/1800.80 v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x972 -x973 x975 -x974 -x976 -x978 -x977 1800.09/1800.80 v -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x990 -x989 -x991 -x993 -x992 -x994 -x996 -x995 -x997 -x999 -x998 1800.09/1800.80 v -x1000 -x1001 -x1002 -x1004 -x1003 -x1005 -x1007 -x1006 -x1008 -x1010 -x1009 -x1011 -x1013 -x1012 -x1014 -x1016 -x1015 1800.09/1800.80 v -x1017 -x1019 -x1018 -x1020 -x1022 -x1021 -x1023 -x1025 -x1024 -x1026 -x1028 -x1027 -x1029 -x1031 -x1030 -x1032 -x1034 1800.09/1800.80 v -x1033 -x1035 -x1037 -x1036 -x1038 -x1040 -x1039 -x1041 x1043 x1042 x1044 -x1046 -x1045 -x1047 -x1049 -x1048 -x1050 -x1052 1800.09/1800.80 v -x1051 -x1053 -x1055 -x1054 -x1056 -x1058 -x1057 -x1059 -x1061 -x1060 -x1062 -x1063 -x1064 -x1066 -x1065 -x1067 -x1069 1800.09/1800.80 v -x1068 -x1070 -x1072 -x1071 -x1073 -x1075 -x1074 -x1076 -x1078 -x1077 -x1079 -x1081 -x1080 -x1082 -x1084 -x1083 -x1085 1800.09/1800.80 v -x1087 -x1086 -x1088 -x1090 -x1089 -x1091 -x1093 -x1092 -x1094 -x1096 -x1095 -x1097 -x1099 -x1098 -x1100 -x1102 -x1101 1800.09/1800.80 v -x1103 -x1105 -x1104 -x1106 -x1108 -x1107 -x1109 -x1111 -x1110 -x1112 -x1114 -x1113 -x1115 -x1117 -x1116 -x1118 -x1120 1800.09/1800.80 v -x1119 -x1121 -x1123 -x1122 -x1124 -x1126 -x1125 -x1127 -x1129 -x1128 -x1130 -x1132 -x1131 -x1133 -x1135 -x1134 -x1136 1800.09/1800.80 v -x1138 -x1137 -x1139 -x1141 -x1140 -x1142 -x1144 -x1143 -x1145 -x1147 -x1146 -x1148 -x1150 -x1149 -x1151 -x1153 -x1152 1800.09/1800.80 v -x1154 -x1156 -x1155 -x1157 -x1159 -x1158 -x1160 -x1162 -x1161 -x1163 -x1165 -x1164 -x1166 -x1167 -x1168 -x1170 -x1169 1800.09/1800.80 v -x1171 -x1173 -x1172 -x1174 -x1176 -x1175 -x1177 -x1179 -x1178 -x1180 -x1182 -x1181 -x1183 -x1185 -x1184 -x1186 -x1188 1800.09/1800.80 v -x1187 -x1189 -x1191 -x1190 -x1192 -x1194 -x1193 -x1195 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x1201 -x1203 -x1206 1800.09/1800.80 v -x1197 -x1198 x1199 -x1200 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 1800.09/1800.80 v -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 1800.09/1800.80 v -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.09/1800.80 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1800.09/1800.80 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.09/1800.80 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1800.09/1800.80 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1324 -x1325 1800.09/1800.80 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 1800.09/1800.80 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1800.09/1800.80 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1800.09/1800.80 v -x1377 -x1378 -x1379 -x1380 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1800.09/1800.80 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1800.09/1800.80 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 1800.09/1800.80 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1800.09/1800.80 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 1800.09/1800.80 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 1800.09/1800.80 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1498 1800.09/1800.80 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.09/1800.80 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.09/1800.80 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.09/1800.80 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.09/1800.80 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1800.09/1800.80 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1800.09/1800.80 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.09/1800.80 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1800.09/1800.80 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.09/1800.80 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1800.09/1800.80 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.09/1800.80 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1800.09/1800.80 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1800.09/1800.80 v -x1724 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.09/1800.80 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 1800.09/1800.80 v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 1800.09/1800.80 v -x1777 -x1778 x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1800.09/1800.80 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 1800.09/1800.80 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1800.09/1800.80 v -x1831 -x1832 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 1800.09/1800.80 v -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1800.09/1800.80 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1800.09/1800.80 v -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1800.09/1800.80 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1915 -x1916 -x1917 -x1918 -x1919 1800.09/1800.80 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1800.09/1800.80 v -x1937 -x1938 -x1939 -x1940 x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.09/1800.80 v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1969 -x1970 -x1971 -x1972 x1973 -x1974 1800.09/1800.80 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.09/1800.80 v -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.09/1800.80 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2023 -x2024 -x2025 -x2026 -x2027 1800.09/1800.80 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.09/1800.80 v -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1800.09/1800.80 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 1800.09/1800.80 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 1800.09/1800.80 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.09/1800.80 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2131 -x2132 -x2133 1800.09/1800.80 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1800.09/1800.80 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.09/1800.80 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2185 -x2186 1800.09/1800.80 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.09/1800.80 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1800.09/1800.80 v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2239 1800.09/1800.80 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 1800.09/1800.80 v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 1800.09/1800.80 v -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 1800.09/1800.80 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1800.09/1800.80 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 1800.09/1800.80 v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 1800.09/1800.80 v -x2345 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 1800.09/1800.80 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.09/1800.80 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.09/1800.80 v -x2398 -x2399 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 1800.09/1800.80 v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2428 -x2430 -x2431 -x2432 -x2433 -x2434 1800.09/1800.80 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2442 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1800.09/1800.80 v -x2454 -x2456 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2470 x2472 -x2473 -x2474 -x2475 1800.09/1800.80 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2484 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 1800.09/1800.80 v -x2496 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2512 -x2514 -x2515 -x2516 1800.09/1800.80 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.09/1800.80 v -x2536 -x2537 -x2538 x2540 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2554 -x2556 -x2557 1800.09/1800.80 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.09/1800.80 v -x2577 -x2578 -x2579 -x2580 -x2582 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2596 1800.09/1800.80 v x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2610 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 1800.09/1800.80 v -x2618 -x2619 -x2620 -x2621 -x2622 -x2624 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.09/1800.80 v x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2652 -x2654 -x2655 -x2656 -x2657 -x2658 1800.09/1800.80 v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 1800.09/1800.80 v -x2678 x2680 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2694 -x2696 -x2697 -x2698 -x2699 1800.09/1800.80 v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2708 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 1800.09/1800.80 v -x2719 -x2720 -x2722 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2736 -x2738 -x2739 1800.09/1800.80 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2750 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1800.09/1800.80 v -x2759 -x2760 -x2761 -x2762 x2764 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2778 1800.09/1800.80 v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2794 -x2795 -x2796 -x2797 -x2798 1800.09/1800.80 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2806 x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.09/1800.80 v x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2832 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 1800.09/1800.80 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2846 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.09/1800.80 v x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2874 -x2876 -x2877 -x2878 -x2879 1800.09/1800.80 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2888 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1800.09/1800.80 v -x2900 -x2902 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2916 -x2918 -x2919 -x2920 1800.09/1800.80 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2930 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 1800.09/1800.80 v -x2940 -x2941 -x2942 -x2944 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2960 1800.09/1800.80 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2972 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.09/1800.80 v -x2980 -x2981 -x2982 -x2983 -x2984 x2986 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1800.09/1800.80 v x3000 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3014 -x3016 -x3017 -x3018 -x3019 -x3020 1800.09/1800.80 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3028 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.09/1800.80 v -x3040 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 x3056 -x3058 -x3059 -x3060 1800.09/1800.80 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1800.09/1800.80 v -x3080 -x3081 -x3082 -x3084 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3098 -x3100 1800.09/1800.80 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 1800.09/1800.80 v -x3120 -x3121 -x3122 -x3123 -x3124 -x3126 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1800.09/1800.80 v x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3156 -x3157 -x3158 -x3159 1800.09/1800.80 v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1800.09/1800.80 v -x3179 -x3180 x3182 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3196 -x3198 -x3199 -x3200 1800.09/1800.80 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3215 -x3216 -x3217 -x3218 -x3220 1800.09/1800.80 v -x3221 -x3222 -x3223 -x3225 -x3226 -x3227 -x3228 -x3230 -x3231 -x3232 -x3233 -x3235 -x3236 -x3237 -x3238 -x3240 -x3241 1800.09/1800.80 v -x3242 -x3243 -x3245 -x3246 -x3247 -x3248 -x3250 -x3251 -x3252 -x3253 -x3255 -x3256 -x3257 -x3258 -x3260 -x3261 -x3262 1800.09/1800.80 v -x3263 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 x3275 x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 x3285 1800.09/1800.80 v -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 -x3295 -x3296 -x3297 -x3298 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 1800.09/1800.80 v -x3307 -x3308 -x3310 -x3311 -x3312 -x3313 -x3315 -x3316 -x3317 -x3318 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 1800.09/1800.80 v -x3328 x3330 -x3331 x3332 -x3333 x3335 -x3336 -x3337 -x3338 -x3340 -x3341 -x3342 -x3343 -x3345 -x3346 -x3347 -x3348 -x3350 1800.09/1800.80 v -x3351 -x3352 -x3353 -x3355 -x3356 -x3357 -x3358 -x3360 -x3361 -x3362 -x3363 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 1800.09/1800.80 v -x3372 -x3373 -x3375 -x3376 -x3377 -x3378 -x3380 -x3381 -x3382 -x3383 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 1800.09/1800.80 v -x3393 -x3395 -x3396 -x3397 -x3398 x3400 -x3401 -x3402 x3403 -x3405 -x3406 -x3407 -x3408 x3410 -x3411 -x3412 x3413 -x3415 1800.09/1800.80 v -x3416 -x3417 -x3418 x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3430 -x3431 -x3432 -x3433 -x3435 -x3436 1800.09/1800.80 v -x3437 -x3438 -x3440 -x3441 -x3442 -x3443 -x3445 -x3446 -x3447 -x3448 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 1800.09/1800.80 v -x3458 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3475 -x3476 -x3477 -x3478 1800.09/1800.80 v -x3480 -x3481 -x3482 -x3483 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 x3495 -x3496 -x3497 -x3498 -x3500 1800.09/1800.80 v -x3501 -x3502 -x3503 x3505 -x3506 -x3507 x3508 -x3510 -x3511 -x3512 -x3513 -x3515 -x3516 -x3517 -x3518 -x3520 -x3521 -x3522 1800.09/1800.80 v -x3523 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3535 -x3536 -x3537 -x3538 -x3540 -x3541 -x3542 -x3543 1800.09/1800.80 v -x3545 -x3546 -x3547 -x3548 x3550 x3551 -x3552 -x3553 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 1800.09/1800.80 v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 1800.09/1800.80 v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 1800.09/1800.80 v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 1800.09/1800.80 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 1800.09/1800.80 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 1800.09/1800.80 v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 1800.09/1800.80 v -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 1800.09/1800.80 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 1800.09/1800.80 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.09/1800.80 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3734 -x3735 -x3736 -x3737 -x3738 1800.09/1800.80 v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1800.09/1800.80 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 1800.09/1800.80 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 1800.09/1800.80 v -x3790 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 1800.09/1800.80 v -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 1800.09/1800.80 v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 1800.09/1800.80 v -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 1800.09/1800.80 v -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 1800.09/1800.80 v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 1800.09/1800.80 v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3908 -x3909 -x3910 -x3911 1800.09/1800.80 v -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 1800.09/1800.80 v -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 1800.09/1800.80 v -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 1800.09/1800.80 v -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1800.09/1800.80 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1800.09/1800.80 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1800.09/1800.80 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.09/1800.80 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.09/1800.80 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 1800.09/1800.80 v -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 1800.09/1800.80 v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 1800.09/1800.80 v -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 1800.09/1800.80 v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 1800.09/1800.80 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1800.09/1800.80 v -x4156 -x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.09/1800.80 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 1800.09/1800.80 v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 1800.09/1800.80 v -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 1800.09/1800.80 v -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4240 -x4241 -x4242 -x4243 -x4244 1800.09/1800.80 v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 1800.09/1800.80 v -x4262 -x4263 -x4264 -x4265 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 1800.09/1800.80 v -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4294 -x4295 -x4296 -x4297 1800.09/1800.80 v -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 1800.09/1800.80 v -x4315 -x4316 -x4317 -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 1800.09/1800.80 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4348 -x4349 -x4350 1800.09/1800.80 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 1800.09/1800.80 v -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 1800.09/1800.80 v -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 1800.09/1800.80 v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 1800.09/1800.80 v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 1800.09/1800.80 v -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4456 1800.09/1800.80 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 1800.09/1800.80 v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 1800.09/1800.80 v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 1800.09/1800.80 v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 1800.09/1800.80 v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 1800.09/1800.80 v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 1800.09/1800.80 v -x4562 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 1800.09/1800.80 v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.09/1800.80 v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 1800.09/1800.80 v -x4615 -x4616 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633 1800.09/1800.80 v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 1800.09/1800.80 v -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 1800.09/1800.80 v -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 1800.09/1800.80 v -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 1800.09/1800.80 v -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 1800.09/1800.80 v -x4722 -x4723 -x4724 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 1800.09/1800.80 v -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4754 -x4755 -x4756 -x4757 1800.09/1800.80 v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 1800.09/1800.80 v -x4775 -x4776 -x4777 -x4778 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 1800.09/1800.80 v -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4804 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 1800.09/1800.80 v -x4813 -x4814 -x4815 -x4816 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4830 -x4832 1800.09/1800.80 v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 1800.09/1800.80 v -x4851 -x4852 -x4853 -x4854 x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4870 1800.09/1800.80 v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 1800.09/1800.80 v -x4890 -x4891 -x4892 -x4893 -x4894 x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 1800.09/1800.80 v -x4910 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4924 -x4926 -x4927 -x4928 -x4929 1800.09/1800.80 v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 x4938 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 1800.09/1800.80 v -x4949 -x4950 x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 1800.09/1800.80 v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 1800.09/1800.80 v -x4988 -x4989 -x4990 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5008 1800.09/1800.80 v -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5020 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 1800.09/1800.80 v -x5028 -x5029 -x5030 -x5031 -x5032 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 1800.09/1800.80 v -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5064 -x5065 -x5066 -x5067 1800.09/1800.80 v -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 1800.09/1800.80 v -x5087 -x5088 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 1800.09/1800.80 v -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5114 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 1800.09/1800.80 v -x5125 -x5126 x5128 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5142 -x5144 -x5145 1800.09/1800.80 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 1800.09/1800.80 v -x5165 -x5166 -x5167 -x5168 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5182 x5184 -x5185 1800.09/1800.80 v -x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 1800.09/1800.80 v -x5204 -x5205 -x5206 x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5222 -x5224 1800.09/1800.80 v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 1800.09/1800.80 v -x5244 -x5245 -x5246 -x5247 -x5248 -x5250 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 1800.09/1800.80 v -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5278 -x5280 -x5281 -x5282 -x5283 1800.09/1800.80 v -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 x5292 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 1800.09/1800.80 v -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5320 x5322 -x5323 1800.09/1800.80 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5334 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 1800.09/1800.80 v -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 x5362 -x5363 1800.09/1800.80 v -x5364 -x5365 -x5366 -x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5374 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 1800.09/1800.80 v -x5383 -x5384 -x5385 -x5386 x5388 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5402 1800.09/1800.80 v -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5416 -x5418 -x5419 -x5420 -x5421 -x5422 1800.09/1800.80 v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5430 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 1800.09/1800.80 v -x5442 -x5444 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5460 -x5461 -x5462 1800.09/1800.80 v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5472 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 1800.09/1800.80 v -x5482 -x5483 -x5484 -x5486 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5500 -x5502 1800.09/1800.80 v -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5514 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 1800.09/1800.80 v -x5522 -x5523 -x5524 -x5525 -x5526 -x5528 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 1800.09/1800.80 v -x5542 -x5543 -x5544 -x5545 -x5547 -x5548 -x5549 -x5550 -x5552 -x5553 -x5554 -x5555 -x5557 -x5558 -x5559 -x5560 -x5562 1800.09/1800.80 v -x5563 -x5564 -x5565 -x5567 -x5568 -x5569 -x5570 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5582 -x5583 1800.09/1800.80 v -x5584 -x5585 x5587 -x5588 x5589 -x5590 -x5592 -x5593 -x5594 -x5595 -x5597 -x5598 -x5599 -x5600 -x5602 -x5603 -x5604 -x5605 1800.09/1800.80 v -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5617 -x5618 -x5619 -x5620 -x5622 -x5623 -x5624 -x5625 -x5627 1800.09/1800.80 v -x5628 -x5629 -x5630 -x5632 -x5633 -x5634 -x5635 -x5637 -x5638 -x5639 -x5640 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 1800.09/1800.80 v -x5649 -x5650 -x5652 -x5653 -x5654 -x5655 -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 -x5664 -x5665 -x5667 -x5668 -x5669 1800.09/1800.80 v -x5670 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5682 -x5683 -x5684 -x5685 -x5687 -x5688 -x5689 -x5690 1800.09/1800.80 v -x5692 -x5693 -x5694 -x5695 -x5697 -x5698 -x5699 -x5700 x5702 -x5703 x5704 -x5705 -x5707 -x5708 -x5709 -x5710 x5712 -x5713 1800.09/1800.80 v -x5714 -x5715 -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733 -x5734 1800.09/1800.80 v -x5735 -x5737 -x5738 -x5739 -x5740 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5752 -x5753 -x5754 -x5755 1800.09/1800.80 v -x5757 -x5758 -x5759 -x5760 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5772 -x5773 -x5774 -x5775 -x5777 1800.09/1800.80 v -x5778 -x5779 -x5780 -x5782 -x5783 -x5784 -x5785 -x5787 -x5788 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5797 -x5798 1800.09/1800.80 v -x5799 -x5800 x5802 -x5803 -x5804 -x5805 -x5807 -x5808 -x5809 -x5810 -x5812 -x5813 -x5814 -x5815 -x5817 -x5818 -x5819 1800.09/1800.80 v -x5820 x5822 -x5823 -x5824 -x5825 x5827 -x5828 x5829 -x5830 x5832 -x5833 -x5834 -x5835 -x5837 -x5838 -x5839 -x5840 -x5842 1800.09/1800.80 v -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5858 -x5859 -x5860 -x5862 -x5863 1800.09/1800.80 v -x5864 -x5865 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 -x5882 -x5883 -x5884 1800.09/1800.80 v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 1800.09/1800.80 v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 1800.09/1800.80 v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 x5936 -x5937 1800.09/1800.80 v -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 1800.09/1800.80 v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 1800.09/1800.80 v -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5990 1800.09/1800.80 v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 1800.09/1800.80 v -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 1800.09/1800.80 v -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 1800.09/1800.80 v -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 1800.09/1800.80 v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 1800.09/1800.80 v -x6079 -x6080 -x6081 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 x6095 -x6096 -x6097 1800.09/1800.80 v -x6098 -x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 1800.09/1800.80 v -x6116 -x6117 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6131 -x6132 -x6133 -x6134 1800.09/1800.80 v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 1800.09/1800.80 v -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6167 -x6168 -x6169 -x6170 -x6171 1800.09/1800.80 v -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 1800.09/1800.80 v x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 1800.09/1800.80 v -x6209 -x6210 -x6211 -x6212 -x6213 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6227 1800.09/1800.80 v -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 1800.09/1800.80 v -x6246 -x6247 -x6248 -x6249 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263 -x6264 1800.09/1800.80 v -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 1800.09/1800.80 v -x6283 -x6284 -x6285 x6287 -x6288 -x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6299 -x6300 -x6301 -x6302 1800.09/1800.80 v -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 1800.09/1800.80 v -x6321 -x6323 -x6324 -x6325 -x6326 x6328 -x6330 -x6331 -x6332 -x6333 -x6335 -x6337 -x6338 -x6339 -x6340 -x6342 -x6344 1800.09/1800.80 v -x6345 -x6346 -x6347 x6349 -x6351 -x6352 -x6353 -x6354 x6356 x6358 -x6359 -x6360 x6361 -x6363 -x6365 -x6366 -x6367 -x6368 1800.09/1800.80 v -x6370 -x6372 -x6373 -x6374 -x6375 -x6377 -x6379 -x6380 -x6381 -x6382 x6384 x6386 -x6387 -x6388 -x6389 x6391 x6393 -x6394 1800.09/1800.80 v -x6395 -x6396 x6398 -x6400 -x6401 -x6402 -x6403 x6405 x6407 -x6408 -x6409 -x6410 -x6412 -x6414 -x6415 -x6416 -x6417 -x6419 1800.09/1800.80 v -x6421 -x6422 -x6423 -x6424 -x6426 -x6428 -x6429 -x6430 -x6431 -x6433 -x6435 -x6436 -x6437 -x6438 -x6440 -x6442 -x6443 1800.09/1800.80 v -x6444 -x6445 x6447 x6449 x6450 -x6451 -x6452 -x6454 -x6456 -x6457 -x6458 -x6459 -x6461 -x6463 -x6464 -x6465 -x6466 x6468 1800.09/1800.80 v -x6470 -x6471 -x6472 -x6473 x6475 -x6477 -x6478 -x6479 -x6480 x6482 -x6484 -x6485 -x6486 -x6487 -x6489 -x6490 -x6491 -x6492 1800.09/1800.80 v -x6494 -x6496 -x6497 -x6498 -x6499 -x6501 -x6503 -x6504 -x6505 -x6506 -x6508 -x6510 -x6511 -x6512 -x6513 x6515 x6517 -x6518 1800.09/1800.80 v x6519 -x6520 -x6522 -x6524 -x6525 -x6526 -x6527 -x6529 -x6531 -x6532 -x6533 -x6534 x6536 x6538 -x6539 -x6540 -x6541 -x6543 1800.09/1800.80 v -x6545 -x6546 -x6547 -x6548 -x6550 -x6552 -x6553 -x6554 -x6555 x6557 -x6559 -x6560 -x6561 -x6562 -x6564 -x6565 -x6566 1800.09/1800.80 v -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 1800.09/1800.80 v -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 1800.09/1800.80 v -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 1800.09/1800.80 v -x6618 -x6619 -x6620 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 1800.09/1800.80 v -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 1800.09/1800.80 v -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 1800.09/1800.80 v -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 1800.09/1800.80 v -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 1800.09/1800.80 v -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 1800.09/1800.80 v -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 x6738 -x6739 1800.09/1800.80 v -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 x6753 -x6754 -x6755 -x6756 1800.09/1800.80 v -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 1800.09/1800.80 v -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 1800.09/1800.80 v -x6791 -x6792 -x6793 -x6794 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 1800.09/1800.80 v -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 1800.09/1800.80 v -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 1800.09/1800.80 v -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 1800.09/1800.80 v -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 1800.09/1800.80 v -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 1800.09/1800.80 v -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6912 1800.09/1800.80 v -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 1800.09/1800.80 v -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 1800.09/1800.80 v -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 1800.09/1800.80 v -x6964 -x6965 -x6966 -x6967 -x6968 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 1800.09/1800.80 v -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 1800.09/1800.80 v -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 1800.09/1800.80 v -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 1800.09/1800.80 v -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 1800.09/1800.80 v -x7051 -x7052 -x7053 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 1800.09/1800.80 v -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7082 -x7083 -x7084 -x7085 -x7086 1800.09/1800.80 v -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 1800.09/1800.80 v -x7104 -x7105 -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 1800.09/1800.80 v -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7136 -x7137 -x7138 -x7139 1800.09/1800.80 v -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 1800.09/1800.80 v -x7157 -x7158 -x7159 -x7160 -x7161 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 1800.09/1800.80 v -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7190 -x7191 -x7192 1800.09/1800.80 v -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 1800.09/1800.80 v -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 1800.09/1800.80 v -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7244 -x7245 1800.09/1800.80 v -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 1800.09/1800.80 v -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 1800.09/1800.80 v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7298 1800.09/1800.80 v -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 1800.09/1800.80 v -x7316 -x7317 -x7318 -x7319 -x7320 x7321 -x7322 -x7323 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 1800.09/1800.80 v -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 1800.09/1800.80 v -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 1800.09/1800.80 v -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 1800.09/1800.80 v -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 1800.09/1800.80 v -x7404 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 1800.09/1800.80 v -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 1800.09/1800.80 v -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 1800.09/1800.80 v -x7457 -x7458 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 1800.09/1800.80 v -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 x7487 -x7488 -x7489 -x7490 -x7491 -x7492 1800.09/1800.80 v -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 1800.09/1800.80 v -x7510 -x7511 -x7512 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 1800.09/1800.80 v -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7541 -x7542 -x7543 -x7544 -x7545 1800.09/1800.80 v -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 1800.09/1800.80 v -x7563 -x7564 -x7565 -x7566 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 1800.09/1800.80 v -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 x7595 -x7596 -x7597 -x7598 1800.09/1800.80 v -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 1800.09/1800.80 v -x7616 -x7617 -x7618 -x7619 -x7620 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 1800.09/1800.80 v -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7649 -x7650 -x7651 1800.09/1800.80 v -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 1800.09/1800.80 v -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 1800.09/1800.80 v -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7703 -x7704 1800.09/1800.80 v -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 1800.09/1800.80 v -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 1800.09/1800.80 v -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7757 1800.09/1800.80 v -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 1800.09/1800.80 v -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 1800.09/1800.80 v -x7793 -x7794 x7796 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7810 -x7812 -x7813 1800.09/1800.80 v -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 x7824 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 1800.09/1800.80 v -x7833 -x7834 -x7835 -x7836 x7838 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 x7852 -x7854 1800.09/1800.80 v -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 1800.09/1800.80 v -x7873 -x7874 -x7875 -x7876 -x7878 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7892 1800.09/1800.80 v -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 1800.09/1800.80 v -x7912 -x7913 -x7914 -x7915 -x7916 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7930 1800.09/1800.80 v -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 1800.09/1800.80 v -x7949 -x7950 -x7951 -x7952 x7954 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 x7968 -x7970 1800.09/1800.80 v -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 1800.09/1800.80 v -x7989 -x7990 -x7991 -x7992 x7994 x7996 -x7997 -x7998 x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8010 1800.09/1800.80 v -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 x8022 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 1800.09/1800.80 v -x8030 -x8031 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 1800.09/1800.80 v x8050 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8064 -x8066 -x8067 -x8068 -x8069 1800.09/1800.80 v -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8078 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 1800.09/1800.80 v -x8089 -x8090 x8092 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8106 -x8108 -x8109 1800.09/1800.80 v -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 1800.09/1800.80 v -x8128 -x8129 -x8130 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 x8146 x8148 -x8149 1800.09/1800.80 v -x8150 -x8151 -x8152 -x8153 -x8154 x8155 -x8156 -x8157 -x8158 -x8160 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 1800.09/1800.80 v -x8169 -x8170 -x8171 -x8172 x8174 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 x8188 x8190 1800.09/1800.80 v -x8191 -x8192 x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8202 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 1800.09/1800.80 v -x8210 -x8211 -x8212 -x8213 -x8214 x8216 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 1800.09/1800.80 v x8230 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 x8244 -x8246 -x8247 -x8248 -x8249 -x8250 1800.09/1800.80 v -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 x8258 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 1800.09/1800.80 v -x8270 -x8272 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8286 x8288 -x8289 -x8290 1800.09/1800.80 v -x8291 -x8292 -x8293 -x8294 x8295 -x8296 -x8297 -x8298 -x8300 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 1800.09/1800.80 v -x8310 -x8311 -x8312 x8314 x8316 -x8317 -x8318 -x8319 -x8320 -x8321 x8322 -x8323 -x8324 -x8325 -x8326 -x8328 -x8330 -x8331 1800.09/1800.80 v -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8342 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 1800.09/1800.80 v -x8351 -x8352 -x8353 -x8354 x8356 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8370 1800.09/1800.80 v -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 x8384 -x8386 -x8387 -x8388 -x8389 -x8390 1800.09/1800.80 v -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 x8398 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 1800.09/1800.80 v -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8426 -x8427 -x8428 -x8429 1800.09/1800.80 v -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8438 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 1800.09/1800.80 v -x8449 -x8450 -x8452 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8466 -x8468 -x8469 1800.09/1800.80 v -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8480 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 1800.09/1800.80 v -x8489 -x8490 -x8491 -x8492 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8508 1800.09/1800.80 v -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8522 -x8524 -x8525 -x8526 -x8527 -x8528 1800.09/1800.80 v -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8536 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 1800.09/1800.80 v -x8548 -x8550 -x8551 -x8552 -x8553 -x8555 -x8556 -x8557 -x8558 -x8560 -x8561 -x8562 -x8563 -x8565 -x8566 -x8567 -x8568 1800.09/1800.80 v -x8570 -x8571 -x8572 -x8573 -x8575 -x8576 -x8577 -x8578 -x8580 -x8581 -x8582 -x8583 -x8585 -x8586 -x8587 -x8588 -x8590 1800.09/1800.80 v -x8591 -x8592 -x8593 -x8595 -x8596 -x8597 -x8598 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 x8610 -x8611 1800.09/1800.80 v x8612 -x8613 -x8615 -x8616 -x8617 -x8618 -x8620 -x8621 -x8622 -x8623 -x8625 -x8626 -x8627 -x8628 x8630 -x8631 x8632 -x8633 1800.09/1800.80 v -x8635 -x8636 -x8637 -x8638 -x8640 -x8641 -x8642 -x8643 x8645 -x8646 -x8647 -x8648 x8650 -x8651 -x8652 -x8653 x8655 -x8656 1800.09/1800.80 v -x8657 -x8658 -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 x8670 -x8671 -x8672 x8673 x8675 -x8676 -x8677 -x8678 1800.09/1800.80 v -x8680 -x8681 -x8682 -x8683 -x8685 -x8686 -x8687 -x8688 x8690 -x8691 x8692 -x8693 -x8695 -x8696 -x8697 -x8698 -x8700 -x8701 1800.09/1800.80 v -x8702 -x8703 -x8705 -x8706 -x8707 -x8708 -x8710 -x8711 -x8712 -x8713 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 1800.09/1800.80 v -x8723 -x8725 -x8726 -x8727 -x8728 x8730 -x8731 x8732 -x8733 -x8735 -x8736 -x8737 -x8738 -x8740 -x8741 -x8742 -x8743 -x8745 1800.09/1800.80 v -x8746 -x8747 -x8748 x8750 -x8751 -x8752 -x8753 -x8755 -x8756 -x8757 -x8758 -x8760 -x8761 -x8762 -x8763 -x8765 -x8766 1800.09/1800.80 v -x8767 -x8768 -x8770 -x8771 -x8772 -x8773 -x8775 -x8776 -x8777 -x8778 -x8780 -x8781 -x8782 -x8783 -x8785 -x8786 -x8787 1800.09/1800.80 v -x8788 x8790 -x8791 x8792 -x8793 -x8795 -x8796 -x8797 -x8798 -x8800 -x8801 -x8802 -x8803 x8805 -x8806 -x8807 -x8808 x8810 1800.09/1800.80 v -x8811 x8812 -x8813 -x8815 -x8816 -x8817 -x8818 -x8820 -x8821 -x8822 -x8823 -x8825 -x8826 -x8827 -x8828 -x8830 -x8831 1800.09/1800.80 v -x8832 -x8833 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8845 -x8846 -x8847 -x8848 -x8850 -x8851 -x8852 1800.09/1800.80 v -x8853 x8855 -x8856 -x8857 -x8858 x8860 -x8861 -x8862 -x8863 -x8865 -x8866 -x8867 -x8868 -x8870 -x8871 -x8872 -x8873 x8875 1800.09/1800.80 v -x8876 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8885 -x8886 -x8887 -x8888 -x8890 -x8891 -x8892 -x8893 -x8895 x8897 1800.09/1800.80 v x8899 -x8901
OK 21
/tmp/evaluation/373079-1177162007/instance-373079-1177162007.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-373079-1177162007 -o ROOT/results/node40/solver-373079-1177162007 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373079-1177162007/minisat+ /tmp/evaluation/373079-1177162007/instance-373079-1177162007.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: 1.00 1.00 1.00 3/77 24216 /proc/meminfo: memFree=1750312/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=1180 CPUtime=0 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 45080275 1208320 140 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/24216/statm: 295 140 75 215 0 77 0 [startup+0.0111309 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24216 /proc/meminfo: memFree=1750312/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=1328 CPUtime=0.01 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 170 0 0 0 1 0 0 0 18 0 1 0 45080275 1359872 155 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134571941 0 0 4096 16386 0 0 0 17 0 0 0 /proc/24216/statm: 332 155 75 215 0 114 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1328 [startup+0.101148 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24216 /proc/meminfo: memFree=1750312/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=2316 CPUtime=0.09 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 418 0 0 0 9 0 0 0 18 0 1 0 45080275 2371584 403 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/24216/statm: 579 403 75 215 0 361 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2316 [startup+0.301189 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24216 /proc/meminfo: memFree=1750312/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=4456 CPUtime=0.29 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 948 0 0 0 29 0 0 0 19 0 1 0 45080275 4562944 933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/24216/statm: 1114 933 75 215 0 896 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4456 [startup+0.701272 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24216 /proc/meminfo: memFree=1750312/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=8248 CPUtime=0.69 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 1909 0 0 0 68 1 0 0 23 0 1 0 45080275 8445952 1894 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/24216/statm: 2062 1894 75 215 0 1844 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8248 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1739168/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=14168 CPUtime=1.48 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 3495 0 0 0 143 5 0 0 21 0 1 0 45080275 14508032 3365 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 0 0 0 /proc/24216/statm: 3542 3365 123 215 0 3324 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14168 [startup+3.10158 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1736928/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=14168 CPUtime=3.08 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 3495 0 0 0 303 5 0 0 25 0 1 0 45080275 14508032 3365 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580305 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 3542 3365 123 215 0 3324 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14168 [startup+6.30125 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1735200/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=18160 CPUtime=6.28 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 4488 0 0 0 622 6 0 0 25 0 1 0 45080275 18595840 4358 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581167 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 4540 4358 123 215 0 4322 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18160 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1725608/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=26660 CPUtime=12.68 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 6606 0 0 0 1260 8 0 0 25 0 1 0 45080275 27299840 6476 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573863 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 6665 6476 123 215 0 6447 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26660 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1706664/2055920 swapFree=4131440/4192956 [pid=24216] ppid=24214 vsize=44680 CPUtime=25.47 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 11094 0 0 0 2536 11 0 0 25 0 1 0 45080275 45752320 10898 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 11170 10898 124 215 0 10952 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 44680 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1704552/2055920 swapFree=4131504/4192956 [pid=24216] ppid=24214 vsize=47372 CPUtime=51.06 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 11734 0 0 0 5094 12 0 0 25 0 1 0 45080275 48508928 11538 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 11843 11538 124 215 0 11625 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 47372 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1686056/2055920 swapFree=4131504/4192956 [pid=24216] ppid=24214 vsize=65532 CPUtime=102.25 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 16295 0 0 0 10207 18 0 0 25 0 1 0 45080275 67104768 16099 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 16383 16099 124 215 0 16165 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 65532 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1668776/2055920 swapFree=4131504/4192956 [pid=24216] ppid=24214 vsize=83044 CPUtime=162.22 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 20621 0 0 0 16198 24 0 0 25 0 1 0 45080275 85037056 20425 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 20761 20425 124 215 0 20543 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 83044 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1662632/2055920 swapFree=4131572/4192956 [pid=24216] ppid=24214 vsize=89000 CPUtime=222.19 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22125 0 0 0 22193 26 0 0 25 0 1 0 45080275 91136000 21929 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581505 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22250 21929 124 215 0 22032 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 89000 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1662568/2055920 swapFree=4131572/4192956 [pid=24216] ppid=24214 vsize=89000 CPUtime=282.17 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22138 0 0 0 28190 27 0 0 25 0 1 0 45080275 91136000 21942 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580461 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22250 21942 124 215 0 22032 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 89000 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1662248/2055920 swapFree=4131572/4192956 [pid=24216] ppid=24214 vsize=89360 CPUtime=342.15 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22194 0 0 0 34188 27 0 0 25 0 1 0 45080275 91504640 21998 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22340 21998 124 215 0 22122 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 89360 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1662248/2055920 swapFree=4131636/4192956 [pid=24216] ppid=24214 vsize=89360 CPUtime=402.13 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22194 0 0 0 40185 28 0 0 25 0 1 0 45080275 91504640 21998 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22340 21998 124 215 0 22122 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 89360 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1661864/2055920 swapFree=4131636/4192956 [pid=24216] ppid=24214 vsize=89700 CPUtime=462.1 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22292 0 0 0 46182 28 0 0 25 0 1 0 45080275 91852800 22096 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22425 22096 124 215 0 22207 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 89700 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1661608/2055920 swapFree=4131636/4192956 [pid=24216] ppid=24214 vsize=90076 CPUtime=522.08 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22344 0 0 0 52179 29 0 0 25 0 1 0 45080275 92237824 22148 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581307 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22519 22148 124 215 0 22301 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 90076 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1661480/2055920 swapFree=4131700/4192956 [pid=24216] ppid=24214 vsize=90288 CPUtime=582.05 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22396 0 0 0 58176 29 0 0 25 0 1 0 45080275 92454912 22200 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22572 22200 124 215 0 22354 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 90288 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1661288/2055920 swapFree=4131700/4192956 [pid=24216] ppid=24214 vsize=90288 CPUtime=642.04 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22425 0 0 0 64174 30 0 0 25 0 1 0 45080275 92454912 22229 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22572 22229 124 215 0 22354 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 90288 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1661096/2055920 swapFree=4131764/4192956 [pid=24216] ppid=24214 vsize=90664 CPUtime=821.97 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22489 0 0 0 82165 32 0 0 25 0 1 0 45080275 92839936 22293 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22666 22293 124 215 0 22448 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 90664 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1660968/2055920 swapFree=4131828/4192956 [pid=24216] ppid=24214 vsize=90828 CPUtime=881.94 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22526 0 0 0 88162 32 0 0 25 0 1 0 45080275 93007872 22330 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22707 22330 124 215 0 22489 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 90828 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1659880/2055920 swapFree=4131828/4192956 [pid=24216] ppid=24214 vsize=91940 CPUtime=941.91 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22787 0 0 0 94158 33 0 0 25 0 1 0 45080275 94146560 22591 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 22985 22591 124 215 0 22767 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 91940 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1659432/2055920 swapFree=4131828/4192956 [pid=24216] ppid=24214 vsize=92652 CPUtime=1001.89 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22894 0 0 0 100155 34 0 0 25 0 1 0 45080275 94875648 22698 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23163 22698 124 215 0 22945 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 92652 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1659432/2055920 swapFree=4131892/4192956 [pid=24216] ppid=24214 vsize=92652 CPUtime=1061.87 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22898 0 0 0 106152 35 0 0 25 0 1 0 45080275 94875648 22702 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588686 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23163 22702 124 215 0 22945 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 92652 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1659304/2055920 swapFree=4131892/4192956 [pid=24216] ppid=24214 vsize=92816 CPUtime=1121.85 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22930 0 0 0 112150 35 0 0 25 0 1 0 45080275 95043584 22734 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23204 22734 124 215 0 22986 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 92816 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1659112/2055920 swapFree=4131956/4192956 [pid=24216] ppid=24214 vsize=93060 CPUtime=1181.83 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22980 0 0 0 118147 36 0 0 25 0 1 0 45080275 95293440 22784 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23265 22784 124 215 0 23047 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 93060 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1659112/2055920 swapFree=4131956/4192956 [pid=24216] ppid=24214 vsize=93060 CPUtime=1241.8 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 22986 0 0 0 124144 36 0 0 25 0 1 0 45080275 95293440 22790 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23265 22790 124 215 0 23047 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 93060 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1658920/2055920 swapFree=4131956/4192956 [pid=24216] ppid=24214 vsize=93304 CPUtime=1301.79 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23036 0 0 0 130142 37 0 0 25 0 1 0 45080275 95543296 22840 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23326 22840 124 215 0 23108 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 93304 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1658664/2055920 swapFree=4132020/4192956 [pid=24216] ppid=24214 vsize=93548 CPUtime=1361.75 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23094 0 0 0 136138 37 0 0 25 0 1 0 45080275 95793152 22898 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580450 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23387 22898 124 215 0 23169 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 93548 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1658664/2055920 swapFree=4132020/4192956 [pid=24216] ppid=24214 vsize=93548 CPUtime=1421.74 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23094 0 0 0 142136 38 0 0 25 0 1 0 45080275 95793152 22898 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23387 22898 124 215 0 23169 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 93548 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1658472/2055920 swapFree=4132020/4192956 [pid=24216] ppid=24214 vsize=93792 CPUtime=1481.71 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23139 0 0 0 148133 38 0 0 25 0 1 0 45080275 96043008 22943 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23448 22943 124 215 0 23230 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 93792 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1658280/2055920 swapFree=4132084/4192956 [pid=24216] ppid=24214 vsize=94036 CPUtime=1541.69 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23186 0 0 0 154130 39 0 0 25 0 1 0 45080275 96292864 22990 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23509 22990 124 215 0 23291 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 94036 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1658152/2055920 swapFree=4132084/4192956 [pid=24216] ppid=24214 vsize=94156 CPUtime=1601.66 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23209 0 0 0 160127 39 0 0 25 0 1 0 45080275 96415744 23013 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580442 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23539 23013 124 215 0 23321 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 94156 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1658152/2055920 swapFree=4132084/4192956 [pid=24216] ppid=24214 vsize=94156 CPUtime=1661.64 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23209 0 0 0 166124 40 0 0 25 0 1 0 45080275 96415744 23013 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23539 23013 124 215 0 23321 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 94156 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1658216/2055920 swapFree=4132148/4192956 [pid=24216] ppid=24214 vsize=94156 CPUtime=1721.61 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23209 0 0 0 172121 40 0 0 25 0 1 0 45080275 96415744 23013 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23539 23013 124 215 0 23321 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 94156 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1657960/2055920 swapFree=4132148/4192956 [pid=24216] ppid=24214 vsize=94320 CPUtime=1781.59 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23267 0 0 0 178118 41 0 0 25 0 1 0 45080275 96583680 23071 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23580 23071 124 215 0 23362 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 94320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24217 /proc/meminfo: memFree=1657896/2055920 swapFree=4132148/4192956 [pid=24216] ppid=24214 vsize=94320 CPUtime=1800.09 /proc/24216/stat : 24216 (minisat+) R 24214 24216 23361 0 -1 4194304 23267 0 0 0 179968 41 0 0 25 0 1 0 45080275 96583680 23071 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581192 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24216/statm: 23580 23071 124 215 0 23362 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 94320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.83 CPU time (s): 1800.12 CPU user time (s): 1799.68 CPU system time (s): 0.432934 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (KiB): 94320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.432934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23269 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= 228 involuntary context switches= 4293 runsolver used 2.08768 second user time and 4.52431 second system time The end
Begin job on node40 on Sat Apr 21 13:26:47 UTC 2007 IDJOB= 373079 IDBENCH= 25018 IDSOLVER= 156 FILE ID= node40/373079-1177162007 PBS_JOBID= 4648911 Free space on /tmp= 66526 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= /tmp/evaluation/373079-1177162007/minisat+ /tmp/evaluation/373079-1177162007/instance-373079-1177162007.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-373079-1177162007 -o ROOT/results/node40/conversion-373079-1177162007 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373079-1177162007/instance-373079-1177162007.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-373079-1177162007 -o ROOT/results/node40/solver-373079-1177162007 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373079-1177162007/minisat+ /tmp/evaluation/373079-1177162007/instance-373079-1177162007.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED= 117050673 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1750720 kB Buffers: 62732 kB Cached: 163492 kB SwapCached: 2392 kB Active: 157916 kB Inactive: 93908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1750720 kB SwapTotal: 4192956 kB SwapFree: 4131440 kB Dirty: 3372 kB Writeback: 0 kB Mapped: 34240 kB Slab: 38748 kB Committed_AS: 952428 kB PageTables: 1932 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= 66526 MiB End job on node40 on Sat Apr 21 13:56:50 UTC 2007