Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -4010 | 376.842 | 376.984 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb |
MD5SUM | 7ddc5796bc843f2bf9bc94a0b22fd8e4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -4362 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4362 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 334 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526119 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 254588 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526119 |
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/432803-1177950026/instance-432803-1177950026.opb 0.00/0.00 c File size is 211808 bytes. 0.01/0.07 c Highest Coefficient sum: 526119 0.01/0.07 c Parsing was ok!! 0.01/0.07 c Total parsing time: 0.073 s 0.01/0.08 c Var: 5383 Constr: 3281 2977/276/28 Lit: 20029 Watch. Lit: 16973 0.01/0.08 c Obj. Vars: 2946 (54.7278 % of total variables) 7.69/7.75 c Pre-processing Time: 7.751 s 7.69/7.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.69/7.75 c 0 5237 3214 19895 6 19797 45455 0 0 7.75 7.69/7.75 c Switching off LPR mode. 7.99/8.04 c 101 5237 3315 311922 94 20023 50001 101 12 7.96 7.99/8.04 o -446 8.037 15.98/16.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.98/16.03 c 104 5237 3319 314977 94 20070 51213 105 12 8.04 15.98/16.03 c 204 5237 3419 575813 168 20264 56335 205 19 10.23 15.98/16.03 c 454 5237 3669 1219664 332 20769 61969 455 28 15.93 15.98/16.03 o -3651 16.026 16.08/16.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.08/16.11 c 467 5237 3683 1259803 342 20826 51213 469 29 16.03 16.08/16.11 o -4004 16.105 16.48/16.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.48/16.57 c 467 5237 3684 1262682 342 20863 51213 470 28 16.11 16.48/16.57 c 567 5237 3784 1549519 409 21075 56335 570 34 16.48 16.48/16.57 o -4010 16.563 376.56/376.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 376.56/376.70 c 569 5237 3787 1558023 411 21124 51213 573 34 16.57 376.56/376.70 c 669 5237 3887 1839578 473 21338 56335 673 39 16.88 376.56/376.70 c 919 5237 4137 2546998 615 21825 61969 923 52 17.46 376.56/376.70 c 1396 5237 4614 3893135 843 22784 68166 1400 75 18.52 376.56/376.70 c 2210 5237 5428 6185658 1139 24425 74983 2214 102 21.52 376.56/376.70 c 3530 5237 6748 9871270 1462 27081 82482 3534 134 26.28 376.56/376.70 c 5611 5237 8829 15728074 1781 31229 90731 5615 147 38.08 376.56/376.70 c 8834 5237 12052 24732904 2052 37675 99805 8838 159 55.44 376.56/376.70 c 13771 5237 16989 38649249 2274 47555 109786 13775 185 74.12 376.56/376.70 c 21277 5237 24495 59791481 2440 62585 120765 21281 148 143.15 376.56/376.70 c 32638 5237 35856 91851131 2561 85292 132842 32642 127 255.80 376.56/376.70 c 49782 5237 53000 139439592 2630 119586 146127 49786 134 370.07 376.56/376.70 c Caught signal: 15 376.56/376.70 v -x1 -x1112 -x2281 -x3392 -x4503 -x4940 -x5051 -x5162 -x5273 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113 376.56/376.70 v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2282 -x2393 -x2504 -x2615 -x2726 -x2837 -x2948 -x3059 376.56/376.70 v -x3170 -x3281 -x3393 -x3504 -x3615 -x3726 -x3837 -x3948 -x4059 -x4170 -x4281 -x4392 -x4504 -x4615 -x4726 -x4837 -x4874 376.56/376.70 v -x4885 -x4896 -x4907 -x4918 -x4929 -x4941 -x4952 -x4963 -x4974 -x4985 -x4996 -x5007 -x5018 -x5029 -x5040 -x5052 -x5063 376.56/376.70 v -x5074 -x5085 -x5096 -x5107 -x5118 -x5129 -x5140 -x5151 -x5163 -x5174 -x5185 -x5196 -x5207 -x5218 -x5229 -x5240 -x5251 376.56/376.70 v -x5262 -x5274 -x5285 -x5296 -x5307 -x5318 -x5329 -x5340 -x5351 -x5362 -x5373 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 376.56/376.70 v -x102 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324 376.56/376.70 v -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 376.56/376.70 v -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 376.56/376.70 v -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 376.56/376.70 v -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 376.56/376.70 v -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 376.56/376.70 v -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 376.56/376.70 v -x1591 -x1602 -x1613 -x1624 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 376.56/376.70 v -x1780 -x1791 -x1802 -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 376.56/376.70 v -x1968 -x1979 -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 x2101 -x2113 -x2124 -x2135 -x2146 376.56/376.70 v -x2157 -x2226 -x2237 -x2248 -x2259 -x2270 -x2283 -x2294 -x2305 -x2316 -x2327 -x2338 -x2349 -x2360 -x2371 -x2382 -x2394 376.56/376.70 v -x2405 -x2416 -x2427 -x2438 -x2449 -x2460 -x2471 -x2482 -x2493 -x2505 -x2516 -x2527 -x2538 -x2549 -x2560 -x2571 -x2582 376.56/376.70 v -x2593 -x2604 -x2616 -x2627 -x2638 -x2649 -x2660 -x2671 -x2682 -x2693 -x2704 -x2715 -x2727 -x2738 -x2749 -x2760 -x2771 376.56/376.70 v -x2782 -x2793 -x2804 -x2815 -x2826 -x2838 -x2849 -x2860 -x2871 -x2882 -x2893 -x2904 -x2915 -x2926 x2937 -x2949 -x2960 376.56/376.70 v -x2971 -x2982 -x2993 -x3004 -x3015 -x3026 -x3037 -x3048 -x3060 -x3071 -x3082 -x3093 -x3104 -x3115 -x3126 -x3137 -x3148 376.56/376.70 v -x3159 -x3171 -x3182 -x3193 -x3204 -x3215 -x3226 -x3237 -x3248 -x3259 -x3270 -x3282 -x3293 -x3304 -x3315 -x3326 -x3337 376.56/376.70 v -x3348 -x3359 -x3370 -x3381 -x3394 -x3405 -x3416 -x3427 x3438 -x3449 -x3460 -x3471 -x3482 -x3493 -x3505 -x3516 -x3527 376.56/376.70 v -x3538 -x3549 -x3560 -x3571 -x3582 -x3593 -x3604 -x3616 -x3627 -x3638 -x3649 -x3660 -x3671 -x3682 -x3693 -x3704 -x3715 376.56/376.70 v -x3727 -x3738 -x3749 -x3760 -x3771 -x3782 -x3793 -x3804 -x3815 -x3826 -x3838 -x3849 -x3860 -x3871 -x3882 -x3893 -x3904 376.56/376.70 v -x3915 -x3926 -x3937 -x3949 -x3960 -x3971 -x3982 -x3993 -x4004 -x4015 -x4026 -x4037 -x4048 -x4060 -x4071 -x4082 -x4093 376.56/376.70 v -x4104 -x4115 -x4126 -x4137 -x4148 -x4159 -x4171 -x4182 -x4193 -x4204 -x4215 -x4226 -x4237 -x4248 -x4259 -x4270 -x4282 376.56/376.70 v -x4293 -x4304 -x4315 -x4326 -x4337 -x4348 -x4359 -x4370 -x4381 -x4393 -x4404 -x4415 -x4426 -x4437 -x4448 x4459 -x4470 376.56/376.70 v -x4481 -x4492 -x4505 -x4516 -x4527 -x4538 -x4549 -x4560 -x4571 -x4582 -x4593 -x4604 -x4616 -x4627 -x4638 -x4649 -x4660 376.56/376.70 v -x4671 -x4682 -x4693 -x4704 -x4715 -x4727 -x4738 -x4749 -x4760 -x4771 -x4782 -x4793 -x4804 -x4815 -x4826 -x4838 -x4849 376.56/376.70 v -x4860 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 376.56/376.70 v -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 376.56/376.70 v -x4903 -x4904 -x4905 -x4906 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 -x4914 -x4915 -x4916 -x4917 -x4919 -x4920 -x4921 376.56/376.70 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 376.56/376.70 v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 376.56/376.70 v -x4960 -x4961 -x4962 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4975 -x4976 -x4977 -x4978 376.56/376.70 v -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4997 376.56/376.70 v -x4998 -x4999 -x5000 x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 376.56/376.70 v -x5016 -x5017 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 376.56/376.70 v -x5035 -x5036 -x5037 -x5038 -x5039 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5053 -x5054 376.56/376.70 v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 376.56/376.70 v -x5073 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 376.56/376.70 v -x5092 -x5093 -x5094 -x5095 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5108 -x5109 -x5110 376.56/376.70 v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 376.56/376.70 v -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 376.56/376.70 v -x5148 -x5149 -x5150 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5164 -x5165 -x5166 -x5167 376.56/376.70 v -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5186 376.56/376.70 v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 376.56/376.70 v -x5205 -x5206 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5219 -x5220 -x5221 -x5222 -x5223 376.56/376.70 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5241 -x5242 376.56/376.70 v -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 376.56/376.70 v -x5261 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 x5272 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 376.56/376.70 v -x5281 -x5282 -x5283 -x5284 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5297 -x5298 -x5299 376.56/376.70 v -x5300 -x5301 -x5302 -x5303 -x5304 x5305 -x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 376.56/376.70 v -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 376.56/376.70 v -x5337 -x5338 -x5339 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 376.56/376.70 v -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5374 376.56/376.70 v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 376.56/376.70 v -x19 -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 376.56/376.70 v -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 376.56/376.70 v -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 376.56/376.70 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 376.56/376.70 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 376.56/376.70 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 376.56/376.70 v -x174 -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 376.56/376.70 v -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 376.56/376.70 v -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 376.56/376.70 v -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 376.56/376.70 v -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 376.56/376.70 v -x290 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 376.56/376.70 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 376.56/376.70 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 376.56/376.70 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 376.56/376.70 v x384 -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 376.56/376.70 v -x407 -x408 -x409 -x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 376.56/376.70 v -x430 -x431 -x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 376.56/376.70 v -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 376.56/376.70 v -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 376.56/376.70 v -x500 -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 376.56/376.70 v -x523 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 376.56/376.70 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 376.56/376.70 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 376.56/376.70 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 376.56/376.70 v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 376.56/376.70 v -x640 -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 376.56/376.70 v -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 x686 376.56/376.70 v -x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 376.56/376.70 v -x710 -x711 -x712 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 376.56/376.70 v -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 376.56/376.70 v -x756 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 376.56/376.70 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 376.56/376.70 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 376.56/376.70 v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 376.56/376.70 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 376.56/376.70 v -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 376.56/376.70 v -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 376.56/376.70 v -x920 -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 -x941 -x942 376.56/376.70 v -x943 -x944 -x945 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 376.56/376.70 v -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 376.56/376.70 v -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 376.56/376.70 v -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 376.56/376.70 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 376.56/376.70 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 376.56/376.70 v -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 376.56/376.70 v -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 376.56/376.70 v -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 376.56/376.70 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 376.56/376.70 v -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 376.56/376.70 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 376.56/376.70 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 376.56/376.70 v -x1200 -x1201 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 376.56/376.70 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 376.56/376.70 v -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 376.56/376.70 v -x1257 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 376.56/376.70 v -x1276 -x1277 -x1278 x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 376.56/376.70 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 376.56/376.70 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 376.56/376.70 v -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 376.56/376.70 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1370 376.56/376.70 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 376.56/376.70 v -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 376.56/376.70 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 376.56/376.70 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 376.56/376.70 v -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 376.56/376.70 v -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 376.56/376.70 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 376.56/376.70 v -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 376.56/376.70 v -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 376.56/376.70 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 376.56/376.70 v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 376.56/376.70 v -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 376.56/376.70 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 376.56/376.70 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 376.56/376.70 v -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 376.56/376.70 v -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 376.56/376.70 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 376.56/376.70 v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 376.56/376.70 v -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 376.56/376.70 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 376.56/376.70 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 376.56/376.70 v -x1767 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 376.56/376.70 v -x1787 -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 376.56/376.70 v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 376.56/376.70 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 376.56/376.70 v -x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 376.56/376.70 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 376.56/376.70 v -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 376.56/376.70 v -x1901 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 376.56/376.70 v -x1920 -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1936 -x1937 -x1938 376.56/376.70 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 376.56/376.70 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 376.56/376.70 v -x1976 -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 376.56/376.70 v -x1995 x1996 -x1997 -x1998 x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2014 -x2015 376.56/376.70 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 376.56/376.70 v -x2034 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 376.56/376.70 v -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2069 -x2070 -x2071 -x2072 376.56/376.70 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2091 -x2092 376.56/376.70 v -x2093 -x2094 x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 376.56/376.70 v -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 x2128 x2129 -x2130 x2131 -x2132 376.56/376.70 v x2133 -x2134 -x2136 -x2137 -x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 376.56/376.70 v x2155 x2156 x2158 x2159 x2160 x2161 x2162 x2163 x2164 x2165 x2166 x2167 x2168 x2169 x2170 x2171 x2172 x2173 -x2174 -x2175 376.56/376.70 v -x2176 -x2177 x2178 -x2179 -x2180 x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 376.56/376.70 v -x2194 -x2641 -x2643 -x2644 -x2645 -x2640 -x2646 -x2647 -x2648 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2739 376.56/376.70 v -x2657 -x2658 -x2659 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2592 -x2670 -x2672 -x2673 -x2740 376.56/376.70 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2674 -x2675 x2676 -x2677 -x2678 -x2748 -x2750 -x2679 -x2680 -x2751 376.56/376.70 v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2681 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 376.56/376.70 v -x2691 -x2761 -x2692 -x2694 -x2695 -x2696 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2772 -x2773 376.56/376.70 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 376.56/376.70 v -x2792 -x2794 -x2795 -x2796 x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 376.56/376.70 v -x2811 -x2812 -x2813 -x2814 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2827 -x2828 -x2829 376.56/376.70 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 376.56/376.70 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 376.56/376.70 v -x2868 -x2869 -x2870 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2883 -x2884 -x2885 -x2886 376.56/376.70 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2905 376.56/376.70 v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 376.56/376.70 v -x2924 -x2925 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2938 -x2939 -x2940 -x2941 -x2942 376.56/376.70 v -x2943 -x2944 -x2945 -x2946 -x2947 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2961 -x2962 376.56/376.70 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 376.56/376.70 v -x2981 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 376.56/376.70 v -x3000 -x3001 -x3002 -x3003 -x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3016 -x3017 -x3018 376.56/376.70 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 376.56/376.70 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 376.56/376.70 v -x3056 -x3057 -x3058 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3072 -x3073 -x3074 -x3075 376.56/376.70 v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3094 376.56/376.70 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 376.56/376.70 v -x3113 -x3114 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3127 -x3128 -x3129 -x3130 -x3131 376.56/376.70 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3149 -x3150 376.56/376.70 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 376.56/376.70 v -x3169 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 376.56/376.70 v -x3189 -x3190 -x3191 -x3192 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3205 -x3206 -x3207 376.56/376.70 v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 376.56/376.70 v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 376.56/376.70 v -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3260 -x3261 -x3262 -x3263 376.56/376.70 v -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3283 376.56/376.70 v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 376.56/376.70 v -x3302 -x3303 x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3316 -x3317 -x3318 -x3319 -x3320 376.56/376.70 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3338 -x3339 376.56/376.70 v -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 376.56/376.70 v -x3358 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 376.56/376.70 v -x3377 x3378 -x3379 -x3380 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3395 -x3396 -x3397 376.56/376.70 v -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 376.56/376.70 v -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 376.56/376.70 v -x3435 -x3436 -x3437 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3450 -x3451 -x3452 -x3453 376.56/376.70 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3472 376.56/376.70 v -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 376.56/376.70 v -x3491 -x3492 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3506 -x3507 -x3508 -x3509 -x3510 376.56/376.70 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3528 -x3529 376.56/376.70 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 376.56/376.70 v -x3548 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 376.56/376.70 v -x3567 -x3568 -x3569 -x3570 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 376.56/376.70 v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 376.56/376.70 v -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 376.56/376.70 v -x3624 -x3625 -x3626 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x2195 -x2196 -x2197 x2198 -x2199 376.56/376.70 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 376.56/376.70 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x3637 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 376.56/376.70 v -x3648 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 376.56/376.70 v -x3667 -x3668 -x3669 -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3683 -x3684 -x3685 376.56/376.70 v -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 376.56/376.70 v -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 376.56/376.70 v -x3723 -x3724 -x3725 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3739 -x3740 -x3741 -x3742 376.56/376.70 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3761 376.56/376.70 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 376.56/376.70 v -x3780 -x3781 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3794 -x3795 -x3796 -x3797 -x3798 376.56/376.70 v -x3799 -x3800 -x3801 -x3802 -x3803 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3816 -x3817 376.56/376.70 v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 376.56/376.70 v -x3836 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 376.56/376.70 v -x3856 -x3857 -x3858 -x3859 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3872 -x3873 -x3874 376.56/376.70 v -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 376.56/376.70 v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 376.56/376.70 v -x3912 -x3913 -x3914 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3927 -x3928 -x3929 -x3930 376.56/376.70 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3950 376.56/376.70 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 376.56/376.70 v -x3969 -x3970 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3983 -x3984 -x3985 -x3986 -x3987 376.56/376.70 v -x3988 -x3989 -x3990 -x3991 -x3992 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4005 -x4006 376.56/376.70 v -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 376.56/376.70 v -x4025 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 376.56/376.70 v -x4044 -x4045 -x4046 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4061 -x4062 -x4063 376.56/376.70 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 376.56/376.70 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 376.56/376.70 v -x4101 -x4102 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4116 -x4117 -x4118 -x4119 376.56/376.70 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4138 376.56/376.70 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 376.56/376.70 v -x4157 -x4158 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4172 -x4173 -x4174 -x4175 -x4176 376.56/376.70 v -x4177 -x4178 -x4179 -x4180 -x4181 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4194 -x4195 376.56/376.70 v -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 376.56/376.70 v -x4214 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 376.56/376.70 v -x4233 -x4234 -x4235 -x4236 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4249 -x4250 -x4251 376.56/376.70 v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 376.56/376.70 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 376.56/376.70 v -x4290 -x4291 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4305 -x4306 -x4307 -x4308 376.56/376.70 v -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 -x4327 376.56/376.70 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 376.56/376.70 v -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4360 -x4361 -x4362 -x4363 -x4364 376.56/376.70 v -x4365 -x4366 -x4367 -x4368 -x4369 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 376.56/376.70 v -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 376.56/376.70 v -x4403 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 376.56/376.70 v x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4438 -x4439 -x4440 376.56/376.70 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 376.56/376.70 v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 376.56/376.70 v -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496 376.56/376.70 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4517 376.56/376.70 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 376.56/376.70 v -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4550 -x4551 -x4552 -x4553 -x4554 376.56/376.70 v -x4555 -x4556 -x4557 -x4558 -x4559 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4572 -x4573 376.56/376.70 v -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 376.56/376.70 v -x4592 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 376.56/376.70 v -x4611 -x4612 -x4613 -x4614 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4628 -x4629 -x4630 376.56/376.70 v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 376.56/376.70 v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 376.56/376.70 v -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4683 -x4684 -x4685 -x4686 376.56/376.70 v -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4705 376.56/376.70 v -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 376.56/376.70 v -x4724 -x4725 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4739 -x4740 -x4741 -x4742 -x4743 376.56/376.70 v -x4744 -x4745 -x4746 x4747 -x4748 -x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 x4758 -x4759 -x4761 -x4762 -x4763 376.56/376.70 v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 376.56/376.70 v -x4783 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 376.56/376.70 v -x4802 -x4803 -x4805 -x4806 -x4807 -x4808 x4809 -x4810 x4811 -x4812 -x4813 -x4814 x4816 -x4817 -x4818 -x4819 x4820 -x4821 376.56/376.70 v -x4822 -x4823 -x4824 -x4825 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 -x4836 -x4839 x4840 -x4841 -x4842 376.56/376.70 v -x4843 x4844 -x4845 -x4846 -x4847 x4848 -x4850 -x4851 -x4852 -x4853 -x4854 x4855 x4856 -x4857 -x4858 x4859 x4861 -x4862 376.56/376.70 v -x4863 -x4864 -x4865 -x4866 -x2225 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2238 -x2239 376.56/376.70 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 376.56/376.70 v -x2258 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 376.56/376.70 v -x2277 -x2278 -x2279 -x2280 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2295 -x2296 -x2297 376.56/376.70 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 376.56/376.70 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 376.56/376.70 v -x2335 -x2336 -x2337 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2350 -x2351 -x2352 -x2353 376.56/376.70 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2372 376.56/376.70 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 376.56/376.70 v -x2391 -x2392 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2406 -x2407 -x2408 -x2409 -x2410 376.56/376.70 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2428 -x2429 376.56/376.70 v -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 376.56/376.70 v -x2448 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 376.56/376.70 v -x2467 -x2468 -x2469 -x2470 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2483 -x2484 -x2485 376.56/376.70 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 376.56/376.70 v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 376.56/376.70 v -x2524 -x2525 -x2526 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2539 -x2540 -x2541 -x2542 376.56/376.70 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2561 376.56/376.70 v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 376.56/376.70 v -x2580 -x2581 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 376.56/376.70 v -x2600 -x2601 -x2602 -x2603 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2617 -x2618 -x2619 376.56/376.70 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 376.56/376.70 v -x2639 -x2642 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 376.56/376.70 v x2713 -x2714 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2728 -x2729 -x2730 -x2731 -x2732 376.56/376.70 v -x2733 -x2734 -x2735 -x2736 -x2737 376.56/376.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 376.56/376.70 c 19 51513 5951 66744 54731 144309557 51517 136 376.57 376.56/376.70 c Objective: -4010 376.56/376.70 s SATISFIABLE 376.56/376.70 c Total time: 376.567 s
OK -4010
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-432803-1177950026 -o ROOT/results/node13/solver-432803-1177950026 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432803-1177950026/instance-432803-1177950026.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.93 0.98 0.93 3/77 11072 /proc/meminfo: memFree=1453064/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=19756 CPUtime=0 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 242920453 20230144 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 4939 330 278 324 0 3957 0 [startup+0.015833 s] /proc/loadavg: 0.93 0.98 0.93 3/77 11072 /proc/meminfo: memFree=1453064/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=12248 CPUtime=0.01 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 424 0 0 0 1 0 0 0 18 0 1 0 242920453 12541952 394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 3062 394 287 324 0 2080 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12248 [startup+0.10185 s] /proc/loadavg: 0.93 0.98 0.93 3/77 11072 /proc/meminfo: memFree=1453064/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=5632 CPUtime=0.09 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 861 0 0 0 9 0 0 0 18 0 1 0 242920453 5767168 779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 1408 779 303 324 0 478 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5632 [startup+0.301892 s] /proc/loadavg: 0.93 0.98 0.93 3/77 11072 /proc/meminfo: memFree=1453064/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=5632 CPUtime=0.29 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 861 0 0 0 29 0 0 0 19 0 1 0 242920453 5767168 779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12313241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 1408 779 303 324 0 478 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5632 [startup+0.701977 s] /proc/loadavg: 0.93 0.98 0.93 3/77 11072 /proc/meminfo: memFree=1453064/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=5632 CPUtime=0.69 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 861 0 0 0 69 0 0 0 23 0 1 0 242920453 5767168 779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 1408 779 303 324 0 478 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5632 [startup+1.50115 s] /proc/loadavg: 0.93 0.98 0.93 2/78 11073 /proc/meminfo: memFree=1451008/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=5632 CPUtime=1.49 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 861 0 0 0 149 0 0 0 25 0 1 0 242920453 5767168 779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 1408 779 303 324 0 478 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5632 [startup+3.10149 s] /proc/loadavg: 0.93 0.98 0.93 2/78 11073 /proc/meminfo: memFree=1451008/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=5632 CPUtime=3.09 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 861 0 0 0 309 0 0 0 25 0 1 0 242920453 5767168 779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 1408 779 303 324 0 478 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5632 [startup+6.30117 s] /proc/loadavg: 0.93 0.98 0.93 2/78 11073 /proc/meminfo: memFree=1451008/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=5632 CPUtime=6.29 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 861 0 0 0 629 0 0 0 25 0 1 0 242920453 5767168 779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 1408 779 303 324 0 478 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5632 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.93 2/78 11073 /proc/meminfo: memFree=1442816/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=15956 CPUtime=12.69 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 3509 0 0 0 1267 2 0 0 25 0 1 0 242920453 16338944 3364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 3989 3364 310 324 0 3059 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15956 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.93 2/78 11073 /proc/meminfo: memFree=1334080/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=123912 CPUtime=25.48 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 30490 0 0 0 2536 12 0 0 25 0 1 0 242920453 126885888 30345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 30978 30345 310 324 0 30048 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 123912 [startup+51.1017 s] /proc/loadavg: 0.97 0.98 0.93 2/78 11073 /proc/meminfo: memFree=1160064/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=298884 CPUtime=51.07 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 74243 0 0 0 5078 29 0 0 25 0 1 0 242920453 306057216 74098 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 74721 74098 310 324 0 73791 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 298884 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.93 2/78 11073 /proc/meminfo: memFree=812800/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=643044 CPUtime=102.26 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 160266 0 0 0 10162 64 0 0 25 0 1 0 242920453 658477056 160121 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 160761 160121 310 324 0 159831 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 643044 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 11073 /proc/meminfo: memFree=556544/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=902460 CPUtime=162.23 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 225119 0 0 0 16133 90 0 0 25 0 1 0 242920453 924119040 224974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 225615 224974 310 324 0 224685 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 902460 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 11073 /proc/meminfo: memFree=351360/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=1103772 CPUtime=222.21 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 275456 0 0 0 22109 112 0 0 25 0 1 0 242920453 1130262528 275311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 275943 275311 310 324 0 275013 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1103772 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 11073 /proc/meminfo: memFree=91264/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=1368908 CPUtime=282.19 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 341740 0 0 0 28080 139 0 0 25 0 1 0 242920453 1401761792 341595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 342227 341595 310 324 0 341297 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 1368908 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 11073 /proc/meminfo: memFree=15296/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=1672668 CPUtime=342.16 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 417688 0 0 0 34044 172 0 0 25 0 1 0 242920453 1712812032 417543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 418167 417543 310 324 0 417237 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 1672668 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+376.701 s] /proc/loadavg: 1.06 1.00 0.93 2/78 11073 /proc/meminfo: memFree=15104/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=1843672 CPUtime=376.56 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194304 460423 0 0 0 37467 189 0 0 25 0 1 0 242920453 1887920128 460278 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11072/statm: 460918 460278 310 324 0 459988 0 Current children cumulated CPU time (s) 376.56 Current children cumulated vsize (KiB) 1843672 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+376.807 s] /proc/loadavg: 1.06 1.00 0.93 2/78 11073 /proc/meminfo: memFree=15104/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=0 CPUtime=376.66 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194308 460427 0 0 0 37467 199 0 0 17 0 1 0 242920453 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/11072/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 376.66 Current children cumulated vsize (KiB) 0 [startup+376.902 s] /proc/loadavg: 1.06 1.00 0.93 2/78 11073 /proc/meminfo: memFree=15104/2055920 swapFree=4159412/4192956 [pid=11072] ppid=11070 vsize=0 CPUtime=376.75 /proc/11072/stat : 11072 (bsolo3.0.17) R 11070 11072 10317 0 -1 4194308 460427 0 0 0 37467 208 0 0 18 0 1 0 242920453 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/11072/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 376.75 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 376.984 CPU time (s): 376.842 CPU user time (s): 374.673 CPU system time (s): 2.16867 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (KiB): 1843672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 374.673 system time used= 2.16867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460427 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= 16 involuntary context switches= 7789 runsolver used 0.334949 second user time and 0.844871 second system time The end
Begin job on node13 on Mon Apr 30 16:20:26 UTC 2007 IDJOB= 432803 IDBENCH= 1810 IDSOLVER= 199 FILE ID= node13/432803-1177950026 PBS_JOBID= 4727829 Free space on /tmp= 66558 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-mkc.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432803-1177950026/instance-432803-1177950026.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-432803-1177950026 -o ROOT/results/node13/solver-432803-1177950026 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432803-1177950026/instance-432803-1177950026.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 7ddc5796bc843f2bf9bc94a0b22fd8e4 RANDOM SEED= 157344780 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1453600 kB Buffers: 46068 kB Cached: 466244 kB SwapCached: 12852 kB Active: 365876 kB Inactive: 170548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1453600 kB SwapTotal: 4192956 kB SwapFree: 4159412 kB Dirty: 6800 kB Writeback: 0 kB Mapped: 31036 kB Slab: 51288 kB Committed_AS: 6963720 kB PageTables: 1876 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= 66558 MiB End job on node13 on Mon Apr 30 16:26:45 UTC 2007