Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 360.601 | 360.657 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb |
| MD5SUM | b24b10929da03724a77e08494dd4be05 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2886748 |
| Best CPU time to get the best result obtained on this benchmark | 222.049 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 140608000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 5469285523 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 140608000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 5469285523 |
| Number of bits of the biggest sum of numbers | 33 |
| 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 SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3744113-1338801545.opb>
0.09/0.16 c original problem has 9765 variables (9765 bin, 0 int, 0 impl, 0 cont) and 21293 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.19/0.22 c presolving:
0.19/0.29 c (round 1) 1020 del vars, 634 del conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 0 upgd conss, 28590 impls, 1 clqs
0.39/0.42 c (round 2) 1020 del vars, 739 del conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 20551 upgd conss, 28590 impls, 1 clqs
1.29/1.38 c (round 3) 1020 del vars, 739 del conss, 60 chg bounds, 105 chg sides, 3255 chg coeffs, 20551 upgd conss, 1382670 impls, 1 clqs
1.49/1.55 c (round 4) 1020 del vars, 739 del conss, 60 chg bounds, 2835 chg sides, 16905 chg coeffs, 20551 upgd conss, 1382670 impls, 2730 clqs
1.69/1.71 c (round 5) 1020 del vars, 6199 del conss, 60 chg bounds, 8295 chg sides, 33285 chg coeffs, 20551 upgd conss, 1382670 impls, 5461 clqs
1.99/2.03 c (1.9s) probing: 116/8745 (1.3%) - 0 fixings, 0 aggregations, 5880 implications, 0 bound changes
1.99/2.03 c (1.9s) probing aborted: 100/100 successive totally useless probings
1.99/2.03 c presolving (6 rounds):
1.99/2.03 c 1020 deleted vars, 6199 deleted constraints, 60 tightened bounds, 0 added holes, 8295 changed sides, 33285 changed coefficients
1.99/2.03 c 1394430 implications, 5461 cliques
1.99/2.03 c presolved problem has 8745 variables (8745 bin, 0 int, 0 impl, 0 cont) and 23284 constraints
1.99/2.03 c 3300 constraints of type <knapsack>
1.99/2.03 c 13981 constraints of type <setppc>
1.99/2.03 c 3 constraints of type <linear>
1.99/2.03 c 6000 constraints of type <logicor>
1.99/2.03 c transformed objective value is always integral (scale: 1)
1.99/2.03 c Presolving Time: 1.82
1.99/2.03 c - non default parameters ----------------------------------------------------------------------
1.99/2.03 c # SCIP version 1.2.1.3
1.99/2.03 c
1.99/2.03 c # frequency for displaying node information lines
1.99/2.03 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.03 c display/freq = 10000
1.99/2.03 c
1.99/2.03 c # maximal time in seconds to run
1.99/2.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.03 c limits/time = 1789.84
1.99/2.03 c
1.99/2.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.03 c limits/memory = 13950
1.99/2.03 c
1.99/2.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.99/2.03 c # [type: int, range: [1,2], default: 1]
1.99/2.03 c timing/clocktype = 2
1.99/2.03 c
1.99/2.03 c # should presolving try to simplify inequalities
1.99/2.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.03 c constraints/linear/simplifyinequalities = TRUE
1.99/2.03 c
1.99/2.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.99/2.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.03 c constraints/indicator/addCouplingCons = TRUE
1.99/2.03 c
1.99/2.03 c # should presolving try to simplify knapsacks
1.99/2.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.03 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.03 c
1.99/2.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.99/2.03 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.03 c separating/rapidlearning/freq = 0
1.99/2.03 c
1.99/2.03 c -----------------------------------------------------------------------------------------------
1.99/2.03 c start solving
1.99/2.03 c
2.19/2.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.19/2.26 c 2.1s| 1 | 0 | 493 | - | 91M| 0 | 61 |8745 | 23k|8745 | 23k| 0 | 0 | 0 | 2.376108e+06 | -- | Inf
7.58/7.66 c 7.5s| 1 | 0 | 2520 | - | 92M| 0 | 43 |8745 | 23k|8745 | 23k| 15 | 0 | 0 | 2.436480e+06 | -- | Inf
8.89/8.98 c 8.8s| 1 | 0 | 2590 | - | 92M| 0 | 52 |8745 | 23k|8745 | 23k| 18 | 0 | 0 | 2.457908e+06 | -- | Inf
10.29/10.39 c 10.2s| 1 | 0 | 2727 | - | 92M| 0 | 49 |8745 | 23k|8745 | 23k| 20 | 0 | 0 | 2.478300e+06 | -- | Inf
11.89/11.93 c 11.8s| 1 | 0 | 2839 | - | 93M| 0 | 49 |8745 | 23k|8745 | 23k| 23 | 0 | 0 | 2.489660e+06 | -- | Inf
13.19/13.25 c 13.1s| 1 | 0 | 2887 | - | 93M| 0 | 47 |8745 | 23k|8745 | 23k| 24 | 0 | 0 | 2.491999e+06 | -- | Inf
14.98/15.01 c 14.8s| 1 | 0 | 2927 | - | 93M| 0 | 51 |8745 | 23k|8745 | 23k| 26 | 0 | 0 | 2.494701e+06 | -- | Inf
17.19/17.22 c 17.1s| 1 | 0 | 2980 | - | 94M| 0 | 47 |8745 | 23k|8745 | 23k| 29 | 0 | 0 | 2.497788e+06 | -- | Inf
19.69/19.72 c 19.6s| 1 | 0 | 3050 | - | 94M| 0 | 53 |8745 | 23k|8745 | 23k| 30 | 0 | 0 | 2.503213e+06 | -- | Inf
22.39/22.44 c 22.3s| 1 | 0 | 3129 | - | 94M| 0 | 59 |8745 | 23k|8745 | 23k| 32 | 0 | 0 | 2.505094e+06 | -- | Inf
25.19/25.21 c 25.0s| 1 | 0 | 3141 | - | 94M| 0 | 57 |8745 | 23k|8745 | 23k| 34 | 0 | 0 | 2.505899e+06 | -- | Inf
27.08/27.16 c 27.0s| 1 | 0 | 3207 | - | 94M| 0 | 56 |8745 | 23k|8745 | 23k| 35 | 0 | 0 | 2.507324e+06 | -- | Inf
28.49/28.58 c 28.4s| 1 | 0 | 3235 | - | 95M| 0 | 51 |8745 | 23k|8745 | 23k| 36 | 0 | 0 | 2.507958e+06 | -- | Inf
29.29/29.38 c 29.2s| 1 | 0 | 3423 | - | 95M| 0 | 50 |8745 | 23k|8745 | 23k| 39 | 0 | 0 | 2.514212e+06 | -- | Inf
30.19/30.20 c 30.0s| 1 | 0 | 3473 | - | 95M| 0 | 50 |8745 | 23k|8745 | 23k| 40 | 0 | 0 | 2.518776e+06 | -- | Inf
31.68/31.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.68/31.78 c 31.6s| 1 | 0 | 3654 | - | 95M| 0 | 63 |8745 | 23k|8745 | 23k| 41 | 0 | 0 | 2.522767e+06 | -- | Inf
33.38/33.44 c 33.3s| 1 | 0 | 3730 | - | 96M| 0 | 63 |8745 | 23k|8745 | 23k| 43 | 0 | 0 | 2.527666e+06 | -- | Inf
35.39/35.48 c 35.3s| 1 | 0 | 3731 | - | 96M| 0 | 63 |8745 | 23k|8745 | 23k| 44 | 0 | 0 | 2.527666e+06 | -- | Inf
43.79/43.84 c 43.7s| 1 | 2 | 3731 | - | 96M| 0 | 63 |8745 | 23k|8745 | 23k| 44 | 0 | 26 | 2.527666e+06 | -- | Inf
75.78/75.86 o 88499150
75.78/75.86 c *75.7s| 10 | 9 | 5885 | 239.3 | 96M| 9 | - |8745 | 23k|8745 | 23k| 44 | 0 | 203 | 2.535130e+06 | 8.849915e+07 |3390.91%
76.78/76.83 o 88352452
76.78/76.83 c z76.7s| 11 | 10 | 5922 | 219.1 | 97M| 9 | 1 |8745 | 23k|8745 | 23k| 44 | 0 | 222 | 2.535130e+06 | 8.835245e+07 |3385.12%
76.88/76.92 o 88198299
76.88/76.92 c *76.8s| 13 | 8 | 5942 | 184.2 | 97M| 10 | - |8745 | 23k|8745 | 23k| 44 | 0 | 222 | 2.535130e+06 | 8.819830e+07 |3379.04%
124.47/124.52 o 24007947
124.47/124.52 c z 124s| 25 | 19 | 8641 | 204.6 | 97M| 12 | 1 |8745 | 23k|8745 | 23k| 44 | 0 | 497 | 2.535936e+06 | 2.400795e+07 | 846.71%
128.07/128.16 o 4000904
128.07/128.16 c z 128s| 30 | 15 | 9159 | 187.2 | 97M| 12 | 3 |8745 | 23k|8745 | 23k| 44 | 0 | 516 | 2.535936e+06 | 4.000904e+06 | 57.77%
129.37/129.46 o 3899916
129.37/129.46 c z 129s| 44 | 19 | 9977 | 145.3 | 79M| 12 | 1 |8745 | 12k|8745 | 23k| 44 | 5 | 516 | 2.535936e+06 | 3.899916e+06 | 53.79%
129.57/129.64 o 3724578
129.57/129.64 c * 129s| 49 | 18 | 10033 | 131.3 | 79M| 13 | - |8745 | 12k|8745 | 23k| 44 | 5 | 516 | 2.535936e+06 | 3.724578e+06 | 46.87%
130.27/130.34 o 3642772
130.27/130.34 c * 130s| 60 | 23 | 10625 | 116.8 | 80M| 13 | - |8745 | 12k|8745 | 23k| 44 | 5 | 516 | 2.535936e+06 | 3.642772e+06 | 43.65%
132.08/132.16 o 3559240
132.08/132.16 c R 132s| 92 | 35 | 12177 | 92.8 | 81M| 15 | 13 |8745 | 12k|8745 | 23k| 44 | 10 | 516 | 2.535936e+06 | 3.559240e+06 | 40.35%
132.17/132.26 o 3425237
132.17/132.26 c * 132s| 95 | 36 | 12195 | 90.0 | 81M| 15 | - |8745 | 12k|8745 | 23k| 44 | 10 | 516 | 2.535936e+06 | 3.425237e+06 | 35.07%
135.06/135.17 o 3272991
135.06/135.17 c * 135s| 137 | 41 | 13506 | 71.9 | 78M| 15 | - |8745 | 11k|8745 | 23k| 44 | 30 | 536 | 2.535936e+06 | 3.272991e+06 | 29.06%
139.17/139.22 o 3071347
139.17/139.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.17/139.22 c z 139s| 202 | 41 | 15389 | 58.0 | 78M| 17 | 2 |8745 | 11k|8745 | 23k| 44 | 64 | 547 | 2.535936e+06 | 3.071347e+06 | 21.11%
142.67/142.76 o 2995750
142.67/142.76 c z 143s| 271 | 57 | 17557 | 51.2 | 78M| 22 | 1 |8745 | 10k|8745 | 23k| 44 | 83 | 557 | 2.535936e+06 | 2.995750e+06 | 18.13%
142.77/142.88 o 2977096
142.77/142.88 c * 143s| 275 | 51 | 17584 | 50.6 | 78M| 22 | - |8745 | 10k|8745 | 23k| 44 | 83 | 557 | 2.535936e+06 | 2.977096e+06 | 17.40%
145.97/146.00 o 2968804
145.97/146.00 c z 146s| 342 | 68 | 19016 | 44.8 | 78M| 31 | 1 |8745 | 10k|8745 | 23k| 44 | 92 | 568 | 2.535936e+06 | 2.968804e+06 | 17.07%
247.66/247.76 o 2953670
247.66/247.76 c * 248s| 2117 | 333 | 72245 | 32.4 | 90M| 39 | - |8745 | 10k|8745 | 23k| 44 | 811 |1098 | 2.604715e+06 | 2.953670e+06 | 13.40%
261.95/262.07 o 2906247
261.95/262.07 c * 262s| 2296 | 314 | 80226 | 33.3 | 90M| 41 | - |8745 | 10k|8745 | 23k| 44 | 866 |1197 | 2.610079e+06 | 2.906247e+06 | 11.35%
279.54/279.61 o 2889483
279.54/279.61 c * 279s| 2512 | 305 | 89521 | 34.2 | 90M| 41 | - |8745 | 10k|8745 | 23k| 44 |1045 |1311 | 2.626403e+06 | 2.889483e+06 | 10.02%
332.83/332.98 o 2886748
332.83/332.98 c * 333s| 3306 | 222 |116888 | 34.2 | 88M| 41 | - |8745 | 10k|8745 | 23k| 44 |1518 |1677 | 2.657505e+06 | 2.886748e+06 | 8.63%
360.44/360.54 c
360.44/360.54 c SCIP Status : problem is solved [optimal solution found]
360.44/360.54 c Solving Time (sec) : 360.37
360.44/360.54 c Solving Nodes : 3847
360.44/360.54 c Primal Bound : +2.88674800000000e+06 (40 solutions)
360.44/360.54 c Dual Bound : +2.88674800000000e+06
360.44/360.54 c Gap : 0.00 %
360.44/360.55 s OPTIMUM FOUND
360.44/360.55 v -x9165 -x9149 -x9133 -x9117 -x9101 -x9085 -x9294 -x9278 -x9262 -x9246 -x9230 -x9214 -x9198 -x9182 -x9166 -x4365 -x4364 -x4363 -x4362
360.44/360.55 v -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345
360.44/360.55 v -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327
360.44/360.55 v -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309
360.44/360.55 v -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473
360.44/360.55 v -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455
360.44/360.55 v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437
360.44/360.55 v -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419
360.44/360.55 v -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
360.44/360.55 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384
360.44/360.55 v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366
360.44/360.55 v -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166
360.44/360.55 v -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148
360.44/360.55 v -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130
360.44/360.55 v -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294
360.44/360.55 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
360.44/360.55 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
360.44/360.55 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
360.44/360.55 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
360.44/360.55 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
360.44/360.55 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
360.44/360.55 v -x4186 -x4185 -x4184 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
360.44/360.55 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
360.44/360.55 v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
360.44/360.55 v -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x4118 -x4117 -x4116
360.44/360.55 v -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098
360.44/360.55 v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080
360.44/360.55 v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
360.44/360.55 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
360.44/360.55 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027
360.44/360.55 v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009
360.44/360.55 v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809
360.44/360.55 v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791
360.44/360.55 v -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773
360.44/360.55 v -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755
360.44/360.55 v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919
360.44/360.55 v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902
360.44/360.55 v -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884
360.44/360.55 v -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866
360.44/360.55 v -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848
360.44/360.55 v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830
360.44/360.55 v -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630
360.44/360.55 v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612
360.44/360.55 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595
360.44/360.55 v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577
360.44/360.55 v -x3576 -x3575 -x3574 -x3573 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
360.44/360.55 v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723
360.44/360.55 v -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705
360.44/360.55 v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687
360.44/360.55 v -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669
360.44/360.55 v -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652
360.44/360.55 v -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3455 -x3454 -x3453 -x3452
360.44/360.55 v -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434
360.44/360.55 v -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416
360.44/360.55 v -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398
360.44/360.55 v -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562
360.44/360.55 v -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544
360.44/360.55 v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527
360.44/360.55 v -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509
360.44/360.55 v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491
360.44/360.55 v -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473
360.44/360.55 v -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x6016
360.44/360.55 v -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998
360.44/360.55 v -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980
360.44/360.55 v -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963
360.44/360.55 v -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945
360.44/360.55 v -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109
360.44/360.55 v -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
360.44/360.55 v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073
360.44/360.55 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055
360.44/360.55 v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037
360.44/360.55 v -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020
360.44/360.55 v -x6019 -x6018 -x6017 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820
360.44/360.55 v -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802
360.44/360.55 v -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784
360.44/360.55 v -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766
360.44/360.55 v -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930
360.44/360.55 v -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912
360.44/360.55 v -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895
360.44/360.55 v -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877
360.44/360.55 v -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859
360.44/360.55 v -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841
360.44/360.55 v -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641
360.44/360.55 v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623
360.44/360.55 v -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605
360.44/360.55 v -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588
360.44/360.55 v -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5756 -x5755 -x5754 -x5753 -x5752
360.44/360.55 v -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734
360.44/360.55 v -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716
360.44/360.55 v -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698
360.44/360.55 v -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680
360.44/360.55 v -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662
360.44/360.55 v -x5661 -x5660 -x5659 -x5658 -x5657 x5656 -x5655 -x5654 -x5653 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462
360.44/360.55 v -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445
360.44/360.55 v -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427
360.44/360.55 v -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409
360.44/360.55 v -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5574 -x5573
360.44/360.55 v -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555
360.44/360.55 v -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537
360.44/360.55 v -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519
360.44/360.55 v -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 x5504 -x5503 -x5502 -x5501
360.44/360.55 v -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484
360.44/360.55 v -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5288 -x5287 -x5286 -x5285 -x5284
360.44/360.55 v -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266
360.44/360.55 v -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248
360.44/360.55 v -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230
360.44/360.55 v -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212
360.44/360.55 v -x5211 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376
360.44/360.55 v -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359
360.44/360.55 v -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341
360.44/360.55 v -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323
360.44/360.55 v -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305
360.44/360.55 v -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5106 -x5105
360.44/360.55 v -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087
360.44/360.55 v -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069
360.44/360.55 v -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052
360.44/360.55 v -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034
360.44/360.55 v -x5033 -x5032 -x5031 -x5030 -x5029 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198
360.44/360.55 v -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180
360.44/360.55 v -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162
360.44/360.55 v -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144
360.44/360.55 v -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126
360.44/360.55 v -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109
360.44/360.55 v -x5108 -x5107 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909
360.44/360.55 v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
360.44/360.55 v -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873
360.44/360.55 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855
360.44/360.55 v -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019
360.44/360.55 v -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001
360.44/360.55 v -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 x4984 -x4983
360.44/360.55 v -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966
360.44/360.55 v -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948
360.44/360.55 v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930
360.44/360.55 v -x4929 -x4928 -x4927 -x4926 -x4925 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730
360.44/360.55 v -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712
360.44/360.55 v -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694
360.44/360.55 v -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676
360.44/360.55 v -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841
360.44/360.55 v -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823
360.44/360.55 v -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805
360.44/360.55 v -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787
360.44/360.55 v -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769
360.44/360.55 v -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751
360.44/360.55 v -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551
360.44/360.55 v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534
360.44/360.55 v -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516
360.44/360.55 v -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498
360.44/360.55 v -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4664 -x4663 -x4662
360.44/360.55 v -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644
360.44/360.55 v -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 x4629 -x4628 -x4627 -x4626
360.44/360.55 v -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608
360.44/360.55 v -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590
360.44/360.55 v -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573
360.44/360.55 v -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315
360.44/360.55 v -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297
360.44/360.55 v -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279
360.44/360.55 v -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261
360.44/360.55 v -x7260 -x7259 -x7258 -x7257 -x7256 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425
360.44/360.55 v -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407
360.44/360.55 v -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390
360.44/360.55 v -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372
360.44/360.55 v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354
360.44/360.55 v -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336
360.44/360.55 v -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7138 -x7137 -x7136
360.44/360.55 v -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118
360.44/360.55 v -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100
360.44/360.55 v -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083
360.44/360.55 v -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247
360.44/360.55 v -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229
360.44/360.55 v -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211
360.44/360.55 v -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193
360.44/360.55 v -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175
360.44/360.55 v -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157
360.44/360.55 v -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140
360.44/360.55 v -x7139 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940
360.44/360.55 v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922
360.44/360.55 v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904
360.44/360.55 v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068
360.44/360.55 v -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050
360.44/360.55 v -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032
360.44/360.55 v -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015
360.44/360.55 v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997
360.44/360.55 v -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979
360.44/360.55 v -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961
360.44/360.55 v -x6960 -x6959 -x6958 -x6957 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761
360.44/360.55 v -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743
360.44/360.55 v -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725
360.44/360.55 v -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6891 -x6890
360.44/360.55 v -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872
360.44/360.55 v -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854
360.44/360.55 v -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836
360.44/360.55 v -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818
360.44/360.55 v -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800
360.44/360.55 v -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782
360.44/360.55 v -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6592 -x6591 x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582
360.44/360.55 v -x6581 -x6580 -x6579 -x6578 x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564
360.44/360.55 v -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
360.44/360.55 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529
360.44/360.55 v -x6528 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693
360.44/360.55 v -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675
360.44/360.55 v -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657
360.44/360.55 v -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639
360.44/360.55 v -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621
360.44/360.55 v -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604
360.44/360.55 v -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404
360.44/360.55 v -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386
360.44/360.55 v -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368
360.44/360.55 v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350
360.44/360.55 v -x6349 -x6348 -x6347 -x6346 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514
360.44/360.55 v -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496
360.44/360.55 v -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479
360.44/360.55 v -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461
360.44/360.55 v -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443
360.44/360.55 v -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425
360.44/360.55 v -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x8971 -x8970 -x8969 -x8968
360.44/360.55 v -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8950
360.44/360.55 v -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943 -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932
360.44/360.55 v -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925 -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915
360.44/360.55 v -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907 -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897
360.44/360.55 v -x8896 -x8895 -x8894 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061
360.44/360.55 v -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052 -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043
360.44/360.55 v -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025
360.44/360.55 v -x9024 -x9023 -x9022 -x9021 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015 -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007
360.44/360.55 v -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989
360.44/360.55 v -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980 -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972
360.44/360.55 v -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772
360.44/360.55 v -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754
360.44/360.55 v -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736
360.44/360.55 v -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718
360.44/360.55 v -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8893 -x8892 -x8891 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882
360.44/360.55 v -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864
360.44/360.55 v -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847
360.44/360.55 v -x8846 -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829
360.44/360.55 v -x8828 -x8827 -x8826 -x8825 -x8824 -x8823 -x8822 -x8821 -x8820 -x8819 -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811
360.44/360.55 v -x8810 -x8809 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793
360.44/360.55 v -x8792 -x8791 -x8790 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 -x8601 -x8600 -x8599 -x8598 -x8597 -x8596 -x8595 -x8594 -x8593
360.44/360.55 v -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583 -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575
360.44/360.55 v -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557
360.44/360.55 v -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540
360.44/360.55 v -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8711 -x8710 -x8709 -x8708 -x8707 -x8706 -x8705 -x8704
360.44/360.55 v -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 -x8691 -x8690 -x8689 -x8688 -x8687 -x8686
360.44/360.55 v -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668
360.44/360.55 v -x8667 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 -x8654 -x8653 -x8652 -x8651 x8650
360.44/360.55 v -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 -x8637 -x8636 -x8635 -x8634 -x8633 -x8632
360.44/360.55 v -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 -x8619 -x8618 -x8617 -x8616 -x8615 -x8614
360.44/360.55 v -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414
360.44/360.55 v -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397
360.44/360.55 v -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 -x8383 -x8382 -x8381 -x8380 -x8379
360.44/360.55 v -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361
360.44/360.55 v -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8529 -x8528 -x8527 -x8526 -x8525
360.44/360.55 v -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 x8511 -x8510 -x8509 -x8508 -x8507
360.44/360.55 v -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 -x8490 -x8489
360.44/360.55 v -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471
360.44/360.55 v -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454 -x8453
360.44/360.55 v -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 -x8436
360.44/360.55 v -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236
360.44/360.55 v -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218
360.44/360.55 v -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200
360.44/360.55 v -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182
360.44/360.55 v -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8347 -x8346
360.44/360.55 v -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328
360.44/360.55 v -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8312 -x8311
360.44/360.55 v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293
360.44/360.55 v -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275
360.44/360.55 v -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257
360.44/360.55 v -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8061 -x8060 -x8059 -x8058 -x8057
360.44/360.55 v -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039
360.44/360.55 v -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021
360.44/360.55 v -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004
360.44/360.55 v -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986
360.44/360.55 v -x7985 -x7984 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150
360.44/360.55 v -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132
360.44/360.55 v -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114
360.44/360.55 v -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096
360.44/360.55 v -x8095 -x8094 -x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078
360.44/360.55 v -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x7879
360.44/360.55 v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861
360.44/360.55 v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843
360.44/360.55 v -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825
360.44/360.55 v -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807
360.44/360.55 v -x7806 -x7805 -x7804 -x7803 -x7802 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971
360.44/360.55 v -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953
360.44/360.55 v -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935
360.44/360.55 v -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918
360.44/360.55 v -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900
360.44/360.55 v -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882
360.44/360.55 v -x7881 -x7880 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682
360.44/360.55 v -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664
360.44/360.55 v -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646
360.44/360.55 v -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628
360.44/360.55 v -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793
360.44/360.55 v -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775
360.44/360.55 v -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757
360.44/360.55 v -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739
360.44/360.55 v -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721
360.44/360.55 v -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703
360.44/360.55 v -x7702 -x7701 -x7700 -x7699 -x7698 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503
360.44/360.55 v -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486
360.44/360.55 v -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468
360.44/360.55 v -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450
360.44/360.55 v -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614
360.44/360.55 v -x7613 -x7612 -x7611 x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596
360.44/360.55 v -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578
360.44/360.55 v -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560
360.44/360.55 v -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542
360.44/360.55 v -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525
360.44/360.55 v -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x9630 -x9614 -x9598 -x9582 -x9566 -x9550 -x9759 -x9743 -x9727
360.44/360.55 v -x9711 -x9695 -x9679 -x9663 -x9647 -x9631 -x6210 -x6194 -x6178 -x6162 -x6146 -x6130 -x6339 -x6323 -x6307 -x6291 -x6275 -x6259
360.44/360.55 v -x6243 -x6227 -x6211 -x9390 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217
360.44/360.55 v -x1216 -x9374 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x9358 -x750 -x749
360.44/360.55 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x9342 -x510 -x509 -x508 -x507 -x506 -x505 -x504
360.44/360.55 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x9326 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259
360.44/360.55 v -x258 -x257 -x256 -x9310 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x9519 -x3390 -x3389
360.44/360.55 v -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x9503 -x3150 -x3149 -x3148 -x3147
360.44/360.55 v -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x9487 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905
360.44/360.55 v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x9471 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663
360.44/360.55 v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x9455 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421
360.44/360.55 v -x2420 -x2419 -x2418 -x2417 -x2416 -x9439 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179
360.44/360.55 v -x2178 -x2177 -x2176 -x9423 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938
360.44/360.55 v -x1937 -x1936 -x9407 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696
360.44/360.55 v -x9391 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x15 -x14 -x13
360.44/360.55 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619
360.44/360.55 v -x9618 -x9617 -x9616 -x9615 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601 -x9600
360.44/360.55 v -x9599 -x9597 -x9596 -x9595 -x9594 -x9593 -x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9581
360.44/360.55 v x9580 -x9579 -x9578 -x9577 -x9576 x9575 -x9574 -x9573 x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9565 -x9564 -x9563 -x9562 -x9561
360.44/360.55 v -x9560 -x9559 -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 x9552 -x9551 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 x9542
360.44/360.55 v -x9541 -x9765 -x9764 -x9763 -x9762 -x9761 -x9760 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748
360.44/360.55 v -x9747 -x9746 -x9745 -x9744 -x9742 -x9741 -x9740 -x9739 -x9738 -x9737 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9730 -x9729
360.44/360.55 v -x9728 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719 -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9710
360.44/360.55 v -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 x9702 -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9694 -x9693 x9692 -x9691 -x9690
360.44/360.55 v -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 -x9683 -x9682 -x9681 -x9680 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672
360.44/360.55 v -x9671 -x9670 -x9669 -x9668 -x9667 -x9666 -x9665 -x9664 -x9662 -x9661 -x9660 -x9659 -x9658 x9657 -x9656 x9655 -x9654 -x9653 -x9652
360.44/360.55 v -x9651 x9650 -x9649 -x9648 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636 -x9635 -x9634 -x9633
360.44/360.55 v -x9632 -x9540 -x9539 -x9538 x9537 -x9536 x9535 -x9534 -x9533 -x9532 -x9531 x9530 -x9529 -x9528 -x9527 -x9526 -x9164 -x9163
360.44/360.55 v -x9162 -x9161 -x9160 -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9148 -x9147 -x9146 -x9145 -x9144
360.44/360.55 v -x9143 -x9142 -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125
360.44/360.55 v -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107
360.44/360.55 v -x9106 -x9105 -x9104 -x9103 -x9102 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9092 -x9091 -x9090 -x9089 -x9088
360.44/360.55 v -x9087 -x9086 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9293
360.44/360.55 v -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9277 -x9276 -x9275 -x9274
360.44/360.55 v -x9273 -x9272 -x9271 -x9270 -x9269 -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9261 -x9260 -x9259 -x9258 -x9257 x9256 -x9255
360.44/360.55 v -x9254 -x9253 -x9252 -x9251 -x9250 -x9249 -x9248 -x9247 -x9245 -x9244 x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236
360.44/360.55 v -x9235 -x9234 -x9233 -x9232 -x9231 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217
360.44/360.55 v -x9216 -x9215 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 x9201 -x9200 -x9199 -x9197
360.44/360.55 v -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9181 -x9180 -x9179 -x9178
360.44/360.55 v -x9177 -x9176 -x9175 -x9174 -x9173 x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209
360.44/360.55 v -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191
360.44/360.55 v -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
360.44/360.55 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156
360.44/360.55 v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1365 -x1364 -x1363
360.44/360.55 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
360.44/360.55 v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327
360.44/360.55 v -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309
360.44/360.55 v -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291
360.44/360.55 v -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274
360.44/360.55 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
360.44/360.55 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238
360.44/360.55 v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994
360.44/360.55 v -x993 -x992 -x991 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
360.44/360.55 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
360.44/360.55 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
360.44/360.55 v -x916 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124
360.44/360.55 v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106
360.44/360.55 v -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088
360.44/360.55 v -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070
360.44/360.55 v -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
360.44/360.55 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034
360.44/360.55 v -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017
360.44/360.55 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773
360.44/360.55 v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752
360.44/360.55 v -x751 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
360.44/360.55 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
360.44/360.55 v -x694 -x693 -x692 -x691 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899
360.44/360.55 v -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878
360.44/360.55 v -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858
360.44/360.55 v -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837
360.44/360.55 v -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816
360.44/360.55 v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795
360.44/360.55 v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x555 -x554 -x553 -x552 -x551 -x550 -x549
360.44/360.55 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528
360.44/360.55 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x495 x494 -x493 -x492
360.44/360.55 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
360.44/360.55 v -x470 -x469 -x468 -x467 -x466 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676
360.44/360.55 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
360.44/360.55 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
360.44/360.55 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613
360.44/360.55 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
360.44/360.55 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571
360.44/360.55 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x330 -x329 -x328 -x327 -x326
360.44/360.55 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
360.44/360.55 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
360.44/360.55 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
360.44/360.55 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
360.44/360.55 v -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
360.44/360.55 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
360.44/360.55 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
360.44/360.55 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369
360.44/360.55 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
360.44/360.55 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x105 -x104 -x103 -x102
360.44/360.55 v -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78
360.44/360.55 v -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53
360.44/360.55 v -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x240 -x239 -x238
360.44/360.55 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
360.44/360.55 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
360.44/360.55 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
360.44/360.55 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
360.44/360.55 v -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
360.44/360.55 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
360.44/360.55 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244
360.44/360.55 v -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226
360.44/360.55 v -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208
360.44/360.55 v -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190
360.44/360.55 v -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173
360.44/360.55 v -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365
360.44/360.55 v -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347
360.44/360.55 v -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329
360.44/360.55 v -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311
360.44/360.55 v -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293
360.44/360.55 v -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275
360.44/360.55 v -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258
360.44/360.55 v -x3257 -x3256 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015
360.44/360.55 v -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997
360.44/360.55 v -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979
360.44/360.55 v -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961
360.44/360.55 v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943
360.44/360.55 v -x2942 -x2941 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3135
360.44/360.55 v -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
360.44/360.55 v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
360.44/360.55 v -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082
360.44/360.55 v -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064
360.44/360.55 v -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046
360.44/360.55 v -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2805 -x2804 -x2803
360.44/360.55 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
360.44/360.55 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768
360.44/360.55 v -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750
360.44/360.55 v -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732
360.44/360.55 v -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2940 -x2939
360.44/360.55 v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921
360.44/360.55 v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888
360.44/360.55 v -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870
360.44/360.55 v -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853
360.44/360.55 v -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835
360.44/360.55 v -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
360.44/360.55 v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574
360.44/360.55 v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
360.44/360.55 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538
360.44/360.55 v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520
360.44/360.55 v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503
360.44/360.55 v -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710
360.44/360.55 v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692
360.44/360.55 v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674
360.44/360.55 v -x2673 -x2672 -x2671 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641
360.44/360.55 v -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623
360.44/360.55 v -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605
360.44/360.55 v -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588
360.44/360.55 v -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345
360.44/360.55 v -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327
360.44/360.55 v -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309
360.44/360.55 v -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291
360.44/360.55 v -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273
360.44/360.55 v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480
360.44/360.55 v -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463
360.44/360.55 v -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 x2449 -x2448 -x2447 -x2446 -x2445
360.44/360.55 v -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2415 -x2414 -x2413 -x2412
360.44/360.55 v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394
360.44/360.55 v -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376
360.44/360.55 v -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358
360.44/360.55 v -x2357 -x2356 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115
360.44/360.55 v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097
360.44/360.55 v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079
360.44/360.55 v -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062
360.44/360.55 v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044
360.44/360.55 v -x2043 -x2042 -x2041 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251
360.44/360.55 v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233
360.44/360.55 v -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215
360.44/360.55 v -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197
360.44/360.55 v -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164
360.44/360.55 v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147
360.44/360.55 v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x1905 -x1904
360.44/360.55 v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886
360.44/360.55 v -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
360.44/360.55 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850
360.44/360.55 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832
360.44/360.55 v -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x2040 -x2039
360.44/360.55 v -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022
360.44/360.55 v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004
360.44/360.55 v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986
360.44/360.55 v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968
360.44/360.55 v -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1935
360.44/360.55 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917
360.44/360.55 v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674
360.44/360.55 v -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657
360.44/360.55 v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639
360.44/360.55 v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621
360.44/360.55 v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603
360.44/360.55 v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810
360.44/360.55 v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792
360.44/360.55 v -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774
360.44/360.55 v -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757
360.44/360.55 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739
360.44/360.55 v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721
360.44/360.55 v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688
360.44/360.55 v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445
360.44/360.55 v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427
360.44/360.55 v -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409
360.44/360.55 v -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
360.44/360.55 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
360.44/360.55 v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581
360.44/360.55 v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563
360.44/360.55 v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545
360.44/360.55 v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527
360.44/360.55 v -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509
360.44/360.55 v -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
360.44/360.55 v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474
360.44/360.55 v -x1473 -x1472 -x1471 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195
360.44/360.55 v -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6177 -x6176 -x6175
360.44/360.55 v -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156
360.44/360.55 v -x6155 -x6154 -x6153 -x6152 -x6151 x6150 x6149 -x6148 -x6147 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137
360.44/360.55 v -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6345 -x6344 -x6343
360.44/360.55 v -x6342 -x6341 -x6340 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324
360.44/360.55 v -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6306 -x6305 x6304
360.44/360.55 v -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 x6293 -x6292 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285
360.44/360.55 v -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266
360.44/360.55 v -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6258 -x6257 -x6256 -x6255 -x6254 x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247
360.44/360.55 v -x6246 -x6245 -x6244 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229
360.44/360.55 v -x6228 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x9389 -x9388
360.44/360.55 v -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379 -x9378 -x9377 -x9376 -x9375 -x9373 -x9372 -x9371 -x9370 -x9369
360.44/360.55 v -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360 -x9359 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350
360.44/360.55 v -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 x9341 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331
360.44/360.55 v -x9330 -x9329 -x9328 x9327 -x9325 -x9324 -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312
360.44/360.55 v -x9311 -x9309 -x9308 -x9307 x9306 -x9305 -x9304 x9303 -x9302 -x9301 -x9525 -x9524 -x9523 -x9522 -x9521 -x9520 -x9518 -x9517
360.44/360.55 v -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505 -x9504 -x9502 -x9501 -x9500 -x9499 -x9498
360.44/360.55 v -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9486 x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479
360.44/360.55 v -x9478 -x9477 -x9476 x9475 -x9474 -x9473 -x9472 -x9470 -x9469 -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460
360.44/360.55 v -x9459 -x9458 x9457 -x9456 -x9454 -x9453 -x9452 x9451 -x9450 -x9449 -x9448 -x9447 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441
360.44/360.55 v -x9440 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 -x9431 x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9422 -x9421
360.44/360.55 v -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414 -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9406 -x9405 -x9404 -x9403 -x9402
360.44/360.55 v -x9401 -x9400 -x9399 -x9398 -x9397 -x9396 x9395 -x9394 -x9393 -x9392
360.44/360.55 c SCIP Status : problem is solved [optimal solution found]
360.44/360.55 c Solving Time : 360.37
360.44/360.55 c Original Problem :
360.44/360.55 c Problem name : HOME/instance-3744113-1338801545.opb
360.44/360.55 c Variables : 9765 (9765 binary, 0 integer, 0 implicit integer, 0 continuous)
360.44/360.55 c Constraints : 21293 initial, 21293 maximal
360.44/360.55 c Presolved Problem :
360.44/360.55 c Problem name : t_HOME/instance-3744113-1338801545.opb
360.44/360.55 c Variables : 8745 (8745 binary, 0 integer, 0 implicit integer, 0 continuous)
360.44/360.55 c Constraints : 23284 initial, 23284 maximal
360.44/360.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
360.44/360.55 c trivial : 0.00 0 0 0 0 0 0 0 0
360.44/360.55 c dualfix : 0.00 645 0 0 0 0 0 0 0
360.44/360.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
360.44/360.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
360.44/360.55 c implics : 0.00 0 0 0 0 0 0 0 0
360.44/360.55 c probing : 0.23 0 0 0 0 0 0 0 0
360.44/360.55 c knapsack : 1.23 0 0 0 0 0 2730 8190 32760
360.44/360.55 c setppc : 0.09 0 0 0 0 0 2730 0 0
360.44/360.55 c linear : 0.17 60 315 0 60 0 739 105 525
360.44/360.55 c logicor : 0.05 0 0 0 0 0 0 0 0
360.44/360.55 c root node : - 6183 - - 6183 - - - -
360.44/360.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
360.44/360.55 c integral : 0 0 0 2390 0 67 685 0 0 3972
360.44/360.55 c knapsack : 3300 18 22256 11 0 20 226318 34 0 0
360.44/360.55 c setppc : 13981 18 22225 11 0 50 339497 0 0 0
360.44/360.55 c linear : 3 18 22186 11 0 7 236 0 0 0
360.44/360.55 c logicor : 6000 18 15722 11 0 295 56017 0 0 0
360.44/360.55 c countsols : 0 0 0 11 0 0 0 0 0 0
360.44/360.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
360.44/360.55 c integral : 140.19 0.00 0.00 140.19 0.00
360.44/360.55 c knapsack : 4.10 0.09 4.01 0.00 0.00
360.44/360.55 c setppc : 1.85 0.03 1.82 0.00 0.00
360.44/360.55 c linear : 0.34 0.02 0.32 0.00 0.00
360.44/360.55 c logicor : 1.02 0.01 1.01 0.00 0.00
360.44/360.55 c countsols : 0.00 0.00 0.00 0.00 0.00
360.44/360.55 c Propagators : Time Calls Cutoffs DomReds
360.44/360.55 c vbounds : 0.02 2 0 0
360.44/360.55 c rootredcost : 0.03 19 0 207
360.44/360.55 c pseudoobj : 2.18 22132 38 415
360.44/360.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
360.44/360.55 c propagation : 0.06 409 406 2122 47.1 32 10.4 -
360.44/360.55 c infeasible LP : 0.04 16 16 92 60.1 1 2.0 0
360.44/360.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
360.44/360.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
360.44/360.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
360.44/360.55 c applied globally : - - - 1832 45.4 - - -
360.44/360.55 c applied locally : - - - 0 0.0 - - -
360.44/360.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
360.44/360.55 c cut pool : 0.01 17 - - 95 - (maximal pool size: 800)
360.44/360.55 c redcost : 2.10 4762 0 105441 0 0
360.44/360.55 c impliedbounds : 0.01 18 0 0 20 0
360.44/360.55 c intobj : 0.00 0 0 0 0 0
360.44/360.55 c cgmip : 0.00 0 0 0 0 0
360.44/360.55 c gomory : 9.20 18 0 0 7120 0
360.44/360.55 c strongcg : 10.88 18 0 0 4482 0
360.44/360.55 c cmir : 2.77 10 0 0 9 0
360.44/360.55 c flowcover : 6.80 10 0 0 20 0
360.44/360.55 c clique : 1.34 18 0 0 5 0
360.44/360.55 c zerohalf : 0.00 0 0 0 0 0
360.44/360.55 c mcf : 0.02 1 0 0 0 0
360.44/360.55 c rapidlearning : 0.00 0 0 0 0 0
360.44/360.55 c Pricers : Time Calls Vars
360.44/360.55 c problem variables: 0.00 0 0
360.44/360.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
360.44/360.55 c relpscost : 140.18 2379 67 685 0 0 3972
360.44/360.55 c pscost : 0.00 0 0 0 0 0 0
360.44/360.55 c inference : 0.00 0 0 0 0 0 0
360.44/360.55 c mostinf : 0.00 0 0 0 0 0 0
360.44/360.55 c leastinf : 0.00 0 0 0 0 0 0
360.44/360.55 c fullstrong : 0.00 0 0 0 0 0 0
360.44/360.55 c allfullstrong : 0.00 0 0 0 0 0 0
360.44/360.55 c random : 0.00 0 0 0 0 0 0
360.44/360.55 c Primal Heuristics : Time Calls Found
360.44/360.55 c LP solutions : 0.01 - 11
360.44/360.55 c pseudo solutions : 0.00 - 0
360.44/360.55 c oneopt : 0.10 19 0
360.44/360.55 c feaspump : 2.78 1 0
360.44/360.55 c pscostdiving : 0.40 7 0
360.44/360.55 c veclendiving : 0.91 7 0
360.44/360.55 c linesearchdiving : 0.23 7 0
360.44/360.55 c guideddiving : 0.36 7 0
360.44/360.55 c fracdiving : 0.34 7 0
360.44/360.55 c rootsoldiving : 1.98 4 3
360.44/360.55 c objpscostdiving : 0.17 4 0
360.44/360.55 c coefdiving : 0.39 8 0
360.44/360.55 c trivial : 0.01 2 0
360.44/360.55 c simplerounding : 0.01 0 0
360.44/360.55 c zirounding : 1.29 1051 21
360.44/360.55 c rounding : 2.48 2083 1
360.44/360.55 c shifting : 0.58 328 4
360.44/360.55 c intshifting : 0.00 0 0
360.44/360.55 c twoopt : 0.00 0 0
360.44/360.55 c fixandinfer : 0.00 0 0
360.44/360.55 c intdiving : 0.00 0 0
360.44/360.55 c actconsdiving : 0.00 0 0
360.44/360.55 c octane : 0.00 0 0
360.44/360.55 c rens : 0.19 1 0
360.44/360.55 c rins : 0.00 0 0
360.44/360.55 c localbranching : 0.00 0 0
360.44/360.55 c mutation : 0.00 0 0
360.44/360.55 c crossover : 0.71 5 0
360.44/360.55 c dins : 0.00 0 0
360.44/360.55 c undercover : 0.00 0 0
360.44/360.55 c nlp : 0.00 0 0
360.44/360.55 c trysol : 0.01 0 0
360.44/360.55 c LP : Time Calls Iterations Iter/call Iter/sec
360.44/360.55 c primal LP : 0.02 0 0 0.00 0.00
360.44/360.55 c dual LP : 131.39 4350 125171 28.77 952.70
360.44/360.55 c lex dual LP : 0.00 0 0 0.00 -
360.44/360.55 c barrier LP : 0.00 0 0 0.00 -
360.44/360.55 c diving/probing LP: 6.78 174 5455 31.35 804.78
360.44/360.55 c strong branching : 140.09 1824 165457 90.71 1181.09
360.44/360.55 c (at root node) : - 26 8091 311.19 -
360.44/360.55 c conflict analysis: 0.00 0 0 0.00 -
360.44/360.55 c B&B Tree :
360.44/360.55 c number of runs : 1
360.44/360.55 c nodes : 3847
360.44/360.55 c nodes (total) : 3847
360.44/360.55 c nodes left : 0
360.44/360.55 c max depth : 41
360.44/360.55 c max depth (total): 41
360.44/360.55 c backtracks : 753 (19.6%)
360.44/360.55 c delayed cutoffs : 26
360.44/360.55 c repropagations : 1733 (20372 domain reductions, 16 cutoffs)
360.44/360.55 c avg switch length: 5.33
360.44/360.55 c switching time : 5.12
360.44/360.55 c Solution :
360.44/360.55 c Solutions found : 40 (19 improvements)
360.44/360.55 c First Solution : +8.84991500000000e+07 (in run 1, after 10 nodes, 75.70 seconds, depth 9, found by <relaxation>)
360.44/360.55 c Primal Bound : +2.88674800000000e+06 (in run 1, after 3306 nodes, 332.82 seconds, depth 9, found by <relaxation>)
360.44/360.55 c Dual Bound : +2.88674800000000e+06
360.44/360.55 c Gap : 0.00 %
360.44/360.55 c Root Dual Bound : +2.52766560714286e+06
360.44/360.55 c Root Iterations : 3731
360.54/360.65 c Time complete: 360.59.
OK 2886748
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744113-1338801545/watcher-3744113-1338801545 -o /tmp/evaluation-result-3744113-1338801545/solver-3744113-1338801545 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744113-1338801545.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13975 /proc/meminfo: memFree=25719096/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=7916 CPUtime=0 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 1245 0 0 0 0 0 0 0 20 0 1 0 346279924 8105984 1192 33554432000 4194304 8395647 140733647052384 140736129000280 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 1979 1192 370 1026 0 949 0 [startup+0.105662 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13975 /proc/meminfo: memFree=25719096/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=21936 CPUtime=0.09 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 4766 0 0 0 9 0 0 0 20 0 1 0 346279924 22462464 4712 33554432000 4194304 8395647 140733647052384 140733646984520 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 5484 4712 393 1026 0 4454 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21936 [startup+0.200356 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13975 /proc/meminfo: memFree=25719096/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=49684 CPUtime=0.19 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 11985 0 0 0 17 2 0 0 20 0 1 0 346279924 50876416 11578 33554432000 4194304 8395647 140733647052384 140733646984520 7355228 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 12421 11608 420 1026 0 11391 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 49684 [startup+0.300389 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13975 /proc/meminfo: memFree=25719096/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=62032 CPUtime=0.29 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 14778 0 0 0 27 2 0 0 20 0 1 0 346279924 63520768 14370 33554432000 4194304 8395647 140733647052384 140733646984520 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 15508 14370 474 1026 0 14478 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 62032 [startup+0.700348 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13975 /proc/meminfo: memFree=25719096/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=101836 CPUtime=0.69 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 24994 0 0 0 65 4 0 0 20 0 1 0 346279924 104280064 24343 33554432000 4194304 8395647 140733647052384 140733647046616 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 25459 24343 495 1026 0 24429 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 101836 [startup+1.50036 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13976 /proc/meminfo: memFree=25589732/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=157700 CPUtime=1.49 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 38986 0 0 0 143 6 0 0 20 0 1 0 346279924 161484800 38335 33554432000 4194304 8395647 140733647052384 140733647048184 4684118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 39425 38335 498 1026 0 38395 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 157700 [startup+3.10029 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13976 /proc/meminfo: memFree=25536160/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=197416 CPUtime=3.09 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 47682 0 0 0 301 8 0 0 20 0 1 0 346279924 202153984 47374 33554432000 4194304 8395647 140733647052384 140733647046904 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 49354 47374 589 1026 0 48324 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 197416 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13976 /proc/meminfo: memFree=25532316/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=193628 CPUtime=6.29 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 48732 0 0 0 621 8 0 0 20 0 1 0 346279924 198275072 47175 33554432000 4194304 8395647 140733647052384 140733647047672 5792805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 48407 47175 612 1026 0 47377 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 193628 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13976 /proc/meminfo: memFree=25515020/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=212504 CPUtime=12.69 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 51500 0 0 0 1260 9 0 0 20 0 1 0 346279924 217604096 51444 33554432000 4194304 8395647 140733647052384 140733647047672 5849682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 53126 51444 624 1026 0 52096 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 212504 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13976 /proc/meminfo: memFree=25499700/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=228472 CPUtime=25.49 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 54910 0 0 0 2538 11 0 0 20 0 1 0 346279924 233955328 55364 33554432000 4194304 8395647 140733647052384 140733647047624 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 57118 55364 624 1026 0 56088 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 228472 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13976 /proc/meminfo: memFree=25486816/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=239760 CPUtime=51.08 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 66887 0 0 0 5088 20 0 0 20 0 1 0 346279924 245514240 58542 33554432000 4194304 8395647 140733647052384 140733647046984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 59940 58542 637 1026 0 58910 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 239760 [startup+102.3 s] /proc/loadavg: 2.05 2.01 2.00 3/180 13980 /proc/meminfo: memFree=25486356/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=239760 CPUtime=102.28 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 66916 0 0 0 10199 29 0 0 20 0 1 0 346279924 245514240 58571 33554432000 4194304 8395647 140733647052384 140733647046936 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 59940 58571 638 1026 0 58910 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 239760 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13980 /proc/meminfo: memFree=25481068/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=246976 CPUtime=162.27 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 73487 0 0 0 16181 46 0 0 20 0 1 0 346279924 252903424 60016 33554432000 4194304 8395647 140733647052384 140733647047256 6120558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 61744 60016 643 1026 0 60714 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 246976 [startup+222.307 s] /proc/loadavg: 2.07 2.02 2.00 3/179 13980 /proc/meminfo: memFree=25470680/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=257288 CPUtime=222.27 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 88468 0 0 0 22164 63 0 0 20 0 1 0 346279924 263462912 62588 33554432000 4194304 8395647 140733647052384 140733647047784 6723849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 64322 62588 643 1026 0 63292 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 257288 [startup+282.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13980 /proc/meminfo: memFree=25462896/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=264416 CPUtime=282.25 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 115325 0 0 0 28143 82 0 0 20 0 1 0 346279924 270761984 64460 33554432000 4194304 8395647 140733647052384 140733647047848 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 66104 64460 644 1026 0 65074 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 264416 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13980 /proc/meminfo: memFree=25438672/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=270676 CPUtime=342.23 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 116957 0 0 0 34130 93 0 0 20 0 1 0 346279924 277172224 66092 33554432000 4194304 8395647 140733647052384 140733647047512 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 67669 66092 644 1026 0 66639 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 270676 Solver just ended. Dumping a history of the last processes samples [startup+345.6 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13980 /proc/meminfo: memFree=25438548/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=270676 CPUtime=345.53 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 117002 0 0 0 34459 94 0 0 20 0 1 0 346279924 277172224 66137 33554432000 4194304 8395647 140733647052384 140733647047592 6574271 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 67669 66137 644 1026 0 66639 0 Current children cumulated CPU time (s) 345.53 Current children cumulated vsize (KiB) 270676 [startup+352 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13980 /proc/meminfo: memFree=25438036/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=271888 CPUtime=351.95 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 117134 0 0 0 35099 96 0 0 20 0 1 0 346279924 278413312 66269 33554432000 4194304 8395647 140733647052384 140733647047992 6721235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 67972 66269 644 1026 0 66942 0 Current children cumulated CPU time (s) 351.95 Current children cumulated vsize (KiB) 271888 [startup+355.2 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13980 /proc/meminfo: memFree=25437788/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=271888 CPUtime=355.14 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 117230 0 0 0 35417 97 0 0 20 0 1 0 346279924 278413312 66365 33554432000 4194304 8395647 140733647052384 140733647047512 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 67972 66365 644 1026 0 66942 0 Current children cumulated CPU time (s) 355.14 Current children cumulated vsize (KiB) 271888 [startup+358.4 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13980 /proc/meminfo: memFree=25437292/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=272036 CPUtime=358.33 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 117311 0 0 0 35736 97 0 0 20 0 1 0 346279924 278564864 66446 33554432000 4194304 8395647 140733647052384 140733647047512 6120558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 68009 66446 644 1026 0 66979 0 Current children cumulated CPU time (s) 358.33 Current children cumulated vsize (KiB) 272036 [startup+360 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13980 /proc/meminfo: memFree=25437152/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=272328 CPUtime=359.94 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 117366 0 0 0 35896 98 0 0 20 0 1 0 346279924 278863872 66501 33554432000 4194304 8395647 140733647052384 140733647047848 5614817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 68082 66501 644 1026 0 67052 0 Current children cumulated CPU time (s) 359.94 Current children cumulated vsize (KiB) 272328 [startup+360.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13980 /proc/meminfo: memFree=25437152/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=286800 CPUtime=360.33 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 120993 0 0 0 35935 98 0 0 20 0 1 0 346279924 293683200 70130 33554432000 4194304 8395647 140733647052384 140733647047848 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 71700 70168 644 1026 0 70670 0 Current children cumulated CPU time (s) 360.33 Current children cumulated vsize (KiB) 286800 [startup+360.6 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13980 /proc/meminfo: memFree=25437152/32873844 swapFree=7124/7124 [pid=13975] ppid=13973 vsize=265692 CPUtime=360.54 cores=1,3,5,7 /proc/13975/stat : 13975 (pbscip.linux.x8) R 13973 13975 12290 0 -1 4202496 122446 0 0 0 35955 99 0 0 20 0 1 0 346279924 272068608 64541 33554432000 4194304 8395647 140733647052384 140733647048216 4908307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13975/statm: 66423 64541 646 1026 0 65393 0 Current children cumulated CPU time (s) 360.54 Current children cumulated vsize (KiB) 265692 Child status: 0 Real time (s): 360.657 CPU time (s): 360.601 CPU user time (s): 359.585 CPU system time (s): 1.01584 CPU usage (%): 99.9847 Max. virtual memory (cumulated for all children) (KiB): 310396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 359.585 system time used= 1.01585 maximum resident set size= 303652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 122449 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= 4 involuntary context switches= 373 runsolver used 0.592909 second user time and 1.72174 second system time The end
Begin job on node134 at 2012-06-04 11:19:05 IDJOB=3744113 IDBENCH=92690 IDSOLVER=2326 FILE ID=node134/3744113-1338801545 RUNJOBID= node134-1338773738-12307 PBS_JOBID= 14636824 Free space on /tmp= 70336 MiB SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_6_mh_ic.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744113-1338801545/watcher-3744113-1338801545 -o /tmp/evaluation-result-3744113-1338801545/solver-3744113-1338801545 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744113-1338801545.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b24b10929da03724a77e08494dd4be05 RANDOM SEED=1931900426 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25719360 kB Buffers: 512232 kB Cached: 3519044 kB SwapCached: 76 kB Active: 4034832 kB Inactive: 2212560 kB Active(anon): 2207604 kB Inactive(anon): 10496 kB Active(file): 1827228 kB Inactive(file): 2202064 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67107756 kB Dirty: 10900 kB Writeback: 0 kB AnonPages: 2451700 kB Mapped: 13832 kB Shmem: 96 kB Slab: 763292 kB SReclaimable: 204972 kB SUnreclaim: 558320 kB KernelStack: 1488 kB PageTables: 8204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2370704 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 1302528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70328 MiB End job on node134 at 2012-06-04 11:25:06