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