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