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

OK	63488

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node5/watcher-433184-1177956033 -o ROOT/results/node5/solver-433184-1177956033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433184-1177956033/instance-433184-1177956033.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.89 0.98 0.95 3/77 29949
/proc/meminfo: memFree=1818496/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=12804 CPUtime=0
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271640953 13111296 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 3201 335 280 324 0 2004 0

[startup+0.057543 s]
/proc/loadavg: 0.89 0.98 0.95 3/77 29949
/proc/meminfo: memFree=1818496/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=5940 CPUtime=0.05
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 664 0 0 0 5 0 0 0 18 0 1 0 271640953 6082560 634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 1485 634 364 324 0 288 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5940

[startup+0.101547 s]
/proc/loadavg: 0.89 0.98 0.95 3/77 29949
/proc/meminfo: memFree=1818496/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=6208 CPUtime=0.09
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 825 0 0 0 9 0 0 0 18 0 1 0 271640953 6356992 795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 1552 795 436 324 0 355 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6208

[startup+0.30157 s]
/proc/loadavg: 0.89 0.98 0.95 3/77 29949
/proc/meminfo: memFree=1818496/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=8888 CPUtime=0.29
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 1937 0 0 0 28 1 0 0 19 0 1 0 271640953 9101312 1566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 2222 1566 306 324 0 1292 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8888

[startup+0.701615 s]
/proc/loadavg: 0.89 0.98 0.95 3/77 29949
/proc/meminfo: memFree=1818496/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=9288 CPUtime=0.69
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 2056 0 0 0 67 2 0 0 22 0 1 0 271640953 9510912 1685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8324958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 2322 1685 311 324 0 1392 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9288

[startup+1.50171 s]
/proc/loadavg: 0.89 0.98 0.95 2/78 29950
/proc/meminfo: memFree=1813048/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=9684 CPUtime=1.49
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 2146 0 0 0 147 2 0 0 25 0 1 0 271640953 9916416 1775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 2421 1775 311 324 0 1491 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9684

[startup+3.10189 s]
/proc/loadavg: 0.89 0.98 0.95 2/78 29950
/proc/meminfo: memFree=1812024/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=11796 CPUtime=3.09
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 2657 0 0 0 307 2 0 0 25 0 1 0 271640953 12079104 2286 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 2949 2286 311 324 0 2019 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11796

[startup+6.30125 s]
/proc/loadavg: 0.97 1.00 0.96 2/78 29950
/proc/meminfo: memFree=1807800/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=15568 CPUtime=6.29
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 3623 0 0 0 626 3 0 0 25 0 1 0 271640953 15941632 3252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 3892 3252 311 324 0 2962 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15568

[startup+12.702 s]
/proc/loadavg: 0.98 1.00 0.96 2/78 29950
/proc/meminfo: memFree=1795768/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=26728 CPUtime=12.68
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 6398 0 0 0 1264 4 0 0 25 0 1 0 271640953 27369472 6027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 6682 6027 311 324 0 5752 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26728

[startup+25.5014 s]
/proc/loadavg: 0.98 1.00 0.96 2/78 29950
/proc/meminfo: memFree=1737528/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=84928 CPUtime=25.49
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 20949 0 0 0 2538 11 0 0 25 0 1 0 271640953 86966272 20578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 21232 20578 311 324 0 20302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84928

[startup+51.1013 s]
/proc/loadavg: 0.99 1.00 0.96 2/84 30072
/proc/meminfo: memFree=1645384/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=176812 CPUtime=51
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 43946 0 0 0 5077 23 0 0 25 0 1 0 271640953 181055488 43575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 44203 43575 311 324 0 43273 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 176812

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=1510712/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=311004 CPUtime=102.14
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 77481 0 0 0 10174 40 0 0 25 0 1 0 271640953 318468096 77110 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 77751 77110 311 324 0 76821 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 311004

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=1372408/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=450156 CPUtime=162.12
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 112274 0 0 0 16154 58 0 0 25 0 1 0 271640953 460959744 111903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 112539 111903 311 324 0 111609 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 450156

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=1288888/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=532716 CPUtime=222.1
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 132909 0 0 0 22139 71 0 0 25 0 1 0 271640953 545501184 132538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 133179 132538 311 324 0 132249 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 532716

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=1140536/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=682724 CPUtime=282.09
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 170417 0 0 0 28119 90 0 0 25 0 1 0 271640953 699109376 170046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 170681 170046 311 324 0 169751 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 682724

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=1005112/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=815940 CPUtime=342.08
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 203719 0 0 0 34105 103 0 0 25 0 1 0 271640953 835522560 203348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 203985 203348 311 324 0 203055 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 815940

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=888504/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=933200 CPUtime=402.06
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 233019 0 0 0 40087 119 0 0 25 0 1 0 271640953 955596800 232648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 233300 232648 311 324 0 232370 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 933200

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=784120/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1036528 CPUtime=462.04
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 258847 0 0 0 46072 132 0 0 25 0 1 0 271640953 1061404672 258476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 259132 258476 311 324 0 258202 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 1036528

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=674104/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1147964 CPUtime=522.02
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 286706 0 0 0 52057 145 0 0 25 0 1 0 271640953 1175515136 286335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 286991 286335 311 324 0 286061 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 1147964

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=561720/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1258920 CPUtime=582.01
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 314457 0 0 0 58044 157 0 0 25 0 1 0 271640953 1289134080 314086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 314730 314086 311 324 0 313800 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 1258920

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=472504/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1346988 CPUtime=641.99
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 336489 0 0 0 64031 168 0 0 25 0 1 0 271640953 1379315712 336118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 336747 336118 311 324 0 335817 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 1346988

[startup+702.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=392696/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1427544 CPUtime=701.97
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 356603 0 0 0 70018 179 0 0 25 0 1 0 271640953 1461805056 356232 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 356886 356232 311 324 0 355956 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 1427544

[startup+762.306 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=306040/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1513440 CPUtime=761.95
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 378078 0 0 0 76007 188 0 0 25 0 1 0 271640953 1549762560 377707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 378360 377707 311 324 0 377430 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 1513440

[startup+822.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=225400/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1594888 CPUtime=821.94
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 398441 0 0 0 81997 197 0 0 25 0 1 0 271640953 1633165312 398070 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 398722 398070 311 324 0 397792 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 1594888

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=140856/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1678356 CPUtime=881.92
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 419308 0 0 0 87984 208 0 0 25 0 1 0 271640953 1718636544 418937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 419589 418937 311 324 0 418659 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 1678356

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/78 30148
/proc/meminfo: memFree=52024/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1767964 CPUtime=941.9
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 441717 0 0 0 93973 217 0 0 25 0 1 0 271640953 1810395136 441346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 441991 441351 311 324 0 441061 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1767964

[startup+1002.3 s]
/proc/loadavg: 1.07 1.01 0.96 2/78 30148
/proc/meminfo: memFree=16312/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1842640 CPUtime=1001.89
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 460391 0 0 0 99962 227 0 0 25 0 1 0 271640953 1886863360 460020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8324420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 460660 460020 311 324 0 459730 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 1842640



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1002.7 s]
/proc/loadavg: 1.07 1.01 0.96 2/78 30148
/proc/meminfo: memFree=15352/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=1843296 CPUtime=1002.29
/proc/29949/stat : 29949 (bsolo3.0.17) R 29947 29949 29886 0 -1 4194304 460543 0 0 0 100002 227 0 0 25 0 1 0 271640953 1887535104 460172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29949/statm: 460824 460172 311 324 0 459894 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 1843296

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1003 s]
/proc/loadavg: 1.07 1.01 0.96 2/78 30148
/proc/meminfo: memFree=15352/2055920 swapFree=4151596/4192956
[pid=29949] ppid=29947 vsize=0 CPUtime=1002.58
/proc/29949/stat : 29949 (bsolo3.0.17) D 29947 29949 29886 0 -1 4194308 460547 0 0 0 100002 256 0 0 25 0 1 0 271640953 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/29949/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1002.58
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1003
CPU time (s): 1002.59
CPU user time (s): 1000.03
CPU system time (s): 2.56261
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 1843296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1000.03
system time used= 2.56261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460547
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= 15
involuntary context switches= 1156

runsolver used 0.790879 second user time and 2.23366 second system time

The end

Begin job on node5 on Mon Apr 30 18:00:33 UTC 2007

IDJOB= 433184
IDBENCH= 2337
IDSOLVER= 199
FILE ID= node5/433184-1177956033

PBS_JOBID= 4727732

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433184-1177956033/instance-433184-1177956033.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-433184-1177956033 -o ROOT/results/node5/solver-433184-1177956033 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433184-1177956033/instance-433184-1177956033.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  5d09427ddf3dc39fc0331bd5827affb8

RANDOM SEED= 961609077

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1819032 kB
Buffers:         31536 kB
Cached:         116648 kB
SwapCached:       9372 kB
Active:          47272 kB
Inactive:       123520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1819032 kB
SwapTotal:     4192956 kB
SwapFree:      4151596 kB
Dirty:            7840 kB
Writeback:           0 kB
Mapped:          29636 kB
Slab:            51660 kB
Committed_AS:  9208828 kB
PageTables:       1720 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node5 on Mon Apr 30 18:17:18 UTC 2007