Trace number 3495641

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OptimuS x100_sourceUNSAT 1343.31 1343.29

General information on the benchmark

Namemus/marques-silva/
hardware-verification/f7.cnf
MD5SUM48d0f0c394fba9d685dfba1c80891fc1
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1343.31
Satisfiable
(Un)Satisfiability was proved
Number of variables53165
Number of clauses158182
Sum of the clauses size369090
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2105454
Number of clauses of size 352727
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

1343.21/1343.25	c - Reading the instance.. OK! Totally clauses:   158182; Vars:    53165; Time: 0.12
1343.21/1343.25	c - Unit propagation..     OK! Removed clauses:        5;                 Time: 0.00
1343.21/1343.25	c - Delete by resolution.. OK! Removed clauses:      554;                 Time: 1.84
1343.21/1343.25	c   - Solving the original instance..
1343.21/1343.25	c     - yet UNKNOWN! Continue to clause elimination..
1343.21/1343.25	c   - round:    1;   Skips in previous round:    0
1343.21/1343.25	c     - clauses done:  1%; among them skipped: 8.28%;
1343.21/1343.25	c     - clauses done: 10%; among them skipped: 1.53%;
1343.21/1343.25	c   - round:    2;   Skips in previous round:  242
1343.21/1343.25	c     - clauses done:  1%; among them skipped: 0.00%;
1343.21/1343.25	c     - clauses done: 10%; among them skipped: 0.00%;
1343.21/1343.25	c - Finish! Unsat core size: 22812 / 158182; Time: 1336.90 s
1343.21/1343.25	c - ---------------------------------------------------------------------------
1343.21/1343.25	c - Statistics: |    unit   |    BCE    | sat-saved | sat-check | unsat-check |
1343.21/1343.25	c -             |       5   |  124407   |   15123   |    7689   |   10958     |
1343.21/1343.25	c - ---------------------------------------------------------------------------
1343.21/1343.25	s UNSATISFIABLE
1343.21/1343.25	v 163 167 170 171 181 182 433 448 452 455 456 898 1198 1203 1204 1205 1228 1242 1245 1248 1251 1263 1266 1269 1272 1273 1279 1283 1287 1297 1298 1302 1303 1304 1308 2236 2241 2242 2243 2278 2290 2295 2298 2301 2304 2325 2328 2331 2334 2353 2359 2363 2367 2377 2378 2382 2383 2384 2388 2470 2471 2472 2473 2475 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2489 2491 2492 2494 2498 2500 2505 2506 2507 2509 2513 2514 2516 2517 2519 2520 2522 2523 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2545 2549 2550 2552 2553 2555 2556 2558 2559 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2581 2585 2586 2588 2589 2591 2592 2594 2595 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2617 2621 2622 2624 2625 2627 2628 2630 2631 2641 2642 2643 2644 2645 2646 2647 2648 2649 2650 2653 2657 2658 2660 2661 2663 2664 2666 2667 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2689 2693 2694 2696 2697 2699 2700 2702 2703 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727 2728 2729 2730 2731 2732 2733 2734 2735 2736 2737 2740 2744 2745 2747 2748 2750 2751 2753 2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764 2767 2771 2772 2774 2775 2777 2778 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2794 2798 2799 2801 2802 2804 2805 2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817 2818 2821 2825 2826 2828 2829 2831 2832 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844 2845 2848 2852 2853 2855 2856 2858 2859 2861 2862 2863 2864 2865 2866 2867 2868 2869 2870 2871 2872 2875 2879 2880 2882 2883 2885 2886 2888 2889 2890 2891 2892 2893 2894 2895 2896 2897 2898 2899 2900 2901 2902 2903 2904 2905 2906 2907 2908 2909 2910 2911 2912 2913 2914 2915 2916 2917 2918 2919 2920 2923 2924 2925 2926 2927 2928 2930 2931 2932 2933 2934 2935 2936 2937 2938 2939 2940 2941 2942 2943 2944 2945 2946 2948 2952 2954 2957 2960 2962 2963 2964 2965 2966 2967 2968 2969 2970 2971 2972 2973 2974 2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989 2990 2991 2992 2993 2994 2995 2996 2997 2998 2999 3000 3001 3002 3003 3004 3005 3006 3007 3008 3009 3010 3011 3012 3013 3014 3015 3016 3017 3018 3019 3020 3021 3022 3023 3024 3025 3026 3027 3028 3029 3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047 3048 3049 3050 3051 3052 3053 3054 3055 3056 3057 3058 3059 3060 3061 3062 3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247 3248 3249 3250 3251 3252 3253 3254 3255 3256 3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328 3329 3330 3331 3332 3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385 3386 3387 3388 3389 3390 3391 3392 3393 3394 3395 3396 3397 3398 3399 3400 3401 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420 3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3446 3447 3448 3449 3450 3451 3452 3453 3454 3455 3456 3457 3458 3459 3460 3461 3462 3463 3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3506 3507 3508 3509 3510 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542 3543 3544 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 3556 3557 3558 3559 3560 3561 3562 3563 3564 3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626 3627 3628 3629 3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3652 3653 3654 3655 3656 3657 3658 3659 3660 3661 3662 3663 3664 3665 3666 3667 3668 3669 3670 3671 3672 3673 3674 3675 3685 3686 3687 3688 3689 3690 3691 3692 3693 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707 3708 3709 3710 3711 3712 3713 3714 3724 3725 3726 3727 3728 3729 3730 3731 3732 3733 3734 3735 3736 3737 3738 3739 3740 3741 3742 3743 3744 3745 3746 3747 3748 3749 3750 3760 3761 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774 3775 3776 3777 3787 3788 3789 3790 3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802 3803 3804 3805 3806 3807 3808 3809 3810 3811 3812 3813 3814 3815 3816 3817 3818 3819 3820 3821 3822 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3877 3878 3879 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911 3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940 3941 3942 3943 3944 3945 3946 3947 3948 3949 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 3961 3962 3963 3964 3965 3966 3967 3968 3969 3970 3971 3972 3973 3974 3975 3976 3977 3978 3979 3980 3981 3982 3983 3984 3985 3986 3987 3988 3989 3990 3991 3992 3993 3994 3995 3996 3997 3998 3999 4000 4001 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019 4020 4021 4022 4023 4024 4025 4026 4027 4028 4029 4030 4031 4032 4033 4034 4035 4036 4037 4038 4039 4040 4041 4042 4043 4044 4045 4046 4047 4048 4049 4050 4051 4052 4053 4054 4055 4056 4057 4058 4059 4060 4061 4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072 4073 4074 4075 4076 4077 4078 4079 4080 4081 4082 4083 4084 4085 4086 4087 4088 4089 4090 4091 4092 4093 4094 4095 4096 4097 4098 4099 4100 4101 4102 4103 4104 4105 4106 4107 4108 4109 4110 4111 4112 4113 4114 4115 4116 4117 4118 4119 4120 4121 4122 4123 4124 4125 4126 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136 4137 4138 4139 4140 4141 4142 4143 4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 4154 4155 4156 4157 4158 4159 4160 4161 4162 4163 4164 4165 4166 4167 4168 4169 4170 4171 4172 4173 4174 4175 4176 4177 4178 4179 4180 4181 4182 4183 4184 4185 4186 4187 4188 4189 4190 4191 4192 4193 4194 4195 4196 4197 4198 4199 4200 4201 4202 4203 4204 4205 4206 4207 4208 4209 4210 4211 4212 4213 4214 4215 4216 4217 4218 4219 4220 4221 4222 4223 4224 4225 4226 4227 4228 4229 4230 4231 4232 4233 4234 4235 4236 4237 4238 4239 4240 4241 4242 4243 4244 4245 4246 4247 4248 4249 4250 4251 4252 4253 4254 4255 4256 4257 4258 4259 4260 4261 4262 4263 4264 4265 4266 4267 4268 4269 4270 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280 4281 4282 4283 4284 4285 4286 4287 4288 4289 4290 4291 4292 4293 4294 4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311 4312 4313 4314 4315 4316 4317 4318 4319 4320 4321 4322 4323 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 4334 4335 4336 4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348 4349 4350 4351 4352 4353 4354 4355 4356 4357 4358 4359 4360 4361 4362 4363 4364 4365 4366 4367 4368 4369 4370 4371 4372 4373 4374 4375 4376 4377 4378 4379 4380 4381 4382 4383 4384 4385 4386 4387 4388 4389 4390 4391 4392 4393 4394 4395 4396 4397 4398 4399 4400 4401 4402 4403 4404 4405 4406 4407 4408 4409 4410 4411 4412 4413 4414 4415 4416 4417 4418 4419 4420 4421 4422 4423 4424 4425 4426 4427 4428 4429 4430 4431 4432 4433 4434 4435 4436 4437 4438 4439 4440 4441 4442 4443 4444 4445 4446 4447 4448 4449 4450 4451 4452 4453 4454 4455 4456 4457 4458 4459 4460 4461 4462 4463 4464 4465 4466 4467 4468 4469 4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 4485 4486 4487 4488 4489 4490 4491 4492 4493 4494 4495 4496 4497 4498 4499 4500 4501 4502 4503 4504 4505 4506 4507 4508 4509 4510 4511 4512 4513 4514 4515 4516 4517 4518 4519 4520 4521 4522 4523 4524 4525 4526 4527 4528 4529 4530 4531 4532 4533 4534 4535 4536 4537 4538 4539 4540 4541 4542 4543 4544 4545 4546 4547 4548 4549 4550 4551 4552 4553 4554 4555 4556 4557 4558 4559 4560 4561 4562 4563 4564 4565 4566 4567 4568 4569 4570 4571 4572 4573 4574 4575 4576 4577 4578 4579 4580 4581 4582 4583 4584 4585 4586 4587 4588 4589 4590 4591 4592 4593 4594 4595 4596 4597 4598 4599 4600 4601 4602 4603 4604 4605 4606 4607 4608 4609 4610 4611 4612 4613 4614 4615 4616 4617 4618 4619 4620 4621 4622 4623 4624 4625 4626 4627 4628 4629 4639 4640 4641 4642 4643 4644 4645 4646 4647 4648 4649 4650 4651 4652 4653 4654 4655 4656 4657 4658 4659 4660 4661 4662 4663 4664 4665 4666 4667 4668 4669 4670 4671 4681 4682 4683 4684 4685 4686 4687 4688 4689 4690 4691 4692 4693 4694 4695 4696 4697 4698 4699 4700 4701 4702 4703 4704 4705 4706 4707 4708 4709 4710 4720 4721 4722 4723 4724 4725 4726 4727 4728 4729 4730 4731 4732 4733 4734 4735 4736 4737 4738 4739 4740 4741 4742 4743 4744 4745 4746 4756 4757 4758 4759 4760 4761 4762 4763 4764 4765 4766 4767 4768 4769 4770 4771 4772 4773 4783 4784 4785 4786 4787 4788 4789 4790 4791 4792 4793 4794 4795 4796 4797 4807 4808 4809 4810 4811 4812 4813 4814 4815 4816 4817 4818 4819 4820 4821 4822 4823 4824 4825 4826 4827 4837 4838 4839 4840 4841 4842 4843 4844 4845 4846 4847 4848 4849 4850 4851 4885 4888 4901 4904 4907 5098 5101 5105 5106 5108 5109 5111 5112 5114 5115 5116 5118 5119 5122 5126 5127 5129 5130 5132 5133 5135 5136 5137 5138 5139 5140 5141 5142 5143 5146 5150 5151 5153 5154 5156 5157 5159 5160 5162 5164 5165 5166 5168 5171 5173 5174 5175 5177 5180 5183 5184 5187 5188 5189 5191 5193 5194 5195 5196 5198 5199 5201 5203 5204 5205 5206 5208 5210 5213 5216 5218 5219 5221 5224 5225 5227 5228 5232 5233 5236 5241 5244 5245 5246 5249 5250 5251 5253 5254 5255 5256 5259 5262 5263 5264 5268 5269 5271 5273 5274 5276 5277 5278 5279 5280 5281 5282 5283 5284 5285 5286 5288 5289 5291 5292 5294 5295 5297 5298 5299 5302 5306 5307 5309 5310 5312 5313 5315 5316 5326 5329 5332 5333 5334 5335 5336 5337 5338 5339 5340 5342 5343 5345 5346 5348 5349 5351 5352 5353 5356 5360 5361 5363 5364 5366 5367 5369 5370 5380 5383 5386 5387 5388 5389 5390 5391 5392 5393 5394 5396 5397 5399 5400 5402 5403 5405 5406 5407 5410 5414 5415 5417 5418 5420 5421 5423 5424 5434 5437 5440 5441 5442 5443 5444 5445 5446 5447 5448 5450 5451 5453 5454 5456 5457 5459 5460 5461 5464 5468 5469 5471 5472 5474 5475 5477 5478 5488 5491 5494 5495 5496 5497 5498 5499 5500 5501 5502 5504 5505 5507 5508 5510 5511 5513 5514 5515 5518 5522 5523 5525 5526 5528 5529 5531 5532 5542 5545 5548 5549 5550 5551 5552 5553 5554 5555 5556 5558 5559 5561 5562 5564 5565 5567 5568 5569 5572 5576 5577 5579 5580 5582 5583 5585 5586 5611 5614 5617 5618 5619 5620 5621 5622 5623 5624 5625 5627 5628 5630 5631 5633 5634 5636 5637 5647 5650 5653 5654 5655 5656 5657 5658 5659 5660 5661 5663 5664 5666 5667 5669 5670 5672 5673 5683 5686 5689 5690 5691 5692 5693 5694 5695 5696 5697 5699 5700 5702 5703 5705 5706 5708 5709 5719 5722 5725 5726 5727 5728 5729 5730 5731 5732 5733 5735 5736 5738 5739 5741 5742 5744 5745 5755 5758 5761 5762 5763 5764 5765 5766 5767 5768 5769 5771 5772 5774 5775 5777 5778 5780 5781 5791 5794 5797 5798 5799 5800 5801 5802 5803 5804 5805 5807 5808 5810 5811 5813 5814 5816 5817 5845 5848 5849 5850 5851 5852 5855 5858 5860 5862 5863 5864 5865 5867 5868 5869 5870 5871 5873 5874 5876 5877 5879 5880 5882 5886 5888 5891 5894 5896 5897 5898 5899 5900 5901 5902 5903 5904 5905 5906 5907 5908 5909 5910 5911 5912 5913 5914 5915 5916 5917 5918 5919 5920 5921 5922 5923 5924 5925 5926 5927 5928 5929 5930 5931 5932 5933 5934 5935 5936 5937 5938 5939 5940 5941 5942 5943 5944 5945 5946 5947 5948 5949 5950 5951 5952 5953 5954 5955 5956 5957 5958 5959 5960 5961 5962 5963 5964 5965 5966 5967 5968 5970 6226 6227 6228 6229 6230 6231 6232 6233 6234 6235 6236 6237 6238 6239 6240 6241 6242 6243 6244 6245 6246 6247 6248 6249 6250 6251 6252 6253 6254 6255 6256 6257 6258 6259 6260 6261 6262 6263 6264 6265 6266 6267 6268 6269 6270 6271 6272 6273 6274 6275 6276 6277 6278 6279 6280 6281 6282 6283 6284 6285 6286 6287 6288 6289 6290 6291 6292 6293 6294 6295 6296 6297 6298 6299 6300 6301 6302 6303 6304 6305 6306 6307 6308 6309 6310 6311 6312 6313 6314 6315 6316 6317 6318 6319 6320 6321 6322 6323 6324 6325 6326 6327 6328 6329 6330 6331 6332 6333 6334 6335 6336 6337 6338 6339 6340 6341 6342 6343 6344 6345 6346 6347 6348 6349 6350 6351 6352 6353 6354 6355 6356 6357 6358 6359 6360 6361 6362 6363 6364 6365 6366 6367 6368 6369 6370 6371 6372 6373 6374 6375 6376 6377 6378 6379 6380 6381 6382 6383 6384 6385 6386 6387 6388 6389 6390 6391 6392 6393 6394 6395 6396 6397 6398 6399 6400 6401 6402 6403 6404 6405 6406 6407 6408 6409 6410 6411 6412 6413 6414 6415 6416 6417 6418 6419 6420 6421 6422 6423 6424 6425 6426 6427 6428 6429 6430 6431 6432 6433 6434 6435 6436 6437 6438 6439 6440 6441 6442 6443 6444 6445 6446 6447 6448 6449 6450 6451 6452 6453 6454 6455 6456 6457 6458 6459 6460 6461 6462 6463 6464 6465 6466 6467 6468 6469 6470 6471 6472 6473 6474 6475 6476 6477 6478 6479 6480 6481 6482 6483 6484 6485 6486 6487 6488 6489 6490 6491 6492 6493 6494 6495 6496 6497 6498 6499 6500 6501 6502 6503 6504 6505 6506 6507 6508 6509 6510 6511 6512 6513 6514 6515 6516 6517 6518 6519 6520 6521 6522 6523 6524 6525 6526 6527 6528 6529 6530 6531 6532 6533 6534 6535 6536 6537 6538 6539 6540 6541 6542 6543 6544 6545 6546 6547 6548 6549 6550 6551 6552 6553 6554 6555 6556 6557 6558 6559 6560 6561 6562 6563 6564 6565 6566 6567 6568 6569 6570 6571 6572 6573 6574 6575 6576 6577 6578 6579 6580 6581 6582 6583 6584 6585 6586 6587 6588 6589 6590 6591 6592 6593 6594 6595 6596 6597 6598 6599 6600 6601 6602 6603 6604 6605 6606 6607 6608 6609 6610 6611 6612 6613 6614 6615 6616 6617 6618 6619 6620 6621 6622 6623 6624 6625 6626 6627 6628 6629 6630 6631 6632 6633 6634 6635 6636 6637 6638 6639 6640 6641 6642 6643 6644 6645 6646 6647 6648 6649 6650 6651 6652 6653 6654 6655 6656 6657 6658 6659 6660 6661 6662 6663 6664 6665 6666 6667 6668 6669 6670 6671 6672 6673 6674 6675 6676 6677 6678 6679 6680 6681 6682 6683 6684 6685 6686 6687 6688 6689 6690 6691 6692 6693 6694 6695 6696 6697 6698 6699 6700 6701 6702 6703 6704 6705 6706 6707 6708 6709 6710 6711 6712 6713 6714 6715 6716 6717 6718 6719 6720 6721 6722 6723 6724 6725 6726 6727 6728 6729 6730 6731 6732 6733 6734 6735 6736 6737 6738 6739 6740 6741 6742 6743 6744 6745 6746 6747 6748 6749 6750 6751 6752 6753 6754 6755 6756 6757 6758 6759 6760 6761 6762 6763 6764 6765 6766 6767 6768 6769 6770 6771 6772 6773 6774 6775 6776 6777 6778 6779 6780 6781 6782 6783 6784 6785 6786 6787 6788 6789 6790 6791 6792 6793 6794 6795 6796 6797 6798 6799 6800 6801 6802 6803 6804 6805 6806 6807 6808 6809 6810 6811 6812 6813 6814 6815 6816 6817 6818 6819 6820 6821 6822 6823 6824 6825 6826 6827 6828 6829 6830 6831 6832 6833 6834 6835 6836 6837 6838 6839 6840 6841 6842 6843 6844 6845 6846 6847 6848 6849 6850 6851 6852 6853 6854 6855 6856 6857 6858 6859 6860 6861 6862 6863 6864 6865 6866 6867 6868 6869 6870 6871 6872 6873 6874 6875 6876 6877 6878 6879 6880 6881 6882 6883 6884 6885 6886 6887 6888 6889 6890 6891 6892 6893 6894 6895 6896 6897 6898 6899 6900 6901 6902 6903 6904 6905 6906 6907 6908 6909 6910 6911 6912 6913 6914 6915 6916 6917 6918 6919 6920 6921 6922 6923 6924 6925 6926 6927 6928 6929 6930 6931 6932 6933 6934 6935 6936 6937 6938 6939 6940 6941 6942 6943 6944 6945 6946 6947 6948 6949 6950 6951 6952 6953 6954 6955 6956 6957 6958 6959 6960 6961 6962 6963 6964 6965 6966 6967 6968 6969 6970 6971 6972 6973 6974 6975 6976 6977 6978 6979 6980 6981 6982 6983 6984 6985 6986 6987 6988 6989 6990 6991 6992 6993 6994 6995 6996 6997 6998 6999 7000 7001 7002 7003 7004 7005 7006 7007 7008 7009 7010 7011 7012 7013 7014 7015 7016 7017 7018 7019 7020 7021 7022 7023 7024 7025 7026 7027 7028 7029 7030 7031 7032 7033 7034 7035 7036 7037 7038 7039 7040 7041 7042 7043 7044 7045 7046 7047 7048 7049 7050 7051 7052 7053 7054 7055 7056 7057 7058 7059 7069 7070 7071 7072 7073 7074 7075 7076 7077 7078 7079 7080 7081 7082 7083 7084 7085 7086 7087 7088 7089 7090 7091 7092 7093 7094 7095 7096 7097 7098 7099 7100 7101 7102 7103 7104 7114 7115 7116 7117 7118 7119 7120 7121 7122 7123 7124 7125 7126 7127 7128 7129 7130 7131 7132 7133 7134 7135 7136 7137 7138 7139 7140 7141 7142 7143 7144 7145 7146 7147 7148 7149 7150 7151 7152 7162 7163 7164 7165 7166 7167 7168 7169 7170 7171 7172 7173 7174 7175 7176 7177 7178 7179 7180 7181 7182 7183 7184 7185 7186 7187 7188 7189 7190 7191 7192 7193 7194 7195 7196 7197 7207 7208 7209 7210 7211 7212 7213 7214 7215 7216 7217 7218 7219 7220 7221 7222 7223 7224 7225 7226 7227 7237 7238 7239 7240 7241 7242 7243 7244 7245 7246 7247 7248 7249 7250 7251 7252 7253 7254 7255 7256 7257 7258 7259 7260 7261 7262 7263 7264 7265 7266 7267 7268 7269 7270 7271 7272 7273 7274 7275 7276 7277 7278 7279 7280 7281 7291 7292 7293 7294 7295 7296 7297 7298 7299 7300 7301 7302 7303 7304 7305 7306 7307 7308 7339 7340 7341 7342 7343 7344 7345 7346 7347 7348 7349 7350 7351 7352 7353 7354 7355 7356 7357 7358 7359 7360 7361 7362 7363 7364 7365 7366 7367 7368 7369 7370 7371 7372 7373 7374 7375 7376 7377 7378 7379 7380 7381 7382 7383 7384 7385 7386 7387 7388 7389 7390 7391 7392 7393 7394 7395 7396 7397 7398 7399 7400 7401 7402 7403 7404 7405 7406 7407 7408 7409 7410 7411 7413 7414 7415 7416 7417 7418 7419 7420 7421 7422 7423 7424 7425 7426 7427 7428 7429 7430 7431 7432 7433 7434 7435 7436 7437 7438 7439 7440 7441 7442 7443 7444 7445 7446 7447 7448 7449 7450 7451 7452 7453 7454 7455 7456 7457 7458 7459 7460 7461 7462 7463 7464 7465 7466 7467 7468 7469 7470 7471 7472 7473 7474 7475 7476 7477 7478 7479 7480 7481 7482 7483 7484 7485 7486 7487 7488 7489 7490 7491 7492 7493 7494 7495 7496 7497 7498 7499 7500 7501 7502 7503 7504 7505 7506 7507 7508 7509 7510 7511 7512 7513 7514 7515 7516 7517 7518 7519 7520 7521 7522 7523 7524 7525 7526 7527 7528 7529 7530 7531 7532 7533 7534 7535 7536 7537 7538 7539 7540 7541 7542 7543 7544 7545 7546 7547 7548 7549 7550 7551 7552 7553 7554 7555 7556 7557 7558 7559 7560 7561 7562 7563 7564 7565 7566 7567 7568 7569 7570 7571 7572 7573 7574 7575 7576 7577 7578 7579 7580 7581 7582 7583 7584 7585 7586 7587 7588 7589 7590 7591 7592 7593 7594 7595 7596 7597 7598 7599 7600 7601 7602 7603 7604 7605 7606 7607 7608 7609 7610 7611 7612 7613 7614 7615 7616 7617 7618 7619 7620 7621 7622 7623 7624 7625 7626 7627 7628 7629 7630 7631 7632 7633 7634 7635 7636 7637 7638 7639 7640 7641 7642 7643 7644 7645 7646 7647 7648 7649 7650 7651 7652 7653 7654 7655 7656 7657 7658 7659 7660 7661 7662 7663 7664 7665 7666 7667 7668 7669 7670 7671 7672 7673 7674 7675 7676 7677 7678 7679 7680 7681 7682 7683 7684 7685 7686 7687 7688 7689 7690 7691 7692 7693 7694 7695 7696 7697 7698 7699 7700 7701 7702 7703 7704 7705 7706 7707 7708 7709 7710 7711 7712 7713 7714 7715 7716 7717 7718 7719 7720 7721 7722 7723 7724 7725 7726 7727 7728 7729 7730 7731 7732 7733 7734 7735 7736 7737 7738 7739 7740 7741 7742 7743 7744 7745 7746 7747 7748 7749 7750 7751 7752 7753 7754 7755 7756 7757 7758 7759 7760 7761 7762 7763 7764 7765 7766 7767 7768 7769 7770 7771 7772 7773 7774 7775 7776 7777 7778 7779 7780 7781 7782 7783 7784 7785 7786 7787 7788 7789 7790 7791 7792 7793 7794 7795 7796 7797 7798 7799 7800 7801 7802 7803 7804 7805 7806 7807 7808 7809 7810 7811 7812 7813 7814 7815 7816 7817 7818 7819 7820 7821 7822 7823 7824 7825 7826 7827 7828 7829 7830 7831 7832 7833 7834 7835 7836 7837 7838 7839 7840 7841 7842 7843 7844 7845 7846 7847 7848 7849 7850 7851 7852 7853 7854 7855 7856 7857 7858 7859 7860 7861 7862 7863 7864 7865 7866 7867 7868 7869 7870 7871 7872 7873 7874 7875 7876 7877 7878 7879 7880 7881 7882 7883 7884 7885 7886 7887 7888 7889 7890 7891 7892 7893 7894 7895 7896 7897 7898 7899 7900 7901 7902 7903 7904 7905 7906 7907 7908 7909 7910 7911 7912 7913 7914 7915 7916 7917 7918 7919 7920 7921 7922 7923 7924 7925 7926 7927 7928 7929 7930 7931 7932 7933 7934 7935 7936 7937 7938 7939 7940 7941 7942 7943 7944 7945 7946 7947 7948 7949 7950 7951 7952 7953 7954 7955 7956 7957 7958 7959 7960 7961 7962 7963 7964 7965 7966 7967 7968 7969 7970 7971 7972 7973 7974 7975 7976 7977 7978 7979 7980 7981 7982 7983 7984 7985 7986 7987 7988 7989 7990 7991 7992 7993 7994 7995 7996 7997 7998 7999 8000 8001 8002 8003 8004 8005 8006 8007 8008 8009 8010 8011 8012 8013 8014 8015 8016 8017 8018 8019 8020 8021 8022 8023 8024 8025 8026 8027 8028 8029 8030 8031 8032 8033 8034 8035 8036 8037 8038 8039 8040 8041 8042 8043 8044 8045 8046 8047 8048 8049 8050 8051 8052 8053 8054 8055 8056 8057 8058 8059 8060 8061 8062 8063 8064 8065 8066 8067 8068 8069 8070 8071 8072 8073 8074 8075 8076 8077 8078 8079 8080 8081 8082 8083 8084 8085 8086 8087 8088 8089 8090 8091 8092 8093 8094 8095 8096 8097 8098 8099 8100 8101 8102 8103 8104 8105 8106 8107 8108 8109 8110 8111 8112 8113 8114 8115 8116 8117 8118 8119 8120 8121 8122 8123 8124 8125 8126 8127 8128 8129 8130 8131 8132 8133 8134 8135 8136 8137 8138 8139 8140 8141 8142 8143 8144 8145 8146 8147 8148 8149 8150 8151 8152 8153 8154 8155 8156 8157 8158 8159 8160 8161 8162 8163 8164 8165 8166 8167 8168 8169 8170 8171 8172 8173 8174 8175 8176 8177 8178 8179 8180 8181 8182 8183 8184 8185 8186 8187 8188 8189 8190 8191 8192 8193 8194 8195 8196 8197 8198 8199 8200 8201 8202 8203 8204 8205 8206 8207 8208 8209 8210 8211 8212 8213 8214 8215 8216 8217 8218 8219 8220 8221 8222 8223 8224 8225 8226 8227 8228 8229 8230 8231 8232 8233 8234 8235 8236 8237 8238 8239 8240 8241 8242 8243 8244 8245 8246 8247 8248 8249 8250 8251 8252 8253 8254 8255 8256 8257 8258 8259 8260 8261 8262 8263 8264 8265 8266 8267 8268 8269 8270 8271 8272 8273 8274 8275 8276 8277 8278 8279 8280 8281 8282 8283 8284 8285 8286 8287 8288 8289 8290 8291 8292 8293 8294 8295 8296 8297 8298 8299 8300 8301 8302 8303 8304 8305 8306 8307 8308 8309 8310 8311 8312 8313 8314 8315 8316 8317 8318 8319 8329 8330 8331 8332 8333 8334 8335 8336 8337 8338 8339 8340 8341 8342 8343 8344 8345 8346 8347 8348 8349 8350 8351 8352 8353 8354 8355 8356 8357 8358 8359 8360 8361 8362 8363 8364 8365 8366 8367 8368 8369 8370 8380 8381 8382 8383 8384 8385 8386 8387 8388 8389 8390 8391 8392 8393 8394 8395 8396 8397 8398 8399 8400 8401 8402 8403 8404 8405 8406 8407 8408 8409 8410 8411 8412 8413 8414 8415 8416 8417 8418 8419 8420 8421 8422 8423 8424 8425 8426 8427 8428 8429 8430 8440 8441 8442 8443 8444 8445 8446 8447 8448 8449 8450 8451 8452 8453 8454 8455 8456 8457 8458 8459 8460 8461 8462 8463 8464 8465 8466 8467 8468 8469 8470 8471 8472 8473 8474 8475 8485 8486 8487 8488 8489 8490 8491 8492 8493 8494 8495 8496 8497 8498 8499 8500 8501 8502 8503 8504 8505 8515 8516 8517 8518 8519 8520 8521 8522 8523 8524 8525 8526 8527 8528 8529 8530 8531 8532 8542 8543 8544 8545 8546 8547 8548 8549 8550 8551 8552 8553 8554 8555 8556 8557 8558 8559 8560 8561 8562 8563 8564 8565 8566 8567 8568 8578 8579 8580 8581 8582 8583 8584 8585 8586 8587 8588 8589 8590 8591 8592 8593 8594 8595 8629 8632 8654 8657 8660 8681 8683 8688 8690 8692 8697 8698 8702 8706 8707 8711 8715 8717 8719 8724 8725 8729 8733 8734 8735 8737 8738 8740 8741 8743 8744 8746 8747 8750 8753 8774 8776 8781 8783 8785 8790 8791 8795 8799 8800 8804 8808 8810 8812 8817 8818 8822 8826 8827 8828 8830 8831 8833 8834 8836 8837 8839 8840 8843 8846 8848 8849 8852 8854 8858 8860 8862 8864 8865 8866 8870 8871 8873 8874 8877 8881 8886 8887 8889 8890 8891 8892 8894 8895 8896 8898 8899 8900 8901 8902 8904 8906 8907 8908 8909 8910 8912 8913 8914 8916 8917 8918 8919 8922 8925 8926 8927 8929 8931 8933 8934 8935 8936 8937 8940 8943 8944 8945 8948 8949 8950 8952 8953 8954 8955 8956 8958 8960 8961 8962 8963 8964 8965 8966 8967 8969 8970 8971 8972 8973 8975 8976 8977 8978 8979 8980 8981 8982 8983 8984 8985 8995 8999 9003 9005 9007 9012 9031 9035 9039 9041 9043 9048 9049 9053 9057 9058 9059 9061 9062 9065 9068 9070 9071 9073 9074 9077 9079 9080 9083 9085 9089 9090 9092 9093 9095 9096 9098 9099 9101 9102 9104 9105 9106 9107 9108 9109 9112 9116 9117 9118 9121 9123 9125 9126 9128 9129 9131 9132 9134 9135 9136 9137 9138 9140 9141 9142 9145 9149 9150 9151 9154 9156 9158 9159 9161 9162 9164 9165 9167 9168 9173 9177 9180 9183 9208 9212 9215 9218 9221 9224 9228 9231 9234 9237 9238 9239 9243 9244 9245 9249 9252 9253 9254 9258 9259 9260 9263 9266 9267 9269 9270 9271 9272 9273 9275 9276 9278 9279 9281 9285 9286 9289 9290 9293 9296 9299 9304 9308 9312 9313 9317 9332 9334 9339 9352 9356 9359 9362 9372 9374 9378 9382 9386 9387 9388 9391 9393 9399 9401 9408 9410 9414 9415 9417 9419 9420 9422 9423 9425 9426 9454 9457 9461 9462 9463 9466 9468 9470 9471 9473 9474 9476 9477 9479 9480 9526 9529 9533 9534 9535 9538 9540 9542 9543 9545 9546 9548 9549 9551 9552 9598 9601 9605 9606 9607 9610 9612 9614 9615 9617 9618 9620 9621 9623 9624 9670 9673 9677 9678 9679 9682 9684 9686 9687 9689 9690 9692 9693 9695 9696 9742 9745 9749 9750 9751 9754 9756 9758 9759 9761 9762 9764 9765 9767 9768 9814 9817 9821 9822 9823 9826 9828 9830 9831 9833 9834 9836 9837 9839 9840 9865 9868 9871 9875 9876 9877 9880 9882 9884 9885 9887 9888 9890 9891 9893 9894 9896 9897 9899 9900 9910 9913 9916 9920 9921 9922 9925 9927 9929 9930 9932 9933 9935 9936 9938 9939 9941 9942 9944 9945 9955 9958 9961 9965 9966 9967 9970 9972 9974 9975 9977 9978 9980 9981 9983 9984 9986 9987 9989 9990 10000 10003 10006 10010 10011 10012 10015 10017 10019 10020 10022 10023 10025 10026 10028 10029 10031 10032 10034 10035 10045 10048 10051 10055 10056 10057 10060 10062 10064 10065 10067 10068 10070 10071 10073 10074 10076 10077 10079 10080 10090 10093 10096 10100 10101 10102 10105 10107 10109 10110 10112 10113 10115 10116 10118 10119 10121 10122 10124 10125 10156 10157 10160 10163 10166 10170 10172 10175 10178 10181 10194 10196 10200 10202 10203 10206 10207 10208 10211 10214 10291 10294 10298 10299 10301 10302 10304 10305 10307 10308 10318 10375 10420 10423 10427 10428 10430 10431 10433 10434 10436 10437 10439 10441 10443 10445 10446 10447 10448 10449 10460 10462 10463 10464 10466 10467 10477 10478 10479 10489 10490 10491 10493 10494 10504 10506 10508 10509 10510 10511 10512 10522 10523 10524 10534 10535 10536 10546 10547 10548 10582 10681 10685 10688 10689 10691 10694 10763 10766 10769 10772 10775 10779 11853 11856 11859 11860 11861 12193 12194 12195 12196 12197 12198 12199 12200 12201 12202 12203 12204 12205 12206 12207 12208 12209 12210 12211 12212 12213 12214 12215 12216 12217 12218 12219 12220 12221 12222 12223 12224 12225 12226 12227 12228 12229 12230 12231 12232 12233 12234 12235 12236 12237 12238 12239 12240 12241 12242 12243 12244 12245 12246 12247 12248 12249 12250 12251 12252 12253 12254 12255 12256 12257 12258 12259 12260 12261 12263 12264 12265 12267 12340 12343 12349 12350 12351 12352 12353 12354 12355 12356 12357 12358 12359 12360 12361 12362 12363 12364 12365 12366 12367 12368 12369 12370 12371 12372 12373 12374 12375 12376 12377 12378 12379 12380 12381 12382 12383 12384 12385 12386 12387 12388 12389 12390 12391 12392 12393 12394 12395 12396 12397 12398 12399 12400 12401 12402 12403 12404 12405 12406 12407 12408 12409 12410 12411 12412 12413 12414 12415 12416 12417 12419 12420 12421 12423 12424 12425 12426 12427 12428 12429 12430 12431 12432 12433 12434 12435 12436 12437 12438 12439 12440 12441 12442 12443 12444 12445 12446 12447 12448 12449 12450 12451 12452 12453 12454 12455 12456 12457 12458 12459 12460 12461 12462 12463 12464 12465 12466 12467 12468 12469 12470 12471 12472 12473 12474 12475 12476 12477 12478 12479 12480 12481 12482 12483 12484 12485 12486 12487 12488 12489 12490 12491 12492 12493 12494 12495 12496 12497 12498 12502 12503 12504 12505 12506 12507 12508 12509 12510 12511 12512 12513 12514 12515 12516 12517 12518 12519 12520 12521 12522 12523 12524 12525 12526 12527 12528 12529 12530 12531 12532 12533 12534 12535 12536 12537 12538 12539 12540 12541 12542 12543 12544 12545 12546 12547 12548 12549 12550 12551 12552 12553 12554 12555 12556 12557 12558 12559 12560 12561 12562 12563 12564 12565 12566 12567 12568 12569 12570 12571 12572 12573 12574 12575 12576 13414 13415 13416 13621 13624 13626 13627 13628 13629 13631 13632 13634 13635 13637 13638 13640 13641 13643 13644 13654 13656 13657 13658 13659 13661 13662 13664 13665 13667 13668 13670 13671 13673 13674 13726 13727 13728 13729 13730 13731 13732 13733 13734 13735 13736 13737 13738 13739 13740 13742 13743 13744 13745 13746 13805 13807 13812 13813 13814 13817 13820 14018 14020 14022 14024 14025 14027 14029 14031 14033 14034 14040 14042 14046 14050 14055 14056 14058 14059 14060 14061 14062 14063 14064 14065 14066 14067 14068 14069 14070 14071 14072 14073 14074 14075 14076 14077 14078 14079 14080 14081 14082 14083 14084 14085 14086 14087 14088 14089 14090 14091 14092 14093 14094 14095 14096 14097 14098 14099 14100 14101 14102 14103 14104 14105 14106 14107 14108 14109 14110 14111 14112 14113 14114 14115 14116 14117 14118 14119 14120 14121 14122 14123 14124 14125 14126 14127 14128 14129 14130 14131 14132 14133 14134 14135 14136 14137 14138 14139 14140 14141 14142 14143 14144 14145 14146 14147 14148 14149 14150 14151 14152 14153 14154 14267 14269 14274 14296 14300 14522 14560 14564 14606 14609 14612 14615 14616 14619 14622 14625 14628 14631 14634 14637 14667 14670 14671 14672 14674 14675 14678 14682 14686 14691 14694 14697 14700 14703 14707 14711 14715 14717 14721 14723 14726 14729 14732 14734 14735 14739 14741 14745 14748 14751 14754 14755 14756 14760 14761 14762 14766 14769 14770 14771 14775 14776 14777 14780 14783 14786 14790 14792 14796 14798 14801 14805 14807 14810 14813 14816 14819 14824 14828 14832 14833 14837 14847 14849 14853 14857 14860 14864 14865 14867 14868 14870 14871 14873 14874 14876 14877 14879 14880 14882 14883 14892 14894 14898 14902 14907 14911 14919 14921 14928 14930 14934 14937 14940 14943 14946 15908 15911 15914 15917 15921 15923 15926 15929 15932 15934 15937 15939 15941 15942 15944 15945 15947 15948 15950 15951 15953 15954 15956 15960 16045 16048 16052 16053 16054 16057 16059 16061 16062 16064 16065 16067 16068 16070 16071 16072 16075 16079 16080 16082 16083 16085 16086 16088 16089 16090 16091 16092 16093 16097 16099 16103 16106 16108 16109 16110 16111 16112 16113 16114 16115 16116 16126 16127 16128 16129 16130 16131 16132 16133 16134 16144 16145 16146 16147 16148 16149 16159 16160 16161 16163 16164 16165 16166 16167 16168 16169 16170 16180 16181 16182 16210 16213 16216 16217 16218 16219 16220 16221 16222 16223 16224 16226 16227 16229 16230 16232 16233 16235 16236 16238 16239 16241 16242 16243 16244 16245 16246 16247 16248 16249 16250 16251 16262 16263 16265 16266 16267 16268 16269 16270 16271 16272 16273 16274 16275 16285 16286 16287 16298 16300 16301 16302 16304 16305 16315 16317 16319 16320 16321 16322 16323 16333 16334 16335 16345 16346 16347 16357 16358 16359 16393 16492 16496 16497 16498 16501 16503 16509 16511 16514 16516 16518 16520 16521 16523 16525 16527 16529 16530 16531 16533 16535 16537 16539 16540 16544 16545 16547 16548 16554 16556 16558 16562 16563 16565 16566 16568 16569 16570 16571 16572 16573 16574 16575 16576 16577 16578 16579 16580 16581 16583 16584 16585 16586 16587 16588 16589 16590 16591 16592 16593 16595 16596 16598 16599 16602 16604 16607 16682 16685 16689 16692 16693 16694 16698 16701 16702 16703 16707 16710 16711 16712 16716 16719 16720 16721 16723 16724 16728 16731 16732 16733 16737 16740 16743 16746 16749 16752 16754 16756 16758 16760 16761 16764 16768 16771 16773 16775 16776 16778 16779 16781 16782 16784 16785 16787 16788 16789 16790 16791 18093 18096 18099 18100 18101 20609 20611 20613 20615 20616 20618 20620 20622 20624 20625 20626 20630 20631 20633 20634 20637 20641 20644 20646 20647 20648 20649 20650 20651 20652 20653 20654 20655 20656 20657 20658 20659 20660 20661 20662 20663 20664 20665 20666 20667 20668 20669 20670 20671 20672 20673 20674 20675 20676 20677 20678 20679 20680 20681 20682 20683 20684 20685 20686 20687 20688 20689 20690 20691 20692 20693 20694 20695 20696 20697 20698 20699 20700 20701 20702 20703 20704 20705 20706 20707 20708 20709 20710 20711 20712 20713 20714 20715 20716 20717 20718 20719 20720 20721 20722 20723 20724 20725 20726 20727 20728 20729 20730 20731 20732 20733 20734 20735 20736 20737 20738 20739 20740 20741 20742 20743 20744 20745 21359 21406 21410 21414 21416 21418 21420 21422 21424 21425 21428 21432 21434 21438 21439 21440 21442 21443 21446 21450 21452 21456 21457 21458 21461 21464 21469 21471 21472 21473 21474 21477 21480 21481 21482 21486 21499 21504 21505 21506 21510 21511 21512 21533 21536 21557 21560 21564 21567 21570 21571 21572 21576 21577 21578 21582 21583 21585 21586 21587 21588 21604 21609 21612 21615 21706 21709 21721 21725 21727 21729 21731 21732 21734 21735 21736 21739 21741 21742 21743 21744 21745 21746 21748 21750 21752 21753 21754 21757 21759 21760 21761 21762 21763 21764 21765 21766 21767 21768 21769 21770 21771 21773 21776 21783 21785 21787 21792 21796 21801 21805 21810 21813 21816 21819 21823 21827 21831 21832 21834 21835 21839 21842 21845 21848 21850 21852 21854 21855 21857 21858 21859 21862 21864 21865 21866 21867 21868 21869 21871 21873 21874 21875 21876 21877 21878 21879 21880 21881 21882 21883 21884 21885 21886 21887 21888 21894 21896 21900 21904 21907 21909 21911 21913 21915 21916 21918 21920 21921 21923 21924 21925 21926 21927 21928 21929 21930 21936 21938 21940 21945 21949 21954 21957 21960 21961 21963 21964 21965 21966 21967 21968 21969 21970 21971 21972 21974 21975 21976 21977 22024 22027 22031 22035 22036 22037 22040 22043 22046 22075 22079 22083 22084 22085 22086 22088 22089 22091 22092 22093 22094 22095 22097 22098 22100 22101 22103 22104 22106 22107 22111 22116 22118 22120 22121 22122 22123 22124 22125 22127 22128 22131 22134 22136 22139 22142 22146 22147 22148 22150 22152 22154 22155 22157 22158 22160 22161 22163 22164 22168 22173 22174 22176 22178 22179 22180 22182 22191 22193 22196 22197 22198 22199 22200 22202 22203 22204 22205 22206 22208 22209 22211 22212 22214 22215 22217 22219 22220 22221 22223 22224 22226 22227 22229 22230 22233 22234 22235 22236 22237 22238 22239 22241 22242 22244 22245 22248 22249 22250 22251 22252 22253 22254 22256 22257 22259 22260 22263 22266 22269 22272 22275 22278 22284 22286 22290 22294 22299 22302 22305 22308 22429 22433 22438 22446 22448 22452 22456 22460 22461 22463 22464 22466 22467 22469 22470 22472 22473 22479 22481 22485 22489 22494 22498 22506 22508 22512 22515 22518 22521 22524 22648 22651 22653 22655 22657 22659 22661 22662 22666 22670 22677 22679 22684 22688 22690 22694 22695 22697 22698 22699 22701 22703 22704 22705 22706 22707 22708 22709 22710 22712 22713 22732 22735 22737 22738 22739 22740 22741 22742 22743 22753 22754 22755 22757 22758 22777 22780 22782 22783 22784 22785 22786 22787 22788 22798 22799 22800 22802 22803 22822 22825 22827 22828 22829 22830 22831 22832 22833 22843 22844 22845 22847 22848 22867 22870 22872 22873 22874 22875 22876 22877 22878 22888 22889 22890 22892 22893 22912 22915 22917 22918 22919 22920 22921 22922 22923 22933 22934 22935 22937 22938 22957 22960 22962 22963 22964 22965 22966 22967 22968 22993 22996 22999 23002 23003 23004 23005 23006 23007 23008 23009 23010 23011 23012 23013 23014 23015 23016 23017 23018 23019 23020 23021 23022 23023 23024 23025 23026 23027 23028 23029 23030 23031 23032 23033 23034 23035 23036 23037 23038 23039 23040 23041 23042 23043 23044 23045 23046 23047 23048 23049 23050 23051 23052 23053 23054 23055 23056 23057 23058 23059 23060 23061 23062 23063 23064 23065 23066 23067 23068 23069 23070 23071 23072 23073 23074 23075 23076 23077 23078 23079 23080 23081 23082 23083 23084 23085 23086 23087 23088 23089 23090 23091 23092 23093 23094 23095 23096 23097 23098 23099 23100 23101 23102 23103 23104 23105 23106 23107 23108 23109 23110 23111 23112 23113 23114 23115 23116 23117 23118 23119 23120 23121 23122 23123 23124 23125 23126 23127 23128 23129 23130 23131 23132 23133 23134 23135 23136 23137 23138 23139 23140 23141 23142 23143 23144 23145 23146 23147 23148 23149 23150 23151 23152 23153 23154 23155 23156 23157 23158 23159 23160 23161 23162 23163 23164 23165 23166 23167 23168 23169 23170 23171 23172 23173 23174 23175 23176 23177 23178 23179 23180 23181 23182 23183 23184 23185 23186 23187 23188 23189 23190 23191 23192 23193 23194 23195 23196 23197 23198 23199 23200 23201 23202 23203 23204 23205 23206 23207 23208 23209 23210 23211 23212 23213 23214 23215 23216 23217 23218 23219 23220 23221 23222 23223 23224 23225 23226 23227 23228 23229 23230 23231 23232 23233 23234 23235 23236 23237 23238 23239 23240 23241 23242 23243 23244 23245 23246 23247 23248 23249 23250 23251 23252 23253 23254 23255 23256 23257 23258 23259 23260 23261 23262 23263 23264 23265 23266 23267 23268 23269 23270 23271 23272 23273 23274 23275 23276 23277 23278 23279 23280 23281 23282 23283 23284 23285 23286 23287 23288 23289 23290 23291 23292 23293 23294 23295 23296 23297 23298 23299 23300 23301 23302 23303 23304 23305 23306 23307 23308 23309 23310 23311 23312 23313 23314 23315 23316 23317 23318 23319 23320 23321 23322 23323 23324 23325 23326 23327 23328 23329 23330 23331 23332 23333 23334 23335 23336 23337 23338 23339 23340 23341 23342 23343 23344 23345 23346 23347 23348 23349 23350 23351 23352 23353 23354 23355 23356 23357 23358 23359 23360 23361 23362 23363 23364 23365 23366 23367 23368 23369 23370 23371 23372 23373 23374 23375 23376 23377 23378 23379 23380 23381 23382 23383 23384 23385 23386 23387 23388 23389 23390 23391 23392 23393 23394 23395 23396 23397 23398 23399 23400 23401 23402 23403 23404 23405 23406 23407 23408 23409 23410 23411 23412 23413 23414 23415 23416 23417 23418 23419 23420 23421 23422 23423 23424 23425 23426 23427 23428 23429 23430 23431 23432 23433 23434 23435 23436 23437 23438 23439 23440 23441 23442 23443 23444 23445 23446 23447 23448 23449 23450 23451 23452 23453 23454 23455 23456 23457 23458 23459 23460 23461 23462 23463 23464 23465 23466 23467 23468 23469 23470 23471 23472 23473 23474 23475 23476 23477 23478 23479 23480 23481 23482 23483 23484 23485 23486 23487 23488 23489 23490 23491 23492 23493 23494 23495 23496 23497 23498 23499 23500 23501 23502 23503 23504 23505 23506 23507 23508 23509 23510 23511 23512 23513 23514 23515 23516 23517 23518 23519 23520 23521 23522 23523 23524 23525 23526 23527 23528 23529 23530 23531 23532 23533 23534 23535 23536 23537 23538 23539 23540 23541 23542 23543 23544 23545 23546 23547 23548 23549 23550 23551 23552 23553 23554 23555 23556 23557 23558 23559 23560 23561 23562 23563 23564 23565 23566 23567 23568 23569 23570 23571 23572 23573 23574 23575 23576 23577 23578 23579 23580 23581 23582 23583 23584 23585 23586 23587 23588 23589 23590 23591 23592 23593 23594 23595 23596 23597 23598 23599 23600 23601 23602 23603 23604 23605 23606 23607 23608 23609 23610 23611 23612 23613 23614 23615 23616 23617 23618 23619 23620 23621 23622 23623 23624 23625 23626 23627 23628 23629 23630 23631 23632 23633 23634 23635 23636 23637 23638 23639 23640 23641 23642 23643 23644 23645 23646 23647 23648 23649 23650 23651 23652 23653 23654 23655 23656 23657 23658 23659 23660 23661 23662 23663 23664 23665 23666 23667 23668 23669 23670 23671 23672 23673 23674 23675 23676 23677 23678 23679 23680 23681 23682 23683 23684 23685 23686 23687 23688 23689 23690 23691 23692 23693 23694 23695 23696 23697 23698 23699 23700 23701 23702 23703 23704 23705 23706 23707 23708 23709 23710 23711 23712 23713 23714 23715 23716 23717 23718 23719 23720 23721 23722 23723 23724 23725 23726 23727 23728 23729 23730 23731 23732 23733 23734 23735 23736 23737 23738 23739 23740 23741 23742 23743 23744 23745 23746 23747 23748 23749 23750 23751 23752 23753 23754 23755 23756 23757 23758 23759 23760 23761 23762 23763 23764 23765 23766 23767 23768 23769 23770 23771 23772 23773 23774 23775 23776 23777 23778 23779 23780 23781 23782 23783 23784 23785 23786 23787 23788 23789 23790 23791 23792 23793 23794 23795 23796 23797 23798 23799 23800 23801 23802 23803 23804 23805 23806 23807 23808 23809 23810 23811 23812 23813 23814 23815 23816 23817 23818 23819 23820 23821 23822 23823 23824 23825 23826 23827 23828 23829 23830 23831 23832 23833 23834 23835 23836 23837 23838 23839 23840 23841 23842 23843 23844 23845 23846 23847 23848 23849 23850 23851 23852 23853 23854 23855 23856 23857 23858 23859 23860 23861 23862 23863 23864 23865 23866 23867 23868 23869 23870 23871 23872 23873 23874 23875 23876 23877 23878 23879 23880 23881 23882 23883 23884 23885 23886 23887 23888 23889 23890 23891 23892 23893 23894 23895 23896 23897 23898 23899 23900 23901 23902 23903 23904 23905 23906 23907 23908 23909 23910 23911 23912 23913 23914 23915 23916 23917 23918 23919 23920 23921 23922 23923 23924 23925 23926 23927 23928 23929 23930 23931 23932 23933 23934 23935 23936 23937 23938 23939 23940 23941 23942 23943 23944 23945 23946 23947 23948 23949 23952 23955 23956 23957 23961 23964 23965 23966 23970 23973 23974 23975 23979 23982 23983 23984 23988 23991 23992 23993 23997 24000 24001 24002 24006 24009 24012 24015 24018 24376 24379 24381 24382 24383 24384 24385 24386 24387 24388 24389 24390 24391 24392 24393 24394 24395 24396 24397 24398 24399 24400 24401 24402 24403 24404 24405 24406 24407 24408 24409 24410 24411 24412 24413 24414 24415 24416 24417 24418 24419 24420 24421 24422 24423 24424 24425 24426 24428 24429 24431 24432 24434 24435 24436 24438 24439 24440 24441 24442 24445 24446 24447 24448 24449 24450 24460 24464 24466 24468 24469 24470 24471 24472 24473 24474 24475 24476 24477 24478 24479 24480 24481 24482 24483 24484 24485 24486 24487 24488 24489 24490 24491 24492 24493 24494 24495 24496 24497 24498 24499 24500 24501 24502 24503 24504 24505 24506 24507 24509 24510 24512 24513 24514 24516 24518 24519 24520 24521 24522 24523 24526 24527 24528 24529 24530 24531 24532 24533 24534 24538 24542 24545 24548 24550 24552 24553 24554 24555 24556 24557 24558 24559 24560 24561 24562 24563 24564 24565 24566 24567 24568 24569 24570 24571 24572 24573 24574 24575 24576 24577 24578 24579 24580 24581 24582 24583 24584 24585 24586 24587 24588 24589 24590 24591 24593 24594 24596 24597 24599 24600 24601 24603 24604 24605 24606 24607 24610 24611 24612 24613 24614 24615 24616 24617 24618 24619 24623 24626 24629 24631 24633 24634 24635 24636 24637 24638 24639 24640 24641 24642 24643 24644 24645 24646 24647 24648 24649 24650 24651 24652 24653 24654 24655 24656 24657 24658 24659 24660 24661 24662 24663 24664 24665 24666 24667 24668 24669 24671 24672 24674 24675 24677 24678 24679 24681 24682 24683 24684 24686 24688 24690 24691 24692 24693 24694 24695 24696 24697 24698 24699 24700 24701 24702 24703 24704 24705 24706 24707 24708 24709 24710 24711 24712 24713 24714 24716 24717 24720 24723 24724 24725 24727 24728 24729 24730 24731 24732 24733 24734 24735 24736 24737 24738 24739 24740 24741 24742 24743 24744 24745 24746 24747 24749 24750 24751 24753 24755 24756 24757 24758 24759 24760 24761 24762 24763 24764 24765 24766 24767 24768 24769 24770 24771 24772 24773 24774 24775 24776 24777 24778 24779 24780 24781 24782 24783 24784 24785 24786 24787 24788 24789 24790 24791 24792 24794 24795 24797 24798 24801 24804 24805 24806 24808 24809 24810 24811 24812 24813 24814 24815 24816 24817 24818 24819 24820 24821 24822 24823 24824 24825 24826 24827 24828 24830 24831 24832 24834 24836 24837 24838 24839 24840 24842 24843 24844 24845 24846 24848 24849 24850 24851 24852 24853 24854 24855 24856 24857 24858 24859 24860 24861 24862 24863 24864 24866 24867 24886 24889 24891 24892 24893 24894 24895 24896 24897 24907 24908 24909 24911 24912 24931 24934 24936 24937 24938 24939 24940 24941 24942 24952 24953 24954 24956 24957 24976 24979 24981 24982 24983 24984 24985 24986 24987 24997 24998 24999 25001 25002 25021 25024 25026 25027 25028 25029 25030 25031 25032 25042 25043 25044 25046 25047 25066 25069 25071 25072 25073 25074 25075 25076 25077 25087 25088 25089 25091 25092 25111 25114 25116 25117 25118 25119 25120 25121 25122 25147 25150 25153 25156 25157 25158 25159 25160 25161 25162 25163 25164 25165 25166 25167 25168 25169 25170 25171 25172 25173 25174 25175 25176 25177 25178 25179 25180 25181 25182 25183 25184 25185 25186 25187 25188 25189 25190 25191 25192 25193 25194 25195 25196 25197 25198 25199 25200 25201 25202 25203 25204 25205 25206 25207 25208 25209 25210 25211 25212 25213 25214 25215 25216 25217 25218 25219 25220 25221 25222 25223 25224 25225 25226 25227 25228 25229 25230 25231 25232 25233 25234 25235 25236 25237 25238 25239 25240 25241 25242 25243 25244 25245 25246 25247 25248 25249 25250 25251 25252 25253 25254 25255 25256 25257 25258 25259 25260 25261 25262 25263 25264 25265 25266 25267 25268 25269 25270 25271 25272 25273 25274 25275 25276 25277 25278 25279 25280 25281 25282 25283 25284 25285 25286 25287 25288 25289 25290 25291 25292 25293 25294 25295 25296 25297 25298 25299 25300 25301 25302 25303 25304 25305 25306 25307 25308 25309 25310 25311 25312 25313 25314 25315 25316 25317 25318 25319 25320 25321 25322 25323 25324 25325 25326 25327 25328 25329 25330 25331 25332 25333 25334 25335 25336 25337 25338 25339 25340 25341 25342 25343 25344 25345 25346 25347 25348 25349 25350 25351 25352 25353 25354 25355 25356 25357 25358 25359 25360 25361 25362 25363 25364 25365 25366 25367 25368 25369 25370 25371 25372 25373 25374 25375 25376 25377 25378 25379 25380 25381 25382 25383 25384 25385 25386 25387 25388 25389 25390 25391 25392 25393 25394 25395 25396 25397 25398 25399 25400 25401 25402 25403 25404 25405 25406 25407 25408 25409 25410 25411 25412 25413 25414 25415 25416 25417 25418 25419 25420 25421 25422 25423 25424 25425 25426 25427 25428 25429 25430 25431 25432 25433 25434 25435 25436 25437 25438 25439 25440 25441 25442 25443 25444 25445 25446 25447 25448 25449 25450 25451 25452 25453 25454 25455 25456 25457 25458 25459 25460 25461 25462 25463 25464 25465 25466 25467 25468 25469 25470 25471 25472 25473 25474 25475 25476 25477 25478 25479 25480 25481 25482 25483 25484 25485 25486 25487 25488 25489 25490 25491 25492 25493 25494 25495 25496 25497 25498 25499 25500 25501 25502 25503 25504 25505 25506 25507 25508 25509 25510 25511 25512 25513 25514 25515 25516 25517 25518 25519 25520 25521 25522 25523 25524 25525 25526 25527 25528 25529 25530 25531 25532 25533 25534 25535 25536 25537 25538 25539 25540 25541 25542 25543 25544 25545 25546 25547 25548 25549 25550 25551 25552 25553 25554 25555 25556 25557 25558 25559 25560 25561 25562 25563 25564 25565 25566 25567 25568 25569 25570 25571 25572 25573 25574 25575 25576 25577 25578 25579 25580 25581 25582 25583 25584 25585 25586 25587 25588 25589 25590 25591 25592 25593 25594 25595 25596 25597 25598 25599 25600 25601 25602 25603 25604 25605 25606 25607 25608 25609 25610 25611 25612 25613 25614 25615 25616 25617 25618 25619 25620 25621 25622 25623 25624 25625 25626 25627 25628 25629 25630 25631 25632 25633 25634 25635 25636 25637 25638 25639 25640 25641 25642 25643 25644 25645 25646 25647 25648 25649 25650 25651 25652 25653 25654 25655 25656 25657 25658 25659 25660 25661 25662 25663 25664 25665 25666 25667 25668 25669 25670 25671 25672 25673 25674 25675 25676 25677 25678 25679 25680 25681 25682 25683 25684 25685 25686 25687 25688 25689 25690 25691 25692 25693 25694 25695 25696 25697 25698 25699 25700 25701 25702 25703 25704 25705 25706 25707 25708 25709 25710 25711 25712 25713 25714 25715 25716 25717 25718 25719 25720 25721 25722 25723 25724 25725 25726 25727 25728 25729 25730 25731 25732 25733 25734 25735 25736 25737 25738 25739 25740 25741 25742 25743 25744 25745 25746 25747 25748 25749 25750 25751 25752 25753 25754 25755 25756 25757 25758 25759 25760 25761 25762 25763 25764 25765 25766 25767 25768 25769 25770 25771 25772 25773 25774 25775 25776 25777 25778 25779 25780 25781 25782 25783 25784 25785 25786 25787 25788 25789 25790 25791 25792 25793 25794 25795 25796 25797 25798 25799 25800 25801 25802 25803 25804 25805 25806 25807 25808 25809 25810 25811 25812 25813 25814 25815 25816 25817 25818 25819 25820 25821 25822 25823 25824 25825 25826 25827 25828 25829 25830 25831 25832 25833 25834 25835 25836 25837 25838 25839 25840 25841 25842 25843 25844 25845 25846 25847 25848 25849 25850 25851 25852 25853 25854 25855 25856 25857 25858 25859 25860 25861 25862 25863 25864 25865 25866 25867 25868 25869 25870 25871 25872 25873 25874 25875 25876 25877 25878 25879 25880 25881 25882 25883 25884 25885 25886 25887 25888 25889 25890 25891 25892 25893 25894 25895 25896 25897 25898 25899 25900 25901 25902 25903 25904 25905 25906 25907 25908 25909 25910 25911 25912 25913 25914 25915 25916 25917 25918 25919 25920 25921 25922 25923 25924 25925 25926 25927 25928 25929 25930 25931 25932 25933 25934 25935 25936 25937 25938 25939 25940 25941 25942 25943 25944 25945 25946 25947 25948 25949 25950 25951 25952 25953 25954 25955 25956 25957 25958 25959 25960 25961 25962 25963 25964 25965 25966 25967 25968 25969 25970 25971 25972 25973 25974 25975 25976 25977 25978 25979 25980 25981 25982 25983 25984 25985 25986 25987 25988 25989 25990 25991 25992 25993 25994 25995 25996 25997 25998 25999 26000 26001 26002 26003 26004 26005 26006 26007 26008 26009 26010 26011 26012 26013 26014 26015 26016 26017 26018 26019 26020 26021 26022 26023 26024 26025 26026 26027 26028 26029 26030 26031 26032 26033 26034 26035 26036 26037 26038 26039 26040 26041 26042 26043 26044 26045 26046 26047 26048 26049 26050 26051 26052 26053 26054 26055 26056 26057 26058 26059 26060 26061 26062 26063 26064 26065 26066 26067 26068 26069 26070 26071 26072 26073 26074 26075 26076 26077 26078 26079 26080 26081 26082 26083 26084 26085 26086 26087 26088 26089 26090 26091 26092 26093 26094 26095 26096 26097 26098 26099 26100 26101 26102 26103 26104 26105 26106 26107 26108 26109 26110 26111 26112 26113 26114 26115 26116 26117 26118 26119 26120 26121 26122 26123 26124 26125 26126 26127 26128 26129 26130 26131 26132 26133 26134 26135 26136 26137 26138 26139 26140 26141 26142 26143 26144 26145 26146 26147 26148 26149 26150 26151 26152 26153 26154 26155 26156 26157 26158 26159 26160 26161 26162 26163 26164 26165 26166 26167 26168 26169 26170 26171 26172 26175 26178 26179 26180 26184 26187 26188 26189 26193 26196 26197 26198 26202 26205 26206 26207 26211 26214 26215 26216 26220 26223 26224 26225 26229 26232 26235 26238 26241 26599 26602 26604 26605 26606 26607 26608 26609 26610 26611 26612 26613 26614 26615 26616 26617 26618 26619 26620 26621 26622 26623 26624 26625 26626 26627 26628 26629 26630 26631 26632 26633 26634 26635 26636 26637 26638 26639 26640 26641 26642 26643 26644 26645 26646 26647 26648 26649 26650 26651 26652 26654 26655 26657 26658 26660 26661 26662 26664 26665 26666 26667 26668 26671 26672 26673 26674 26675 26676 26689 26692 26694 26695 26696 26697 26698 26699 26700 26701 26702 26703 26704 26705 26706 26707 26708 26709 26710 26711 26712 26713 26714 26715 26716 26717 26718 26719 26720 26721 26722 26723 26724 26725 26726 26727 26728 26729 26730 26731 26732 26733 26734 26735 26736 26737 26738 26739 26741 26742 26744 26745 26746 26748 26750 26751 26752 26753 26754 26755 26758 26759 26760 26761 26762 26763 26764 26765 26766 26779 26782 26784 26785 26786 26787 26788 26789 26790 26791 26792 26793 26794 26795 26796 26797 26798 26799 26800 26801 26802 26803 26804 26805 26806 26807 26808 26809 26810 26811 26812 26813 26814 26815 26816 26817 26818 26819 26820 26821 26822 26823 26824 26825 26826 26827 26828 26829 26830 26831 26832 26833 26834 26835 26837 26838 26840 26841 26843 26844 26845 26847 26848 26849 26850 26851 26854 26855 26856 26857 26858 26859 26860 26861 26862 26863 26867 26870 26873 26876 26878 26880 26881 26882 26883 26884 26885 26886 26887 26888 26889 26890 26891 26892 26893 26894 26895 26896 26897 26898 26899 26900 26901 26902 26903 26904 26905 26906 26907 26908 26909 26910 26911 26912 26913 26914 26915 26916 26918 26919 26921 26922 26923 26925 26927 26928 26929 26930 26931 26933 26935 26937 26938 26939 26940 26941 26942 26943 26944 26945 26946 26947 26948 26949 26950 26951 26952 26953 26954 26955 26956 26957 26958 26959 26960 26961 26963 26964 26967 26970 26971 26972 26974 26975 26976 26977 26978 26979 26980 26981 26982 26983 26984 26985 26986 26987 26988 26989 26990 26991 26992 26993 26994 26996 26997 26998 27000 27002 27003 27004 27005 27006 27007 27008 27009 27010 27011 27012 27013 27014 27015 27016 27017 27018 27019 27020 27021 27022 27023 27024 27025 27026 27027 27028 27029 27030 27031 27032 27033 27034 27035 27036 27037 27038 27039 27041 27042 27044 27045 27047 27048 27049 27051 27052 27053 27054 27055 27056 27057 27058 27059 27060 27061 27062 27063 27064 27065 27066 27067 27068 27069 27070 27071 27072 27073 27074 27075 27077 27078 27081 27084 27085 27086 27088 27090 27091 27092 27093 27095 27096 27097 27098 27099 27100 27101 27102 27103 27104 27105 27106 27107 27108 27109 27110 27111 27112 27113 27114 27115 27116 27117 27120 27123 27124 27125 27132 27134 27141 27143 27147 27150 27153 27154 27155 27156 27157 27158 27159 27160 27161 27162 27164 27165 27166 27168 27169 27170 27171 27172 27173 27174 27175 27176 27177 27178 27179 27180 27182 27183 27184 27186 27187 27188 27189 27191 27192 27193 27195 27196 27197 27198 27199 27201 27203 27204 27205 27206 27207 27208 27210 27212 27213 27214 27215 27216 27217 27219 27221 27222 27223 27224 27225 27226 27227 27228 27229 27230 27231 27232 27233 27234 27235 27236 27237 27238 27239 27240 27241 27242 27243 27244 27245 27246 27248 27249 27250 27252 27253 27254 27255 27257 27258 27259 27261 27262 27263 27264 27266 27267 27268 27270 27271 27272 27273 27275 27276 27277 27279 27280 27281 27282 27283 27285 27287 27288 27289 27290 27291 27292 27294 27296 27297 27298 27299 27300 27303 27306 27307 27308 27310 27312 27314 27315 27316 27317 27318 27320 27321 27322 27323 27324 27325 27326 27327 27328 27329 27330 27331 27332 27333 27334 27335 27336 27337 27338 27339 27340 27341 27342 27344 27345 27346 27347 27348 27349 27350 27351 27352 27353 27354 27355 27356 27357 27358 27362 27363 27365 27366 27372 27374 27378 27379 27381 27382 27383 27384 27385 27386 27387 27388 27389 27390 27391 27392 27393 27394 27395 27396 27397 27398 27399 27400 27401 27402 27403 27404 27405 27406 27407 27408 27409 27410 27411 27412 27413 27414 27415 27416 27417 27418 27419 27420 27421 27422 27423 27424 27425 27426 27427 27428 27429 27430 27431 27432 27433 27434 27435 27436 27437 27438 27439 27440 27441 27442 27443 27444 27445 27446 27447 27448 27449 27450 27451 27452 27453 27454 27455 27456 27457 27458 27459 27460 27461 27462 27463 27464 27465 27466 27467 27468 27469 27470 27471 27472 27473 27474 27475 27476 27477 27478 27479 27480 27481 27482 27483 27484 27485 27486 27487 27488 27489 27490 27491 27492 27493 27494 27495 27496 27497 27498 27499 27500 27501 27502 27503 27504 27505 27506 27507 27508 27509 27510 27511 27512 27513 27514 27515 27516 27517 27518 27519 27520 27521 27522 27523 27524 27525 27526 27527 27528 27529 27530 27531 27532 27533 27534 27535 27536 27537 27538 27539 27540 27543 27546 27547 27548 27550 27552 27553 27554 27555 27556 27557 27558 27559 27560 27561 27562 27563 27564 27565 27566 27567 27568 27569 27570 27571 27572 27573 27574 27575 27576 27577 27578 27579 27582 27585 27586 27587 27594 27596 27603 27605 27609 27612 27615 27616 27617 27618 27619 27620 27621 27622 27623 27624 27625 27626 27627 27628 27629 27630 27631 27632 27633 27634 27635 27636 27637 27638 27639 27640 27641 27642 27643 27644 27645 27646 27647 27648 27649 27650 27651 27652 27653 27654 27655 27656 27657 27658 27659 27660 27661 27662 27663 27664 27665 27666 27667 27668 27669 27670 27671 27672 27673 27674 27675 27676 27677 27678 27679 27680 27681 27682 27683 27684 27685 27686 27687 27688 27689 27690 27691 27692 27693 27694 27695 27696 27697 27698 27699 27700 27701 27702 27703 27704 27705 27706 27707 27708 27709 27710 27711 27712 27713 27714 27715 27716 27717 27718 27719 27720 27721 27722 27723 27724 27725 27726 27727 27728 27729 27730 27731 27732 27733 27734 27735 27736 27737 27738 27739 27740 27741 27742 27743 27744 27745 27746 27747 27748 27749 27750 27751 27752 27753 27754 27755 27756 27757 27758 27759 27760 27761 27762 27763 27764 27765 27766 27767 27768 27769 27770 27771 27772 27773 27774 27775 27776 27777 27778 27779 27780 27781 27782 27783 27784 27785 27786 27787 27788 27789 27790 27791 27792 27793 27794 27795 27796 27797 27798 27799 27800 27801 27802 27803 27804 27806 27807 27808 27809 27810 27811 27812 27813 27814 27815 27816 27817 27818 27819 27820 27821 27822 27823 27824 27825 27826 27827 27828 27829 27830 27831 27832 27833 27834 27835 27836 27837 27839 27840 27859 27862 27864 27865 27866 27867 27868 27869 27870 27871 27872 27873 27874 27875 27876 27877 27878 27879 27880 27881 27882 27883 27884 27885 27886 27887 27888 27889 27890 27891 27892 27893 27894 27895 27896 27897 27898 27900 27901 27902 27903 27904 27905 27906 27907 27908 27909 27910 27911 27912 27919 27922 27937 27940 27941 27945 27947 27950 27953 27956 27960 27962 27964 27966 27979 27982 27983 27985 27988 27989 27994 27997 27999 28000 28001 28002 28003 28006 28007 28010 28013 28016 28019 28021 28022 28025 28027 28031 28033 28038 28039 28040 28043 28045 28048 28050 28052 28053 28054 28055 28056 28059 28062 28063 28064 28068 28071 28074 28077 28078 28080 28082 28083 28084 28085 28086 28092 28094 28098 28102 28107 28111 28119 28121 28125 28128 28131 28134 28137 28139 28140 28278 28280 28287 28289 28293 28297 28302 28306 28314 28316 28320 28323 28326 28329 28332 28335 28357 28360 28362 28363 28364 28365 28366 28367 28368 28370 28371 28373 28374 28376 28377 28379 28380 28381 28382 28383 28384 28385 28386 28387 28388 28389 28390 28393 28396 28397 28398 28400 28401 28429 28432 28434 28435 28436 28437 28438 28439 28440 28442 28443 28445 28446 28448 28449 28451 28452 28453 28454 28455 28456 28457 28458 28459 28460 28461 28462 28465 28468 28469 28470 28472 28473 28501 28504 28506 28507 28508 28509 28510 28511 28512 28514 28515 28517 28518 28520 28521 28523 28524 28525 28526 28527 28528 28529 28530 28531 28532 28533 28534 28537 28540 28541 28542 28544 28545 28573 28576 28578 28579 28580 28581 28582 28583 28584 28586 28587 28589 28590 28592 28593 28595 28596 28597 28598 28599 28600 28601 28602 28603 28604 28605 28606 28609 28612 28613 28614 28616 28617 28645 28648 28650 28651 28652 28653 28654 28655 28656 28658 28659 28661 28662 28664 28665 28667 28668 28669 28670 28671 28672 28673 28674 28675 28676 28677 28678 28681 28684 28685 28686 28688 28689 28717 28720 28722 28723 28724 28725 28726 28727 28728 28730 28731 28733 28734 28736 28737 28739 28740 28741 28742 28743 28744 28745 28746 28747 28748 28749 28750 28751 28752 28753 28754 28755 28756 28757 28758 28759 28760 28761 28762 28763 28764 28765 28768 28771 28772 28773 28775 28776 28804 28807 28809 28810 28811 28812 28813 28814 28815 28817 28818 28820 28821 28823 28824 28826 28827 28828 28829 28830 28831 28832 28833 28834 28835 28836 28837 28840 28843 28844 28845 28847 28848 28876 28879 28881 28882 28883 28884 28885 28886 28887 28889 28890 28892 28893 28895 28896 28898 28899 28900 28901 28902 28903 28904 28905 28906 28907 28908 28909 28912 28915 28916 28917 28919 28920 28948 28951 28953 28954 28955 28956 28957 28958 28959 28961 28962 28964 28965 28967 28968 28970 28971 28972 28973 28974 28975 28976 28977 28978 28979 28980 28981 28984 28987 28988 28989 28991 28992 29020 29023 29025 29026 29027 29028 29029 29030 29031 29033 29034 29036 29037 29039 29040 29042 29043 29044 29045 29046 29047 29048 29049 29050 29051 29052 29053 29056 29059 29060 29061 29063 29064 29092 29095 29097 29098 29099 29100 29101 29102 29103 29105 29106 29108 29109 29111 29112 29114 29115 29116 29117 29118 29119 29120 29121 29122 29123 29124 29125 29128 29131 29132 29133 29135 29136 29164 29167 29169 29170 29171 29172 29173 29174 29175 29177 29178 29180 29181 29183 29184 29186 29187 29188 29189 29190 29191 29192 29193 29194 29195 29196 29197 29198 29199 29200 29201 29202 29203 29204 29205 29206 29207 29208 29209 29210 29211 29212 29213 29214 29215 29216 29217 29218 29219 29220 29221 29222 29223 29224 29225 29226 29228 29229 29230 29231 29232 29233 29234 29235 29236 29237 29238 29239 29240 29241 29242 29243 29244 29251 29254 29256 29258 29259 29261 29262 29266 29269 29270 29274 29276 29281 29284 29285 29289 29291 29295 29297 29300 29303 29305 29306 29307 29308 29309 29310 29311 29312 29313 29314 29315 29316 29317 29318 29319 29320 29321 29322 29323 29324 29325 29326 29327 29328 29329 29330 29331 29332 29333 29334 29335 29336 29337 29338 29339 29340 29341 29342 29343 29344 29345 29346 29347 29348 29349 29350 29351 29352 29353 29354 29355 29356 29357 29358 29359 29360 29361 29362 29363 29364 29365 29366 29367 29368 29369 29370 29371 29372 29373 29374 29375 29376 29377 29379 29380 29381 29382 29383 29384 29385 29386 29387 29388 29389 29390 29391 29392 29393 29394 29395 29396 29397 29398 29399 29400 29401 29402 29403 29404 29405 29406 29407 29408 29409 29410 29411 29412 29413 29414 29415 29416 29417 29418 29419 29420 29421 29422 29423 29424 29425 29426 29427 29428 29429 29430 29431 29432 29433 29434 29435 29436 29437 29438 29439 29440 29441 29442 29443 29444 29445 29446 29447 29448 29449 29450 29451 29452 29453 29454 29455 29456 29457 29458 29459 29460 29461 29462 29463 29464 29465 29466 29467 29468 29469 29470 29471 29472 29473 29474 29475 29476 29477 29478 29479 29480 29481 29482 29483 29484 29485 29486 29487 29488 29489 29490 29491 29492 29493 29494 29495 29496 29497 29498 29499 29500 29501 29502 29503 29504 29505 29506 29507 29508 29509 29510 29511 29512 29513 29514 29515 29516 29517 29518 29519 29520 29521 29522 29523 29524 29525 29526 29527 29528 29529 29530 29531 29532 29533 29534 29535 29536 29537 29538 29539 29540 29541 29542 29543 29544 29545 29546 29547 29548 29549 29550 29551 29552 29553 29554 29555 29556 29557 29558 29559 29560 29561 29562 29563 29564 29565 29566 29567 29568 29569 29570 29571 29572 29573 29574 29575 29576 29577 29578 29579 29580 29581 29582 29583 29584 29585 29586 29587 29588 29589 29590 29591 29592 29593 29594 29595 29596 29597 29598 29599 29600 29601 29602 29603 29604 29605 29606 29607 29608 29609 29610 29611 29612 29613 29614 29615 29616 29617 29618 29619 29620 29621 29622 29623 29624 29625 29626 29627 29628 29629 29630 29631 29632 29633 29634 29635 29636 29637 29638 29639 29640 29641 29642 29643 29644 29645 29646 29647 29648 29649 29650 29651 29652 29653 29654 29655 29656 29657 29658 29659 29660 29661 29662 29663 29664 29665 29666 29667 29668 29669 29670 29671 29672 29673 29674 29675 29676 29677 29678 29679 29680 29681 29682 29683 29684 29685 29686 29687 29688 29689 29690 29691 29692 29693 29694 29695 29696 29697 29698 29699 29700 29701 29702 29703 29704 29705 29706 29707 29708 29709 29710 29711 29712 29713 29714 29715 29716 29717 29718 29719 29720 29721 29722 29723 29724 29725 29726 29727 29728 29729 29730 29731 29732 29733 29734 29735 29736 29737 29738 29739 29740 29741 29742 29743 29744 29745 29746 29747 29748 29749 29750 29751 29752 29753 29754 29755 29756 29757 29758 29759 29760 29761 29762 29763 29764 29765 29766 29767 29768 29769 29770 29771 29772 29773 29774 29775 29776 29777 29778 29779 29780 29781 29782 29783 29784 29785 29786 29787 29788 29789 29790 29791 29792 29793 29794 29795 29796 29797 29798 29799 29800 29801 29802 29803 29804 29805 29806 29807 29808 29809 29810 29811 29812 29813 29814 29815 29816 29817 29818 29819 29820 29821 29822 29823 29824 29825 29826 29827 29828 29829 29830 29831 29832 29833 29834 29835 29836 29837 29838 29839 29840 29841 29842 29843 29844 29845 29846 29847 29848 29849 29850 29851 29852 29853 29854 29855 29856 29857 29858 29859 29860 29861 29862 29863 29864 29865 29866 29867 29868 29869 29870 29871 29872 29873 29874 29875 29876 29877 29878 29879 29880 29881 29882 29883 29884 29885 29886 29887 29888 29889 29890 29891 29892 29893 29894 29895 29896 29897 29898 29899 29900 29901 29902 29903 29904 29905 29906 29907 29908 29909 29910 29911 29912 29913 29914 29915 29916 29917 29918 29919 29920 29921 29922 29923 29924 29925 29926 29927 29928 29929 29930 29931 29932 29933 29934 29935 29936 29937 29938 29939 29940 29941 29942 29943 29944 29945 29946 29947 29948 29949 29950 29951 29952 29953 29954 29955 29956 29957 29958 29959 29960 29961 29962 29963 29964 29965 29966 29967 29968 29969 29970 29971 29972 29973 29974 29975 29976 29977 29978 29979 29980 29981 29982 29983 29984 29985 29986 29987 29988 29989 29990 29991 29992 29993 29994 29995 29996 29997 29998 29999 30000 30001 30002 30003 30004 30005 30006 30007 30008 30009 30010 30011 30012 30013 30014 30015 30016 30017 30018 30019 30020 30021 30022 30023 30024 30025 30026 30027 30028 30029 30030 30031 30032 30033 30034 30035 30036 30037 30038 30039 30040 30041 30042 30043 30044 30045 30046 30047 30048 30049 30050 30051 30052 30053 30054 30055 30056 30057 30058 30059 30060 30061 30062 30063 30064 30065 30066 30067 30068 30069 30070 30071 30072 30073 30074 30075 30076 30077 30078 30079 30080 30081 30082 30083 30084 30085 30086 30087 30088 30089 30090 30091 30092 30093 30094 30095 30096 30097 30098 30099 30100 30101 30102 30103 30104 30105 30106 30107 30108 30109 30110 30111 30112 30113 30114 30115 30116 30117 30118 30119 30120 30121 30122 30123 30124 30125 30126 30127 30128 30129 30130 30131 30132 30133 30134 30135 30136 30137 30138 30139 30140 30141 30142 30143 30144 30145 30146 30147 30148 30149 30150 30151 30152 30153 30154 30155 30156 30157 30158 30159 30160 30161 30162 30163 30164 30165 30166 30167 30168 30169 30170 30171 30172 30173 30174 30177 30180 30181 30182 30186 30189 30190 30191 30195 30198 30199 30200 30204 30207 30208 30209 30213 30216 30217 30218 30222 30225 30226 30227 30231 30234 30237 30240 30243 30745 30748 30750 30751 30752 30753 30754 30755 30756 30757 30758 30759 30760 30761 30762 30763 30764 30765 30766 30767 30768 30769 30770 30771 30772 30773 30774 30775 30776 30777 30778 30779 30780 30781 30782 30783 30784 30785 30786 30787 30788 30789 30799 30800 30801 30817 30821 30823 30825 30826 30827 30828 30829 30830 30831 30832 30833 30834 30835 30836 30837 30838 30839 30840 30841 30842 30843 30844 30845 30846 30847 30848 30849 30850 30851 30852 30853 30854 30855 30856 30857 30858 30868 30869 30870 30871 30872 30873 30889 30893 30896 30899 30901 30903 30904 30905 30906 30907 30908 30909 30910 30911 30912 30913 30914 30915 30916 30917 30918 30919 30920 30921 30922 30923 30924 30925 30926 30927 30928 30929 30930 30931 30932 30933 30934 30935 30936 30946 30947 30948 30949 30950 30951 30955 30959 30962 30965 30967 30969 30970 30971 30972 30973 30974 30975 30976 30977 30978 30979 30980 30981 30982 30983 30984 30985 30986 30987 30988 30989 30990 30991 30992 30993 30994 30995 30996 30997 30998 30999 31010 31012 31014 31015 31016 31017 31018 31019 31020 31021 31022 31023 31024 31025 31026 31027 31028 31029 31030 31031 31032 31033 31034 31035 31045 31046 31047 31048 31049 31050 31051 31052 31053 31054 31055 31056 31057 31058 31059 31060 31061 31062 31063 31064 31065 31066 31067 31068 31069 31070 31071 31072 31073 31074 31075 31076 31077 31078 31079 31080 31081 31082 31083 31084 31085 31086 31087 31088 31089 31099 31100 31101 31102 31103 31104 31105 31106 31107 31108 31109 31110 31111 31112 31113 31114 31115 31116 31147 31148 31149 31150 31151 31152 31153 31154 31155 31156 31157 31158 31159 31160 31161 31162 31163 31164 31165 31166 31167 31168 31169 31170 31171 31172 31173 31174 31175 31176 31177 31178 31179 31180 31181 31182 31183 31184 31185 31186 31187 31188 31189 31190 31191 31192 31193 31194 31195 31196 31197 31198 31199 31200 31201 31202 31203 31204 31205 31206 31207 31208 31209 31210 31211 31212 31213 31214 31215 31216 31217 31218 31219 31221 31222 31223 31224 31225 31226 31227 31228 31229 31230 31231 31232 31233 31234 31235 31236 31237 31238 31239 31240 31241 31242 31243 31244 31245 31246 31247 31248 31249 31250 31251 31252 31253 31254 31255 31256 31257 31258 31259 31260 31261 31262 31263 31264 31265 31266 31267 31268 31269 31270 31271 31272 31273 31274 31275 31276 31277 31278 31279 31280 31281 31282 31283 31284 31285 31286 31287 31288 31289 31290 31291 31292 31293 31294 31295 31296 31297 31298 31299 31300 31301 31302 31303 31304 31305 31306 31307 31308 31309 31310 31311 31312 31313 31314 31315 31316 31317 31318 31319 31320 31321 31322 31323 31324 31325 31326 31327 31328 31329 31330 31331 31332 31333 31334 31335 31336 31337 31338 31339 31340 31341 31342 31343 31344 31345 31346 31347 31348 31349 31350 31351 31352 31353 31354 31355 31356 31357 31358 31359 31360 31361 31362 31363 31364 31365 31366 31367 31368 31369 31370 31371 31372 31373 31374 31375 31376 31377 31378 31379 31380 31381 31382 31383 31384 31385 31386 31387 31388 31389 31390 31391 31392 31393 31394 31395 31396 31397 31398 31399 31400 31401 31402 31403 31404 31405 31406 31407 31408 31409 31410 31411 31412 31413 31414 31415 31416 31417 31418 31419 31420 31421 31422 31423 31424 31425 31426 31427 31428 31429 31430 31431 31432 31433 31434 31435 31436 31437 31438 31439 31440 31441 31442 31443 31444 31445 31446 31447 31448 31449 31450 31451 31452 31453 31454 31455 31456 31457 31458 31459 31460 31461 31462 31463 31464 31465 31466 31467 31468 31469 31470 31471 31472 31473 31474 31475 31476 31477 31478 31479 31480 31481 31482 31483 31484 31485 31486 31487 31488 31489 31490 31491 31492 31493 31494 31495 31496 31497 31498 31499 31500 31501 31502 31503 31504 31505 31506 31507 31508 31509 31510 31511 31512 31513 31514 31515 31516 31517 31518 31519 31520 31521 31522 31523 31524 31525 31526 31527 31528 31529 31530 31531 31532 31533 31534 31535 31536 31537 31538 31539 31540 31541 31542 31543 31544 31545 31546 31547 31548 31549 31550 31551 31552 31553 31554 31555 31556 31557 31558 31559 31560 31561 31562 31563 31564 31565 31566 31567 31568 31569 31570 31571 31572 31573 31574 31575 31576 31577 31578 31579 31580 31581 31582 31583 31584 31585 31586 31587 31588 31589 31590 31591 31592 31593 31594 31595 31596 31597 31598 31599 31600 31601 31602 31603 31604 31605 31606 31607 31608 31609 31610 31611 31612 31613 31614 31615 31616 31617 31618 31619 31620 31621 31622 31623 31624 31625 31626 31627 31628 31629 31630 31631 31632 31633 31634 31635 31636 31637 31638 31639 31640 31641 31642 31643 31644 31645 31646 31647 31648 31649 31650 31651 31652 31653 31654 31655 31656 31657 31658 31659 31660 31661 31662 31663 31664 31665 31666 31667 31668 31669 31670 31671 31672 31673 31674 31675 31676 31677 31678 31679 31680 31681 31682 31683 31684 31685 31686 31687 31688 31689 31690 31691 31692 31693 31694 31695 31696 31697 31698 31699 31700 31701 31702 31703 31704 31705 31706 31707 31708 31709 31710 31711 31712 31713 31714 31715 31716 31717 31718 31719 31720 31721 31722 31723 31724 31725 31726 31727 31728 31729 31730 31731 31732 31733 31734 31735 31736 31737 31738 31739 31740 31741 31742 31743 31744 31745 31746 31747 31748 31749 31750 31751 31752 31753 31754 31755 31756 31757 31758 31759 31760 31761 31762 31763 31764 31765 31766 31767 31768 31769 31770 31771 31772 31773 31774 31775 31776 31777 31778 31779 31780 31781 31782 31783 31784 31785 31786 31787 31788 31789 31790 31791 31792 31793 31794 31795 31796 31797 31798 31799 31800 31801 31802 31803 31804 31805 31806 31807 31808 31809 31810 31811 31812 31813 31814 31815 31816 31817 31818 31819 31820 31821 31822 31823 31824 31825 31826 31827 31828 31829 31830 31831 31832 31833 31834 31835 31836 31837 31838 31839 31840 31841 31842 31843 31844 31845 31846 31847 31848 31849 31850 31851 31852 31853 31854 31855 31856 31857 31858 31859 31860 31861 31862 31863 31864 31865 31866 31867 31868 31869 31870 31871 31872 31873 31874 31875 31876 31877 31878 31879 31880 31881 31882 31883 31884 31885 31886 31887 31888 31889 31890 31891 31892 31893 31894 31895 31896 31897 31898 31899 31900 31901 31902 31903 31904 31905 31906 31907 31908 31909 31910 31911 31912 31913 31914 31915 31916 31917 31918 31919 31920 31921 31922 31923 31924 31925 31926 31927 31928 31929 31930 31931 31932 31933 31934 31935 31936 31937 31938 31939 31940 31941 31942 31943 31944 31945 31946 31947 31948 31949 31950 31951 31952 31953 31954 31955 31956 31957 31958 31959 31960 31961 31962 31963 31964 31965 31966 31967 31968 31969 31970 31971 31972 31973 31974 31975 31976 31977 31978 31979 31980 31981 31982 31983 31984 31985 31986 31987 31988 31989 31990 31991 31992 31993 31994 31995 31996 31997 31998 31999 32000 32001 32002 32003 32004 32005 32006 32007 32008 32009 32010 32011 32012 32013 32014 32015 32016 32017 32018 32019 32020 32021 32022 32023 32024 32025 32026 32027 32028 32029 32030 32031 32032 32033 32034 32035 32036 32037 32038 32039 32040 32041 32042 32043 32044 32045 32046 32047 32048 32049 32050 32051 32052 32053 32054 32055 32056 32057 32058 32059 32060 32061 32062 32063 32064 32065 32066 32067 32068 32069 32070 32071 32072 32073 32074 32075 32076 32077 32078 32079 32080 32081 32082 32083 32084 32085 32088 32091 32092 32093 32097 32100 32101 32102 32106 32109 32110 32111 32115 32118 32119 32120 32124 32127 32128 32129 32133 32136 32137 32138 32142 32145 32148 32151 32154 32656 32659 32661 32662 32663 32664 32665 32666 32667 32668 32669 32670 32671 32672 32673 32674 32675 32676 32677 32678 32679 32680 32681 32682 32683 32684 32685 32686 32687 32688 32689 32690 32691 32692 32693 32694 32695 32696 32697 32698 32699 32700 32701 32702 32703 32713 32714 32715 32734 32737 32739 32740 32741 32742 32743 32744 32745 32746 32747 32748 32749 32750 32751 32752 32753 32754 32755 32756 32757 32758 32759 32760 32761 32762 32763 32764 32765 32766 32767 32768 32769 32770 32771 32772 32773 32774 32775 32776 32777 32778 32788 32789 32790 32791 32792 32793 32806 32809 32811 32812 32813 32814 32815 32816 32817 32818 32819 32820 32821 32822 32823 32824 32825 32826 32827 32828 32829 32830 32831 32832 32833 32834 32835 32836 32837 32838 32839 32840 32841 32842 32843 32844 32845 32846 32847 32848 32849 32850 32851 32852 32853 32854 32855 32856 32866 32867 32868 32869 32870 32871 32872 32876 32879 32882 32885 32887 32889 32890 32891 32892 32893 32894 32895 32896 32897 32898 32899 32900 32901 32902 32903 32904 32905 32906 32907 32908 32909 32910 32911 32912 32913 32914 32915 32916 32917 32918 32919 32930 32932 32934 32935 32936 32937 32938 32939 32940 32941 32942 32943 32944 32945 32946 32947 32948 32949 32950 32951 32952 32953 32954 32955 32965 32966 32967 32968 32969 32970 32971 32972 32973 32974 32975 32976 32977 32978 32979 32980 32981 32982 32992 32993 32994 32995 32996 32997 32998 32999 33000 33001 33002 33003 33004 33005 33006 33007 33008 33009 33010 33011 33012 33013 33014 33015 33016 33017 33018 33028 33029 33030 33031 33032 33033 33034 33035 33036 33037 33038 33039 33040 33041 33042 33043 33044 33045 33079 33082 33113 33116 33119 33310 33313 33317 33319 33321 33323 33324 33330 33332 33334 33338 33339 33341 33342 33345 33349 33352 33354 33356 33357 33358 33359 33360 33362 33363 33364 33366 33367 33368 33369 33370 33372 33374 33375 33376 33377 33378 33379 33380 33381 33382 33383 33384 33385 33386 33387 33388 33389 33390 33391 33392 33393 33394 33395 33396 33397 33399 33401 33402 33403 33404 33405 33408 33411 33412 33413 33417 33420 33421 33422 33426 33429 33430 33431 33435 33438 33439 33441 33442 33443 33444 33445 33446 33447 33448 33449 33450 33451 33452 33453 33455 33456 33457 33459 33460 33461 33462 33463 33465 33467 33468 33469 33470 33471 33472 33473 33474 33475 33476 33477 33478 33479 33480 33481 33482 33483 33484 33485 33486 33487 33488 33489 33490 33492 33494 33495 33496 33497 33498 33501 33504 33505 33506 33510 33513 33514 33515 33519 33522 33523 33524 33528 33531 33532 33534 33535 33536 33537 33538 33539 33540 33541 33542 33543 33544 33545 33546 33547 33548 33549 33550 33551 33552 33553 33554 33555 33558 33561 33562 33563 33570 33572 33579 33581 33585 33589 33594 33597 33600 33603 33606 33607 33608 33612 33615 33616 33617 33621 33624 33625 33626 33630 33633 33634 33635 33639 33642 33643 33644 33648 33651 33652 33653 33657 33660 33661 33662 33666 33669 33670 33671 33675 33678 33681 33684 33687 33690 33693 33696 33699 33700 33701 33705 33708 33709 33710 33714 33717 33718 33719 33723 33726 33727 33728 33732 33735 33736 33737 33741 33744 33745 33746 33750 33753 33754 33755 33759 33762 33763 33764 33768 33771 33774 33777 33780 33783 33786 33789 33792 33794 33795 33796 33797 33798 33799 33800 33801 33802 33803 33804 33805 33809 33810 33812 33813 33819 33821 33825 33829 33834 33835 33837 33838 33839 33840 33841 33842 33843 33844 33845 33846 33847 33848 33849 33850 33851 33852 33853 33854 33855 33856 33857 33858 33859 33860 33861 33862 33863 33864 33865 33866 33867 33868 33869 33870 33871 33872 33873 33874 33875 33876 33877 33878 33879 33880 33881 33882 33883 33884 33885 33886 33887 33888 33889 33890 33891 33892 33893 33894 33895 33896 33897 33898 33899 33900 33901 33902 33903 33904 33905 33906 33907 33908 33909 33910 33911 33912 33913 33914 33915 33916 33917 33918 33919 33920 33921 33922 33923 33924 33925 33926 33927 33928 33929 33930 33931 33932 33933 34038 34041 34042 34043 34050 34052 34059 34061 34065 34069 34074 34077 34080 34081 34082 34083 34084 34085 34086 34087 34088 34089 34090 34091 34092 34093 34094 34095 34096 34097 34098 34099 34100 34101 34102 34103 34104 34105 34106 34107 34108 34109 34110 34111 34112 34113 34114 34115 34116 34117 34118 34119 34120 34121 34122 34123 34124 34125 34126 34127 34128 34129 34130 34131 34132 34133 34134 34135 34136 34137 34138 34139 34140 34141 34142 34143 34144 34145 34146 34147 34148 34149 34150 34151 34152 34153 34154 34155 34156 34157 34158 34159 34160 34161 34162 34163 34164 34165 34166 34167 34168 34169 34170 34171 34172 34173 34312 34316 34320 34321 34325 34329 34330 34331 34333 34334 34338 34339 34343 34347 34358 34360 34365 34367 34369 34374 34376 34378 34383 34384 34385 34387 34388 34391 34393 34394 34396 34397 34399 34400 34402 34403 34405 34407 34409 34410 34411 34412 34413 34414 34416 34418 34419 34420 34421 34422 34423 34424 34425 34426 34427 34428 34429 34430 34431 34432 34434 34436 34437 34438 34439 34440 34443 34446 34447 34448 34451 34452 34453 34455 34456 34457 34458 34460 34461 34462 34464 34465 34466 34467 34469 34470 34471 34473 34474 34475 34476 34477 34478 34479 34480 34481 34482 34484 34485 34486 34487 34488 34489 34490 34491 34492 34493 34494 34495 34496 34497 34525 34528 34530 34531 34532 34533 34534 34535 34536 34538 34539 34541 34542 34544 34545 34547 34548 34549 34551 34552 34555 34558 34559 34560 34562 34563 34591 34594 34596 34597 34598 34599 34600 34601 34602 34604 34605 34607 34608 34610 34611 34613 34614 34615 34616 34617 34618 34619 34620 34621 34624 34627 34628 34629 34631 34632 34642 34645 34647 34648 34649 34650 34651 34652 34653 34655 34656 34658 34659 34661 34662 34664 34665 34667 34670 34675 34676 34677 34723 34728 34730 34753 34758 34760 34783 34788 34791 34804 34809 34819 34823 34834 34839 34841 34844 34848 34850 34853 34856 34859 34862 34865 34867 34880 34883 34885 34888 34892 34896 34927 34931 34933 34941 34943 34947 34951 34956 34960 34968 34970 34977 34979 34983 34986 34989 34992 34995 34998 35000 35001 35223 35225 35232 35234 35241 35243 35247 35251 35256 35260 35268 35270 35274 35277 35280 35283 35286 35289 35317 35320 35322 35324 35325 35327 35328 35330 35331 35333 35334 35336 35337 35339 35340 35341 35344 35347 35348 35349 35351 35352 35362 35365 35367 35368 35369 35370 35371 35372 35373 35375 35376 35378 35379 35381 35382 35384 35385 35395 35398 35401 35405 35406 35443 35446 35448 35450 35451 35453 35454 35456 35457 35459 35460 35462 35463 35465 35466 35467 35470 35473 35474 35475 35477 35478 35488 35491 35493 35494 35495 35496 35497 35498 35499 35501 35502 35504 35505 35507 35508 35510 35511 35521 35524 35527 35531 35532 35569 35572 35574 35576 35577 35579 35580 35582 35583 35585 35586 35588 35589 35591 35592 35593 35596 35599 35600 35601 35603 35604 35614 35617 35619 35620 35621 35622 35623 35624 35625 35627 35628 35630 35631 35633 35634 35636 35637 35647 35650 35653 35657 35658 35695 35698 35700 35702 35703 35705 35706 35708 35709 35711 35712 35714 35715 35717 35718 35719 35722 35725 35726 35727 35729 35730 35740 35743 35745 35746 35747 35748 35749 35750 35751 35753 35754 35756 35757 35759 35760 35762 35763 35773 35776 35779 35783 35784 35821 35824 35826 35828 35829 35831 35832 35834 35835 35837 35838 35840 35841 35843 35844 35845 35848 35851 35852 35853 35855 35856 35866 35869 35871 35872 35873 35874 35875 35876 35877 35879 35880 35882 35883 35885 35886 35888 35889 35899 35902 35905 35909 35910 35947 35950 35952 35954 35955 35957 35958 35960 35961 35963 35964 35966 35967 35969 35970 35971 35974 35977 35978 35979 35981 35982 35992 35995 35997 35998 35999 36000 36001 36002 36003 36005 36006 36008 36009 36011 36012 36014 36015 36040 36043 36046 36050 36051 36088 36091 36093 36095 36096 36098 36099 36101 36102 36104 36105 36107 36108 36110 36111 36121 36124 36127 36131 36132 36169 36172 36174 36176 36177 36179 36180 36182 36183 36185 36186 36188 36189 36191 36192 36202 36205 36208 36212 36213 36250 36253 36255 36257 36258 36260 36261 36263 36264 36266 36267 36269 36270 36272 36273 36283 36286 36289 36293 36294 36331 36334 36336 36338 36339 36341 36342 36344 36345 36347 36348 36350 36351 36353 36354 36364 36367 36370 36374 36375 36412 36415 36417 36419 36420 36422 36423 36425 36426 36428 36429 36431 36432 36434 36435 36445 36448 36451 36455 36456 36493 36496 36498 36500 36501 36503 36504 36506 36507 36509 36510 36512 36513 36515 36516 36544 36547 36548 36549 36550 36551 36554 36557 36559 36561 36562 36563 36564 36566 36567 36568 36569 36570 36572 36573 36583 36588 36590 36594 36604 36608 36612 36614 36619 36623 36627 36629 36633 36640 36643 36644 36645 36646 36647 36648 36649 36650 36651 36652 36653 36654 36655 36656 36657 36658 36659 36660 36661 36662 36663 36664 36665 36666 36667 36668 36669 36670 36671 36672 36673 36674 36675 36676 36677 36678 36679 36680 36681 36682 36683 36684 36685 36686 36687 36688 36689 36690 36691 36692 36693 36694 36695 36696 36697 36698 36699 36700 36701 36702 36703 36704 36705 36706 36707 36708 36709 36710 36711 36713 36714 36715 36717 36718 36719 36720 36790 36793 36796 36799 36800 36801 36802 36803 36804 36805 36806 36807 36808 36809 36810 36811 36812 36813 36814 36815 36816 36817 36818 36819 36820 36821 36822 36823 36824 36825 36826 36827 36828 36829 36830 36831 36832 36833 36834 36835 36836 36837 36838 36839 36840 36841 36842 36843 36844 36845 36846 36847 36848 36849 36850 36851 36852 36853 36854 36855 36856 36857 36858 36859 36860 36861 36862 36863 36864 36865 36866 36867 36869 36870 36871 36873 36874 36875 36876 36877 36878 36879 36880 36881 36882 36883 36884 36885 36886 36887 36888 36889 36890 36891 36892 36893 36894 36895 36896 36897 36898 36899 36900 36901 36902 36903 36904 36905 36906 36907 36908 36909 36910 36911 36912 36913 36914 36915 36916 36917 36918 36919 36920 36921 36922 36923 36924 36925 36926 36927 36928 36929 36930 36931 36932 36933 36934 36935 36936 36937 36938 36939 36940 36941 36942 36943 36944 36945 36946 36947 36948 36949 36950 36951 36952 36953 36954 36955 36956 36957 36958 36959 36960 36961 36962 36963 36964 36965 36966 36967 36968 36969 36970 36971 36972 36973 36974 36975 36976 36977 36978 36979 36980 36981 36982 36983 36984 36985 36986 36987 36988 36989 36990 36991 36992 36993 36994 36995 36996 36997 36998 36999 37000 37001 37002 37003 37004 37005 37006 37007 37008 37009 37010 37011 37012 37013 37014 37015 37016 37017 37018 37019 37020 37021 37022 37023 37024 37025 37026 37027 37028 37029 37030 37031 37032 37033 37034 37035 37036 37037 37038 37039 37040 37041 37042 37043 37044 37045 37046 37047 37048 37049 37050 37051 37052 37053 37054 37055 37056 37057 37058 37059 37060 37061 37062 37063 37064 37065 37066 37067 37068 37069 37070 37071 37072 37073 37074 37075 37076 37077 37078 37079 37080 37081 37082 37083 37084 37085 37086 37087 37088 37089 37090 37091 37092 37093 37094 37095 37096 37097 37098 37099 37100 37101 37102 37103 37104 37105 37106 37107 37108 37109 37110 37111 37112 37113 37114 37115 37116 37117 37118 37119 37120 37121 37122 37123 37124 37125 37126 37127 37128 37129 37130 37131 37132 37133 37134 37135 37136 37137 37138 37139 37140 37141 37142 37143 37144 37145 37146 37147 37148 37149 37150 37151 37152 37153 37154 37155 37156 37157 37158 37159 37160 37161 37162 37163 37164 37165 37166 37167 37168 37169 37170 37171 37172 37173 37174 37175 37176 37177 37178 37179 37180 37181 37182 37183 37184 37185 37186 37187 37188 37189 37190 37191 37192 37193 37194 37195 37196 37197 37198 37199 37200 37201 37202 37203 37204 37205 37206 37207 37208 37209 37210 37211 37212 37213 37214 37215 37216 37217 37218 37219 37220 37221 37222 37223 37224 37225 37226 37227 37228 37229 37230 37231 37232 37233 37234 37235 37236 37237 37238 37239 37240 37241 37242 37243 37244 37245 37246 37247 37248 37249 37250 37251 37252 37253 37254 37255 37256 37257 37258 37259 37260 37261 37262 37263 37264 37265 37266 37267 37268 37269 37270 37271 37272 37273 37274 37275 37276 37277 37278 37279 37280 37281 37282 37283 37284 37285 37286 37287 37288 37289 37290 37291 37292 37293 37294 37295 37296 37297 37298 37299 37300 37301 37302 37303 37304 37305 37306 37307 37308 37309 37310 37311 37312 37313 37314 37315 37316 37317 37318 37319 37320 37321 37322 37323 37324 37325 37326 37327 37328 37329 37330 37331 37332 37333 37334 37335 37336 37337 37338 37339 37340 37341 37342 37343 37344 37345 37346 37347 37348 37349 37350 37351 37352 37353 37354 37355 37356 37357 37358 37359 37360 37361 37362 37363 37364 37365 37366 37367 37368 37369 37370 37371 37372 37373 37374 37375 37376 37377 37378 37379 37380 37381 37382 37383 37384 37385 37386 37387 37388 37389 37390 37391 37392 37393 37394 37395 37396 37397 37398 37399 37400 37401 37402 37403 37404 37405 37406 37407 37408 37409 37410 37411 37412 37413 37414 37415 37416 37417 37418 37419 37420 37421 37422 37423 37424 37425 37426 37427 37428 37429 37430 37431 37432 37433 37434 37435 37436 37437 37438 37439 37440 37441 37442 37443 37444 37445 37446 37447 37448 37449 37450 37451 37452 37453 37454 37455 37456 37457 37458 37459 37460 37461 37462 37463 37464 37465 37466 37467 37468 37469 37470 37471 37472 37473 37474 37475 37476 37477 37478 37479 37480 37481 37482 37483 37484 37485 37486 37487 37488 37489 37490 37491 37492 37493 37494 37495 37496 37497 37498 37499 37500 37501 37502 37503 37504 37505 37506 37507 37508 37509 37510 37511 37512 37513 37514 37515 37516 37517 37518 37519 37520 37521 37522 37523 37524 37525 37526 37527 37528 37529 37530 37531 37532 37533 37534 37535 37536 37537 37538 37539 37540 37541 37542 37543 37544 37545 37546 37547 37548 37549 37550 37551 37552 37553 37554 37555 37556 37557 37558 37559 37560 37561 37562 37563 37564 37565 37566 37567 37568 37569 37570 37571 37572 37573 37574 37575 37576 37577 37578 37579 37580 37581 37582 37583 37584 37585 37586 37587 37588 37589 37590 37593 37596 37597 37598 37602 37605 37606 37607 37611 37614 37615 37616 37620 37623 37624 37625 37629 37632 37633 37634 37638 37641 37642 37643 37647 37650 37653 37656 37659 38305 38308 38310 38311 38312 38313 38314 38315 38316 38317 38318 38319 38320 38321 38322 38323 38324 38325 38326 38327 38328 38329 38330 38331 38332 38333 38334 38335 38336 38337 38338 38339 38340 38341 38342 38343 38345 38346 38348 38349 38350 38351 38352 38353 38354 38355 38365 38366 38367 38368 38369 38370 38392 38396 38398 38400 38401 38402 38403 38404 38405 38406 38407 38408 38409 38410 38411 38412 38413 38414 38415 38416 38417 38418 38419 38420 38421 38422 38423 38424 38425 38426 38427 38428 38429 38430 38432 38433 38434 38435 38436 38437 38438 38439 38449 38450 38451 38452 38455 38456 38457 38473 38477 38480 38483 38485 38487 38488 38489 38490 38491 38492 38493 38494 38495 38496 38497 38498 38499 38500 38501 38502 38503 38504 38505 38506 38507 38508 38509 38510 38511 38512 38513 38514 38516 38517 38519 38520 38521 38522 38523 38524 38525 38526 38536 38537 38538 38539 38542 38543 38544 38548 38552 38555 38558 38560 38562 38563 38564 38565 38566 38567 38568 38569 38570 38571 38572 38573 38574 38575 38576 38577 38578 38579 38580 38581 38582 38583 38584 38585 38586 38588 38589 38591 38592 38593 38594 38595 38596 38597 38598 38609 38611 38613 38614 38615 38616 38617 38618 38619 38620 38621 38622 38623 38624 38625 38626 38627 38628 38629 38630 38631 38633 38634 38635 38636 38637 38647 38648 38649 38650 38651 38652 38653 38654 38655 38656 38657 38658 38659 38660 38661 38663 38664 38665 38666 38667 38668 38669 38670 38671 38672 38673 38674 38675 38676 38677 38678 38679 38680 38681 38682 38683 38684 38685 38686 38687 38688 38690 38691 38693 38694 38695 38696 38697 38698 38699 38700 38710 38711 38712 38713 38714 38715 38716 38717 38718 38719 38720 38721 38722 38723 38724 38726 38727 38728 38729 38730 38761 38762 38763 38764 38765 38766 38767 38768 38769 38770 38771 38772 38773 38774 38775 38776 38777 38778 38779 38780 38781 38782 38783 38784 38785 38786 38787 38788 38789 38790 38791 38792 38793 38794 38795 38796 38797 38798 38799 38800 38801 38802 38803 38804 38805 38806 38807 38808 38809 38810 38811 38812 38813 38814 38815 38816 38817 38818 38819 38820 38821 38822 38823 38824 38825 38826 38827 38828 38829 38831 38832 38833 38835 38836 38837 38838 38908 38911 38914 38917 38918 38919 38920 38921 38922 38923 38924 38925 38926 38927 38928 38929 38930 38931 38932 38933 38934 38935 38936 38937 38938 38939 38940 38941 38942 38943 38944 38945 38946 38947 38948 38949 38950 38951 38952 38953 38954 38955 38956 38957 38958 38959 38960 38961 38962 38963 38964 38965 38966 38967 38968 38969 38970 38971 38972 38973 38974 38975 38976 38977 38978 38979 38980 38981 38982 38983 38984 38985 38987 38988 38989 38991 38992 38993 38994 38995 38996 38997 38998 38999 39000 39001 39002 39003 39004 39005 39006 39007 39008 39009 39010 39011 39012 39013 39014 39015 39016 39017 39018 39019 39020 39021 39022 39023 39024 39025 39026 39027 39028 39029 39030 39031 39032 39033 39034 39035 39036 39037 39038 39039 39040 39041 39042 39043 39044 39045 39046 39047 39048 39049 39050 39051 39052 39053 39054 39055 39056 39057 39058 39059 39060 39061 39062 39063 39064 39065 39066 39067 39068 39069 39070 39071 39072 39073 39074 39075 39076 39077 39078 39079 39080 39081 39082 39083 39084 39085 39086 39087 39088 39089 39090 39091 39092 39093 39094 39095 39096 39097 39098 39099 39100 39101 39102 39103 39104 39105 39106 39107 39108 39109 39110 39111 39112 39113 39114 39115 39116 39117 39118 39119 39120 39121 39122 39123 39124 39125 39126 39127 39128 39129 39130 39131 39132 39133 39134 39135 39136 39137 39138 39139 39140 39141 39142 39143 39144 39145 39146 39147 39148 39149 39150 39151 39152 39153 39154 39155 39156 39157 39158 39159 39160 39161 39162 39163 39164 39165 39166 39167 39168 39169 39170 39171 39172 39173 39174 39175 39176 39177 39178 39179 39180 39181 39182 39183 39184 39185 39186 39187 39188 39189 39190 39191 39192 39193 39194 39195 39196 39197 39198 39199 39200 39201 39202 39203 39204 39205 39206 39207 39208 39209 39210 39211 39212 39213 39214 39215 39216 39217 39218 39219 39220 39221 39222 39223 39224 39225 39226 39227 39228 39229 39230 39231 39232 39233 39234 39235 39236 39237 39238 39239 39240 39241 39242 39243 39244 39245 39246 39247 39248 39249 39250 39251 39252 39253 39254 39255 39256 39257 39258 39259 39260 39261 39262 39263 39264 39265 39266 39267 39268 39269 39270 39271 39272 39273 39274 39275 39276 39277 39278 39279 39280 39281 39282 39283 39284 39285 39286 39287 39288 39289 39290 39291 39292 39293 39294 39295 39296 39297 39298 39299 39300 39301 39302 39303 39304 39305 39306 39307 39308 39309 39310 39311 39312 39313 39314 39315 39316 39317 39318 39319 39320 39321 39322 39323 39324 39325 39326 39327 39328 39329 39330 39331 39332 39333 39334 39335 39336 39337 39338 39339 39340 39341 39342 39343 39344 39345 39346 39347 39348 39349 39350 39351 39352 39353 39354 39355 39356 39357 39358 39359 39360 39361 39362 39363 39364 39365 39366 39367 39368 39369 39370 39371 39372 39373 39374 39375 39376 39377 39378 39379 39380 39381 39382 39383 39384 39385 39386 39387 39388 39389 39390 39391 39392 39393 39394 39395 39396 39397 39398 39399 39400 39401 39402 39403 39404 39405 39406 39407 39408 39409 39410 39411 39412 39413 39414 39415 39416 39417 39418 39419 39420 39421 39422 39423 39424 39425 39426 39427 39428 39429 39430 39431 39432 39433 39434 39435 39436 39437 39438 39439 39440 39441 39442 39443 39444 39445 39446 39447 39448 39449 39450 39451 39452 39453 39454 39455 39456 39457 39458 39459 39460 39461 39462 39463 39464 39465 39466 39467 39468 39469 39470 39471 39472 39473 39474 39475 39476 39477 39478 39479 39480 39481 39482 39483 39484 39485 39486 39487 39488 39489 39490 39491 39492 39493 39494 39495 39496 39497 39498 39499 39500 39501 39502 39503 39504 39505 39506 39507 39508 39509 39510 39511 39512 39513 39514 39515 39516 39517 39518 39519 39520 39521 39522 39523 39524 39525 39526 39527 39528 39529 39530 39531 39532 39533 39534 39535 39536 39537 39538 39539 39540 39541 39542 39543 39544 39545 39546 39547 39548 39549 39550 39551 39552 39553 39554 39555 39556 39557 39558 39559 39560 39561 39562 39563 39564 39565 39566 39567 39568 39569 39570 39571 39572 39573 39574 39575 39576 39577 39578 39579 39580 39581 39582 39583 39584 39585 39586 39587 39588 39589 39590 39591 39592 39593 39594 39595 39596 39597 39598 39599 39600 39601 39602 39603 39604 39605 39606 39607 39608 39609 39610 39611 39612 39613 39614 39615 39616 39617 39618 39619 39620 39621 39622 39623 39624 39625 39626 39627 39628 39629 39630 39631 39632 39633 39634 39635 39636 39637 39638 39639 39640 39641 39642 39643 39644 39645 39646 39647 39648 39649 39650 39651 39652 39653 39654 39655 39656 39657 39658 39659 39660 39661 39662 39663 39664 39665 39666 39667 39668 39669 39670 39671 39672 39673 39674 39675 39676 39677 39678 39679 39680 39681 39682 39683 39684 39685 39686 39687 39688 39689 39690 39691 39692 39693 39694 39695 39696 39697 39698 39699 39700 39701 39702 39703 39704 39705 39706 39707 39708 39709 39710 39712 39713 39717 39718 39719 39721 39722 39726 39727 39728 39730 39731 39735 39736 39737 39739 39740 39744 39745 39746 39748 39749 39753 39754 39755 39757 39758 39762 39763 39764 39766 39767 39769 39770 39772 39773 39775 39776 39780 39783 39784 39785 39789 39792 39793 39794 39798 39801 39802 39803 39807 39810 39811 39812 39816 39819 39820 39821 39825 39828 39829 39830 39834 39837 39840 39843 39846 39918 39921 39922 39923 39927 39930 39931 39932 39936 39939 39940 39941 39945 39948 39949 39950 39954 39957 39958 39959 39963 39966 39967 39968 39972 39975 39978 39981 39984 40492 40497 40499 40501 40503 40504 40505 40506 40507 40508 40509 40510 40511 40512 40513 40514 40515 40516 40517 40518 40519 40520 40521 40522 40523 40524 40525 40526 40527 40528 40529 40530 40531 40532 40533 40535 40536 40538 40539 40540 40541 40542 40543 40544 40545 40555 40556 40557 40558 40559 40560 40579 40583 40586 40590 40591 40593 40594 40595 40596 40597 40598 40599 40600 40601 40602 40603 40604 40605 40606 40607 40608 40609 40610 40611 40612 40613 40614 40615 40616 40617 40618 40619 40620 40621 40622 40623 40624 40625 40626 40628 40629 40630 40631 40632 40633 40634 40635 40645 40646 40647 40648 40651 40652 40653 40675 40680 40681 40683 40684 40685 40686 40687 40688 40689 40690 40691 40692 40693 40694 40695 40696 40697 40698 40699 40700 40701 40702 40703 40704 40705 40706 40707 40708 40709 40710 40711 40712 40713 40714 40715 40716 40717 40718 40719 40721 40722 40724 40725 40726 40727 40728 40729 40730 40731 40741 40742 40743 40744 40747 40748 40749 40774 40778 40781 40784 40787 40789 40791 40792 40793 40794 40795 40796 40797 40798 40799 40800 40801 40802 40803 40804 40805 40806 40807 40808 40809 40810 40811 40812 40813 40814 40815 40817 40818 40820 40821 40822 40823 40824 40825 40826 40827 40837 40841 40844 40847 40850 40853 40855 40857 40858 40859 40860 40861 40862 40863 40864 40865 40866 40867 40868 40869 40870 40871 40872 40873 40874 40875 40877 40878 40879 40880 40881 40891 40892 40893 40894 40895 40896 40897 40898 40899 40900 40901 40902 40903 40904 40905 40907 40908 40909 40910 40911 40921 40922 40923 40924 40925 40926 40927 40928 40929 40930 40931 40932 40933 40934 40935 40936 40937 40938 40939 40940 40941 40943 40944 40946 40947 40948 40949 40950 40951 40952 40953 40963 40964 40965 40966 40967 40968 40969 40970 40971 40972 40973 40974 40975 40976 40977 40979 40980 40981 40982 40983 41017 41020 41051 41054 41057 41078 41080 41085 41087 41089 41094 41095 41099 41103 41104 41108 41112 41114 41116 41121 41122 41126 41130 41131 41132 41134 41135 41137 41138 41140 41141 41143 41144 41147 41150 41171 41173 41178 41180 41182 41187 41188 41192 41196 41197 41201 41205 41207 41209 41214 41215 41219 41223 41224 41225 41227 41228 41230 41231 41233 41234 41236 41237 41240 41243 41245 41246 41249 41251 41255 41257 41262 41272 41276 41280 41290 41294 41296 41297 41488 41491 41496 41500 41508 41510 41517 41519 41523 41527 41532 41535 41538 41540 41541 41542 41544 41545 41546 41547 41549 41550 41551 41553 41554 41555 41556 41558 41559 41560 41562 41563 41564 41565 41567 41568 41569 41571 41572 41573 41574 41575 41577 41579 41580 41581 41582 41583 41584 41586 41588 41589 41590 41591 41592 41595 41598 41599 41600 41602 41604 41606 41607 41608 41609 41610 41612 41613 41614 41615 41616 41617 41618 41619 41620 41621 41622 41623 41624 41625 41626 41627 41628 41629 41630 41631 41633 41634 41635 41637 41638 41639 41640 41642 41643 41644 41646 41647 41648 41649 41651 41652 41653 41655 41656 41657 41658 41660 41661 41662 41664 41665 41666 41667 41668 41670 41672 41673 41674 41675 41676 41677 41679 41681 41682 41683 41684 41685 41688 41691 41692 41693 41695 41697 41699 41700 41701 41702 41703 41705 41706 41707 41708 41709 41710 41711 41712 41713 41714 41715 41716 41717 41718 41719 41720 41721 41722 41723 41724 41725 41726 41727 41729 41730 41731 41732 41733 41735 41736 41737 41740 41742 41743 41747 41748 41750 41751 41757 41759 41763 41767 41772 41773 41775 41776 41777 41778 41779 41780 41781 41782 41783 41784 41785 41786 41787 41788 41789 41790 41791 41792 41793 41794 41795 41796 41797 41798 41799 41800 41801 41802 41803 41804 41805 41806 41807 41808 41809 41810 41811 41812 41813 41814 41815 41816 41817 41818 41819 41820 41821 41822 41823 41824 41825 41826 41827 41828 41829 41830 41831 41832 41833 41834 41835 41836 41837 41838 41839 41840 41841 41842 41843 41844 41845 41846 41847 41848 41849 41850 41851 41852 41853 41854 41855 41856 41857 41858 41859 41860 41861 41862 41863 41864 41865 41866 41867 41868 41869 41870 41871 41872 41873 41874 41875 41876 41877 41878 41879 41880 41881 41882 41883 41884 41885 41886 41887 41888 41889 41890 41891 41892 41893 41894 41895 41896 41897 41898 41899 41900 41901 41902 41903 41904 41905 41906 41907 41908 41909 41910 41911 41912 41913 41914 41915 41916 41917 41918 41919 41920 41921 41922 41923 41924 41925 41926 41927 41928 41929 41930 41931 41932 41933 41934 41937 41940 41941 41942 41944 41946 41947 41948 41949 41950 41951 41952 41953 41954 41955 41956 41957 41958 41959 41960 41961 41962 41963 41964 41965 41966 41967 41968 41969 41970 41971 41972 41973 41976 41980 41988 41990 41997 41999 42003 42007 42012 42015 42018 42019 42020 42021 42022 42023 42024 42025 42026 42027 42028 42029 42030 42031 42032 42033 42034 42035 42036 42037 42038 42039 42040 42041 42042 42043 42044 42045 42046 42047 42048 42049 42050 42051 42052 42053 42054 42055 42056 42057 42058 42059 42060 42061 42062 42063 42064 42065 42066 42067 42068 42069 42070 42071 42072 42073 42074 42075 42076 42077 42078 42079 42080 42081 42082 42083 42084 42085 42086 42087 42088 42089 42090 42091 42092 42093 42094 42095 42096 42097 42098 42099 42100 42101 42102 42103 42104 42105 42106 42107 42108 42109 42110 42111 42112 42113 42114 42115 42116 42117 42118 42119 42120 42121 42122 42123 42124 42125 42126 42127 42128 42129 42130 42131 42132 42133 42134 42135 42136 42137 42138 42139 42140 42141 42142 42143 42144 42145 42146 42147 42148 42149 42150 42151 42152 42153 42154 42155 42156 42157 42158 42159 42160 42161 42162 42163 42164 42165 42166 42167 42168 42169 42170 42171 42172 42173 42174 42175 42176 42177 42178 42179 42180 42181 42182 42183 42184 42185 42186 42187 42188 42189 42190 42191 42192 42193 42194 42195 42196 42197 42198 42199 42200 42201 42202 42203 42204 42205 42206 42207 42209 42210 42211 42212 42213 42216 42220 42228 42230 42237 42239 42243 42246 42249 42252 42255 42256 42257 42261 42264 42265 42266 42270 42273 42274 42275 42279 42282 42283 42284 42288 42291 42292 42293 42297 42300 42301 42302 42306 42309 42310 42311 42315 42318 42319 42320 42324 42327 42330 42333 42336 42339 42342 42345 42348 42349 42350 42354 42357 42358 42359 42363 42366 42367 42368 42372 42375 42376 42377 42381 42384 42385 42386 42390 42393 42394 42395 42399 42402 42403 42404 42408 42411 42412 42413 42417 42420 42423 42426 42429 42432 42435 42438 42441 42443 42444 42491 42493 42498 42500 42502 42507 42509 42511 42516 42518 42520 42525 42526 42530 42534 42535 42539 42543 42553 42557 42561 42563 42565 42566 42568 42569 42571 42572 42574 42575 42577 42578 42580 42581 42584 42585 42586 42588 42589 42590 42591 42593 42594 42595 42597 42598 42599 42600 42601 42602 42603 42604 42605 42606 42607 42608 42609 42611 42612 42613 42615 42616 42617 42618 42621 42624 42625 42626 42628 42630 42632 42633 42634 42635 42636 42637 42639 42641 42642 42643 42644 42645 42646 42648 42650 42651 42652 42653 42654 42655 42656 42657 42658 42659 42660 42662 42663 42664 42665 42666 42667 42668 42669 42670 42671 42672 42673 42674 42675 42691 42694 42696 42697 42698 42699 42700 42701 42702 42703 42704 42705 42706 42707 42708 42709 42710 42711 42712 42713 42714 42716 42717 42719 42720 42722 42723 42725 42726 42728 42729 42731 42732 42733 42734 42735 42736 42739 42742 42746 42747 42784 42787 42789 42791 42792 42794 42795 42797 42798 42800 42801 42803 42804 42806 42807 42808 42809 42810 42812 42813 42814 42817 42820 42824 42825 42844 42847 42849 42851 42852 42854 42855 42857 42858 42860 42861 42863 42864 42866 42867 42877 42878 42879 43657 43660 43663 43667 43668 43687 43690 43692 43694 43695 43697 43698 43700 43701 43703 43704 43706 43707 43709 43710 43801 43804 43807 43811 43812 43831 43834 43836 43838 43839 43841 43842 43844 43845 43847 43848 43850 43851 43853 43854 43945 43948 43951 43955 43956 43975 43978 43980 43982 43983 43985 43986 43988 43989 43991 43992 43994 43995 43997 43998 44089 44092 44095 44099 44100 44119 44122 44124 44126 44127 44129 44130 44132 44133 44135 44136 44138 44139 44141 44142 44233 44236 44239 44243 44244 44263 44266 44268 44270 44271 44273 44274 44276 44277 44279 44280 44282 44283 44285 44286 44377 44380 44383 44387 44388 44407 44410 44412 44414 44415 44417 44418 44420 44421 44423 44424 44426 44427 44429 44430 45016 45017 45020 45023 45026 45030 45032 45035 45038 45041 45217 45220 45223 45224 45225 45227 45228 45229 45232 45234 45235 45236 45237 45238 45239 45240 45242 45243 45245 45246 45248 45249 45251 45252 45253 45254 45255 45256 45257 45258 45259 45260 45261 45262 45263 45264 45274 45275 45276 45277 45278 45279 45280 45281 45282 45292 45293 45294 45295 45296 45297 45307 45308 45309 45311 45312 45313 45314 45315 45316 45317 45318 45328 45329 45330 45358 45361 45364 45365 45366 45368 45369 45370 45373 45375 45376 45377 45378 45379 45380 45381 45383 45384 45386 45387 45389 45390 45392 45393 45394 45396 45398 45399 45401 45402 45403 45404 45405 45406 45407 45408 45409 45410 45411 45422 45423 45425 45426 45427 45428 45429 45430 45431 45432 45433 45434 45435 45445 45446 45447 45458 45460 45461 45462 45464 45465 45475 45477 45479 45480 45481 45482 45483 45493 45494 45495 45505 45506 45507 45517 45518 45519 45553 45652 45656 45657 45658 45660 45661 45662 45663 45664 45666 45668 45669 45670 45671 45672 45674 45675 45676 45678 45679 45680 45681 45682 45684 45686 45687 45688 45689 45690 45691 45693 45695 45696 45697 45698 45699 45702 45705 45706 45707 45710 45711 45712 45714 45715 45716 45717 45720 45723 45724 45725 45727 45729 45731 45732 45733 45734 45735 45736 45737 45738 45739 45740 45741 45742 45743 45744 45745 45746 45747 45748 45749 45750 45751 45752 45753 45756 45759 45760 45761 45765 45768 45769 45770 45774 45777 45778 45779 45783 45786 45787 45788 45792 45795 45796 45797 45801 45804 45805 45806 45810 45813 45814 45815 45819 45822 45823 45824 45828 45831 45834 45837 45840 45843 45846 45849 45852 45853 45855 45857 45858 45860 45861 45863 45867 45870 45872 45875 45878 45880 45884 45887 45962 45965 45969 45972 45973 45974 45978 45981 45982 45983 45987 45990 45991 45992 45996 45999 46000 46001 46003 46004 46008 46011 46012 46013 46017 46020 46023 46026 46029 46032 46034 46036 46038 46040 46041 46043 46044 46045 46048 46050 46051 46053 46054 46055 46056 46058 46059 46062 46065 46066 46067 46071 46074 46075 46076 46080 46083 46084 46085 46089 46092 46093 46094 46098 46101 46102 46103 46107 46110 46111 46112 46116 46119 46122 46125 46128 46131 46134 46137 46138 46139 46143 46147 46152 46155 46158 46159 46161 46163 46164 46166 46167 46169 46170 46172 46173 46174 46175 46176 48052 48053 48057 48060 48063 48066 48067 48068 48170 48173 48175 48177 48179 48181 48183 48289 48290 48293 48296 48298 48300 53176 53251 53252 53253 55877 55880 55883 55886 55890 55892 55895 55898 55901 56083 56086 56089 56093 56094 56104 56107 56109 56111 56112 56114 56115 56117 56118 56120 56121 56123 56124 56126 56127 56128 56131 56134 56135 56136 56137 56138 56139 56140 56141 56142 56144 56145 56147 56148 56150 56151 56153 56154 56155 56156 56157 56158 56162 56164 56168 56170 56171 56172 56174 56175 56177 56178 56180 56181 56182 56183 56184 56185 56186 56187 56188 56189 56190 56201 56202 56204 56205 56206 56207 56208 56209 56210 56211 56212 56213 56214 56224 56225 56228 56229 56239 56240 56241 56243 56244 56254 56256 56258 56259 56260 56261 56262 56263 56264 56265 56275 56276 56277 56305 56308 56311 56315 56316 56326 56329 56331 56333 56334 56336 56337 56339 56340 56342 56343 56345 56346 56348 56349 56350 56355 56357 56361 56363 56365 56366 56367 56369 56370 56381 56385 56388 56390 56392 56394 56396 56397 56398 56399 56400 56410 56414 56417 56420 56423 56425 56426 56427 56429 56430 56441 56443 56444 56445 56447 56448 56458 56460 56462 56463 56464 56465 56466 56476 56477 56478 56488 56489 56490 56500 56501 56502 56536 56635 56734 56738 56739 56740 56742 56743 56744 56745 56747 56748 56749 56751 56752 56753 56754 56756 56757 56758 56760 56761 56762 56763 56765 56766 56767 56769 56770 56771 56772 56773 56775 56777 56778 56779 56780 56781 56782 56784 56786 56787 56788 56789 56790 56793 56796 56797 56798 56800 56802 56804 56805 56806 56807 56808 56810 56811 56812 56813 56814 56815 56816 56817 56818 56819 56820 56821 56822 56823 56824 56825 56826 56827 56828 56829 56830 56831 56832 56834 56835 56837 56839 56844 56846 56848 56853 56855 56857 56862 56864 56866 56871 56872 56876 56880 56881 56885 56889 56899 56903 56907 56909 56911 56912 56914 56915 56917 56918 56920 56921 56923 56924 56926 56927 56929 56930 56933 56935 56936 56940 56942 56946 56948 56949 56951 56952 56954 56955 56957 56958 56960 56961 56963 56964 56965 56966 56969 56972 57056 57059 57143 57145 57150 57152 57154 57159 57160 57161 57163 57164 57167 57171 57174 57175 57176 57180 57183 57184 57185 57189 57192 57193 57194 57198 57201 57202 57203 57207 57210 57211 57212 57216 57219 57220 57221 57225 57228 57229 57230 57234 57237 57240 57243 57246 57249 57252 57256 57261 57265 57269 57270 57272 57273 57275 57276 57279 57282 57283 57284 57288 57291 57292 57293 57297 57300 57301 57302 57306 57309 57310 57311 57315 57318 57319 57320 57322 57323 57327 57330 57331 57332 57336 57339 57342 57345 57348 57351 57354 57358 57363 57367 57371 57373 57375 57377 57378 57380 57381 57383 57384 57386 57388 57389 57393 57395 57399 57402 57405 57406 57407 59513 59514 59516 59517 59519 59520 59522 59523 59525 59526 59527 59528 59529 59648 59649 59651 59652 59653 59654 59655 59656 59657 59658 59659 59660 59661 59789 59790 59792 59793 59795 59796 59797 59798 59799 65150 65242 65246 65248 65249 65250 65251 65252 65253 65254 65255 65256 65258 65259 65261 65262 65265 65268 65269 65270 65277 65279 65282 65283 65284 65287 65289 65291 65292 65293 65296 65298 65300 65301 65302 65305 65307 65308 65312 65313 65315 65316 65319 65323 65328 65329 65331 65332 65333 65334 65335 65336 65337 65338 65339 65340 65342 65343 65344 65345 65346 65348 65349 65355 65357 65361 65365 65370 65374 65379 65383 65391 65393 65397 65401 65406 65409 65412 65415 65418 65421 65422 65424 65425 65426 65427 65433 65435 65439 65443 65448 65452 65457 65461 65466 65469 65472 65475 65476 65478 65480 65481 65482 65483 65484 65485 65486 65487 65488 65489 65490 65492 65494 65496 65497 65500 65501 65504 65511 65513 65515 65520 65526 65530 65535 65537 65558 65561 65565 65603 65622 65626 65667 65671 65711 65749 66202 66619 66624 66627 66646 66654 66656 66659 66660 66661 66664 66666 66668 66669 66670 66673 66675 66677 66678 66679 66682 66684 66685 66689 66690 66692 66693 66696 66700 66705 66706 66708 66709 66710 66711 66712 66713 66714 66715 66716 66717 66719 66720 66722 66723 66724 66725 66726 66728 66729 66735 66737 66741 66745 66750 66754 66759 66763 66771 66773 66777 66781 66786 66789 66792 66795 66798 66801 66804 66805 66807 66808 66809 66810 66816 66818 66820 66825 66829 66834 66838 66843 66846 66849 66852 66855 66856 66858 66860 66861 66862 66866 66870 66895 66899 66902 66905 66919 66923 66926 66929 66936 66938 66942 66946 66951 66955 66960 66964 66972 66974 66978 66982 66987 66990 66993 66996 66999 67002 67005 67008 67011 67102 67106 67110 67177 67181 67184 67189 67194 67196 67198 67200 67201 67202 67203 67204 67205 67206 67208 67209 67210 67211 67212 67219 67223 67224 67225 67226 67227 67229 67230 67233 67234 67236 67237 67238 67239 67242 67245 67342 67345 67347 67348 67349 67350 67352 67353 67354 67355 67356 67357 67358 67359 67360 67361 67362 67363 67364 67365 67367 67368 67369 67370 67371 67373 67374 67375 67376 67377 67379 67380 67382 67383 67385 67386 67388 67389 67392 67395 67396 67397 67404 67406 67410 67414 67419 67423 67428 67431 67434 67437 67438 67440 67441 67442 67443 67444 67445 67446 67447 67448 67449 67451 67452 67453 67455 67456 67457 67458 67474 67588 67592 67595 67599 67602 67604 67607 67609 67611 67613 67614 67615 67616 67617 67630 67634 67636 67638 67640 67641 67642 67643 67644 67646 67647 67648 67650 67651 67652 67653 67654 67655 67656 67657 67658 67659 67660 67661 67662 67663 67664 67665 67667 67668 67670 67671 67673 67674 67676 67677 67680 67683 67684 67685 67687 67688 67689 67690 67691 67692 67693 67694 67695 67697 67698 67699 67701 67702 67703 67704 67717 67732 67735 67737 67738 67739 67740 67741 67742 67743 67745 67746 67747 67748 67749 67750 67754 67756 67758 67760 67761 67762 67763 67764 67765 67766 67767 67768 67769 67770 67771 67772 67773 67774 67775 67776 67777 67778 67779 67780 67781 67782 67783 67784 67785 67787 67788 67790 67791 67793 67794 67796 67797 67800 67803 67804 67805 67807 67808 67809 67810 67811 67812 67813 67815 67816 67817 67818 67825 67843 67849 67854 67857 67858 67860 67861 67862 67863 67864 67865 67866 67868 67869 67870 67871 67872 67885 67889 67892 67895 67897 67899 67900 67901 67902 67904 67905 67906 67907 67908 67909 67910 67911 67912 67913 67914 67916 67917 67919 67920 67922 67923 67925 67926 67929 67932 67933 67934 67937 67939 67941 67948 67951 67956 67959 67960 67962 67963 67964 67965 67966 67967 67968 67970 67971 67972 67973 67974 67984 67988 67991 67994 67996 67998 67999 68000 68001 68003 68004 68005 68006 68007 68009 68010 68011 68012 68013 68015 68016 68018 68019 68021 68022 68024 68025 68028 68031 68032 68033 68035 68036 68037 68038 68039 68040 68041 68042 68043 68044 68045 68046 68062 68086 68089 68094 68097 68098 68100 68101 68102 68103 68104 68105 68106 68108 68109 68110 68111 68112 68122 68126 68129 68132 68134 68135 68138 68140 68142 68144 68145 68147 68148 68150 68151 68153 68154 68157 68160 68161 68162 68164 68166 68167 68168 68169 68170 68171 68172 68173 68174 68175 68177 68178 68180 68181 68184 68187 68188 68189 68193 68196 68199 68202 68205 68208 68211 68214 68215 68216 68217 68219 68220 68257 68260 68262 68263 68264 68265 68266 68267 68268 68269 68270 68271 68272 68273 68274 68275 68276 68277 68278 68279 68280 68282 68283 68320 68323 68325 68326 68327 68328 68329 68330 68331 68332 68333 68334 68335 68336 68337 68338 68339 68340 68341 68342 68343 68345 68346 68383 68386 68388 68389 68390 68391 68392 68393 68394 68395 68396 68397 68398 68399 68400 68401 68402 68403 68404 68405 68406 68408 68409 68446 68449 68451 68452 68453 68454 68455 68456 68457 68458 68459 68460 68461 68462 68463 68464 68465 68466 68467 68468 68469 68471 68472 68509 68512 68514 68515 68516 68517 68518 68519 68520 68521 68522 68523 68524 68525 68526 68527 68528 68529 68530 68531 68532 68534 68535 68572 68575 68577 68578 68579 68580 68581 68582 68583 68584 68585 68586 68587 68588 68589 68590 68591 68592 68593 68594 68595 68596 68597 68598 68599 68600 68601 68602 68603 68604 68605 68606 68607 68608 68609 68610 68612 68613 68650 68653 68655 68656 68657 68658 68659 68660 68661 68662 68663 68664 68665 68666 68667 68669 68670 68689 68692 68694 68695 68696 68697 68698 68699 68700 68737 68785 68788 68791 68795 68796 68824 68827 68829 68831 68832 68834 68835 68837 68838 68840 68841 68842 68843 68844 68845 68849 68851 68855 68857 68858 68861 68865 68868 68871 68873 68877 68878 68879 68881 68882 68883 68885 68886 68898 68900 68902 68904 68905 68906 68907 68908 68909 68910 68920 68921 68924 68925 68935 68936 68937 68939 68940 68950 68952 68954 68955 68956 68957 68958 68959 68960 68961 68971 68972 68973 69244 69751 69756 69760 69763 69764 69768 69771 69774 69777 69780 69781 69782 69784 69785 69787 69791 70231 70235 70236 70238 70239 70261 70265 70266 70268 70269 70291 70295 70296 70298 70299 70310 70313 70314 70316 70317 70327 70331 70332 70334 70335 70337 70338 70349 70350 71851 71855 71856 71858 71859 71881 71885 71886 71888 71889 71902 71906 71907 71909 71910 71911 71915 71916 71918 71919 71929 71933 71934 71936 71937 71939 71940 71951 71952 71980 71981 71982 71984 71985 72022 72025 72027 72028 72029 72030 72031 72032 72033 72043 72046 72048 72049 72050 72051 72052 72053 72054 72055 72056 72057 72059 72060 72061 72063 72064 72065 72066 72073 72076 72078 72079 72080 72081 72082 72083 72084 72085 72086 72087 72088 72090 72092 72093 72094 72095 72096 72098 72100 72101 72104 72106 72107 72108 72110 72111 72112 72113 72114 72115 72116 72117 72118 72119 72120 72121 72122 72123 72124 72125 72126 72127 72128 72129 72130 72131 72132 72133 72134 72135 72136 72138 72140 72141 72142 72143 72144 72145 72146 72147 72150 72153 72154 72155 72157 72158 72159 72162 72165 72166 72167 72169 72170 72171 72174 72177 72178 72179 72183 72186 72187 72189 72190 72191 72192 72193 72194 72195 72196 72197 72198 72199 72200 72201 72202 72203 72204 72205 72206 72207 72209 72210 72211 72213 72214 72215 72216 72218 72219 72220 72222 72223 72224 72225 72227 72228 72229 72231 72232 72233 72234 72236 72237 72238 72240 72241 72242 72243 72244 72246 72248 72249 72250 72251 72252 72253 72255 72257 72258 72259 72260 72261 72264 72267 72268 72269 72271 72273 72275 72276 72277 72278 72279 72281 72282 72283 72284 72285 72286 72287 72288 72289 72290 72291 72292 72293 72294 72295 72296 72297 72298 72299 72300 72301 72302 72303 72305 72306 72308 72310 72315 72317 72319 72324 72325 72326 72328 72329 72333 72334 72335 72337 72338 72342 72352 72356 72360 72370 72374 72378 72380 72382 72383 72386 72388 72389 72391 72392 72394 72395 72397 72398 72400 72401 72404 72408 72411 72412 72413 72417 72420 72421 72422 72426 72429 72430 72431 72435 72438 72439 72440 72444 72447 72448 72449 72453 72456 72457 72458 72462 72465 72466 72467 72471 72474 72475 72476 72480 72483 72486 72489 72492 72495 72498 72501 72504 72604 72609 72610 72611 72613 72615 72617 72619 72621 72622 72623 72624 72727 72731 72733 72735 72736 72737 72738 72739 72740 72742 72743 72746 72749 72752 72755 72829 72831 72832 72833 72836 72839 72923 72926 72930 72933 72934 72935 72939 72942 72943 72944 72948 72951 72952 72953 72957 72960 72961 72962 72966 72969 72970 72971 72975 72978 72979 72980 72984 72987 72988 72989 72993 72996 72999 73002 73005 73008 73010 73012 73014 73016 73017 73019 73020 73021 73024 73026 73027 73028 73029 73030 73031 73032 73034 73035 73038 73041 73042 73043 73047 73050 73051 73052 73056 73059 73060 73061 73065 73068 73069 73070 73074 73077 73078 73079 73083 73086 73087 73088 73092 73095 73096 73097 73101 73104 73107 73110 73113 73116 73119 73123 73128 73132 73136 73137 73139 73140 73142 73143 73146 73149 73150 73151 73155 73158 73159 73160 73164 73167 73168 73169 73173 73176 73177 73178 73182 73185 73186 73187 73191 73194 73195 73196 73200 73203 73204 73205 73209 73212 73215 73218 73221 73224 73227 73230 73231 73232 73236 73240 73244 73246 73248 73250 73251 73252 73254 73256 73257 73259 73260 73262 73266 73269 73270 73271 73275 73278 73279 73280 73284 73287 73288 73289 73293 73296 73297 73298 73302 73305 73306 73307 73311 73314 73315 73316 73320 73323 73324 73325 73329 73332 73335 73338 73341 73344 73347 73351 73356 73359 73360 73361 73365 73368 73369 73370 73374 73377 73380 73383 73386 73387 73388 73390 73392 73394 73395 73397 73398 73400 73401 73403 73404 73406 73407 73408 73409 73410 73411 73412 73413 73414 73415 73416 73417 73418 73419 73420 73421 73422 73423 73424 73425 73426 73427 73428 73429 73430 73431 73432 73433 73434 73435 73436 73437 73438 73439 73440 73441 73442 73443 73444 73445 73446 73447 73448 73449 73450 73451 73452 73453 73454 73455 73456 73457 73458 73459 73460 73461 73462 73463 73464 73465 73466 73467 73468 73469 73470 73471 73472 73473 73474 73475 73476 73477 73478 73479 73480 73481 73482 73483 73484 73485 73486 73487 73488 73489 73490 73491 73492 73493 73494 73495 73496 73497 73498 73499 73500 73501 73502 73503 73504 73505 73506 73507 73508 73509 73510 73511 73512 73513 73514 73515 73516 73517 73518 73519 73520 73521 73522 73523 73524 73525 73526 73527 73528 73529 73530 73531 73532 73533 73534 73535 73536 73537 73538 73539 73540 73541 73542 73543 73544 73545 73546 73547 73548 73549 73550 73551 73552 73553 73554 73555 73556 73557 73558 73559 73560 73561 73562 73563 73564 73565 73566 73567 73568 73569 75631 75632 75633 75634 75635 75636 75637 75638 75639 75640 75641 75642 75643 75644 75645 75646 75647 75648 75649 75650 75651 75652 75653 75654 75655 75656 75657 75658 75659 75660 75661 75662 75663 75664 75665 75666 75667 75668 75669 75670 75671 75672 75673 75674 75675 75676 75677 75678 75679 75680 75681 75682 75683 75684 75685 75686 75687 75688 75689 75690 75691 75692 75693 75694 75695 75696 75697 75698 75699 75700 75701 75702 75703 75704 75705 75706 75707 75708 75709 75710 75711 75712 75713 75714 75715 75716 75717 75718 75719 75720 75721 75722 75723 75724 75726 75727 75728 75729 75730 75731 75732 75733 75734 75735 75736 75737 75738 75739 75740 75741 75742 75743 75744 75745 75746 75747 75748 75749 75750 75751 75752 75753 75754 75755 75756 75757 75758 75759 75760 75761 75762 75763 75764 75765 75766 75767 75768 75769 75770 75771 75772 75773 75774 75775 75776 75777 75778 75779 75780 75781 75782 75783 75784 75785 75786 75787 75788 75789 75790 75791 75792 75793 75794 75795 75796 75797 75798 75799 75800 75801 75802 75803 75804 75805 75806 75807 75808 75809 75810 75811 75812 75813 75814 75815 75816 75817 75818 75819 75820 75821 75822 75823 75824 75825 75827 75828 75829 75830 75831 75834 75837 75838 75839 75842 75844 75846 75847 75848 75849 75851 75852 75854 75855 75857 75858 75860 75861 75863 75864 75865 75866 75867 75868 75869 75870 75871 75873 75874 75875 75876 75964 75965 75966 75967 75968 75969 75971 75972 75973 75974 75975 75976 75977 75978 75979 75980 75981 75982 75983 75984 75985 75987 75988 75989 75990 75991 75992 75993 75994 75995 75996 75998 75999 76000 76001 76002 76003 76004 76005 76006 76007 76008 76011 76014 76015 76016 76018 76019 76020 76022 76023 76025 76026 76028 76029 76030 76031 76032 76033 76034 76035 76036 76037 76038 76039 76040 76041 76042 76043 76044 76045 76046 76047 76138 76139 76140 76141 76142 76143 76144 76145 76146 76147 76148 76149 76150 76151 76152 76153 76154 76155 76156 76157 76158 76159 76160 76161 76162 76163 76164 76165 76166 76167 76168 76169 76170 76171 76172 76173 76174 76175 76176 76177 76178 76179 76180 76181 76182 76185 76188 76189 76190 76192 76193 76194 76196 76197 76199 76200 76202 76203 76205 76206 76207 76209 76210 76211 76212 76213 76214 76215 76216 76217 76218 76219 76220 76221 76300 76301 76302 76303 76304 76305 76306 76307 76308 76309 76310 76311 76312 76313 76314 76315 76316 76317 76318 76319 76320 76321 76322 76323 76324 76325 76326 76327 76328 76329 76330 76331 76332 76333 76334 76335 76336 76337 76338 76339 76340 76341 76342 76343 76344 76347 76350 76351 76352 76396 76397 76398 76399 76400 76401 76402 76403 76404 76405 76406 76407 76408 76409 76410 76411 76412 76413 76416 76419 76420 76421 76441 76442 76443 76444 76445 76446 76447 76448 76449 76450 76451 76452 76453 76454 76455 76456 76457 76458 76461 76464 76465 76466 76468 76469 76470 76498 76499 76500 76501 76502 76503 76504 76505 76506 76507 76508 76509 76510 76511 76512 76513 76514 76515 76516 76517 76518 76519 76520 76521 76522 76523 76524 76525 76526 76527 76528 76529 76530 76531 76532 76533 76534 76535 76536 76537 76538 76539 76542 76545 76546 76547 76567 76568 76569 76570 76571 76572 76573 76574 76575 76576 76577 76578 76579 76580 76581 76582 76583 76584 76587 76590 76591 76592 76596 76599 76602 76605 76608 76611 76614 76617 76618 76619 76620 76622 76623 76651 76654 76656 76657 76658 76659 76660 76661 76662 76867 76871 76966 76970 77065 77069 77071 77072 77073 77075 77076 77077 77078 77079 77081 77082 77083 77084 77087 77091 77094 77095 77096 77100 77103 77104 77105 77109 77112 77113 77114 77118 77121 77122 77123 77127 77130 77131 77132 77136 77139 77140 77141 77145 77148 77149 77150 77154 77157 77160 77163 77166 77169 77171 77172 77173 77176 77178 77179 77180 77181 77182 77183 77184 77185 77186 77187 77188 77189 77190 77191 77192 77193 77194 77195 77196 77197 77199 77200 77201 77202 77203 77204 77205 77206 77207 77208 77210 77211 77213 77214 77215 77216 77217 77218 77219 77220 77222 77223 77225 77226 77228 77229 77230 77231 77232 77233 77234 77235 77236 77237 77238 77311 77395 77398 77401 77404 77408 77409 77464 77467 77469 77471 77472 77474 77475 77477 77478 77480 77481 77483 77484 77486 77487 77488 77489 77490 77491 77495 77497 77501 77503 77507 77509 77510 77511 77513 77514 77515 77516 77519 77523 77526 77527 77528 77532 77535 77536 77537 77541 77544 77545 77546 77550 77553 77554 77555 77559 77562 77563 77564 77568 77571 77572 77573 77577 77580 77581 77582 77586 77589 77592 77595 77598 77601 77603 77604 77605 77608 77610 77611 77612 77613 77614 77615 77616 77617 77618 77619 77620 77621 77622 77623 77624 77625 77626 77627 77628 77629 77630 77631 77632 77633 77634 77635 77636 77637 77639 77640 77643 77646 77647 77648 77652 77655 77656 77657 77661 77664 77665 77666 77670 77673 77674 77675 77679 77682 77683 77684 77688 77691 77692 77693 77697 77700 77701 77702 77706 77709 77712 77715 77718 77721 77723 77724 77725 77728 77730 77731 77732 77733 77734 77735 77736 77737 77738 77739 77740 77741 77742 77743 77744 77745 77746 77747 77748 77749 77750 77751 77752 77753 77754 77755 77756 77757 77759 77760 77763 77766 77768 77770 77772 77774 77775 77776 77777 77778 77780 77781 77783 77784 77786 77787 77788 77789 77790 77791 77792 77793 77794 77795 77796 77807 77810 77814 77815 77817 77819 77820 77822 77823 77825 77826 77827 77828 77829 77830 77831 77832 77833 77834 77835 77836 77837 77838 77840 77841 77842 77843 77844 77846 77847 77849 77850 77852 77853 77854 77855 77856 77857 77858 77859 77860 77861 77862 77863 77864 77865 77867 77868 77869 77870 77871 77873 77874 77876 77877 77879 77880 77881 77882 77883 77884 77885 77886 77887 77888 77889 77900 77901 77902 77903 77904 77906 77907 77909 77910 77912 77913 77914 77915 77916 77917 77918 77919 77920 77921 77922 77923 77924 77925 77935 77936 77937 80293 80297 80298 80300 80301 80335 80339 80340 80342 80343 80365 80369 80370 80372 80373 80395 80399 80400 80402 80403 80431 80435 80436 80438 80439 80441 80442 80453 80454 83062 83066 83067 83069 83070 83073 83076 83077 83078 83080 83082 83083 83084 83085 83087 83088 83090 83091 83093 83094 83095 83096 83097 83098 83099 83100 83101 83102 83103 83134 83138 83139 83141 83142 83145 83148 83149 83150 83154 83157 83158 83159 83163 83166 83167 83168 83172 83175 83176 83177 83181 83184 83185 83186 83190 83193 83194 83195 83197 83198 83202 83205 83206 83207 83211 83214 83217 83220 83223 83226 83228 83229 83230 83233 83235 83236 83237 83238 83239 83240 83241 83242 83243 83244 83245 83246 83247 83248 83249 83250 83251 83252 83253 83254 83256 83257 83258 83259 83260 83261 83262 83263 83264 83265 83267 83268 83269 83270 83271 83273 83274 83275 83276 83277 83278 83279 83280 83282 83283 83285 83286 83288 83289 83290 83291 83292 83293 83294 83295 83296 83297 83298 83329 83333 83334 83336 83337 83340 83343 83344 83345 83347 83348 83349 83351 83352 83353 83354 83355 83356 83357 83358 83360 83361 83363 83364 83366 83367 83368 83369 83370 83371 83372 83373 83374 83375 83376 83398 83402 83403 83405 83406 83409 83412 83413 83414 83417 83418 83419 83420 83421 83422 83423 83424 83426 83427 83429 83430 83432 83433 83434 83435 83436 83437 83438 83439 83440 83441 83442 83464 83468 83469 83471 83472 83475 83478 83479 83480 83482 83483 83484 83486 83487 83490 83493 83494 83495 83497 83498 83499 83501 83502 83505 83508 83509 83510 83514 83517 83520 83523 83526 83529 83532 83535 83538 83539 83540 83544 83547 83548 83549 83553 83556 83557 83558 83562 83565 83566 83567 83571 83574 83575 83576 83580 83583 83584 83585 83589 83592 83595 83598 83601 83604 83607 83610 83613 83616 83617 83618 83622 83625 83626 83627 83631 83634 83635 83636 83640 83643 83644 83645 83649 83652 83653 83654 83658 83661 83662 83663 83667 83670 83671 83672 83676 83679 83680 83681 83685 83688 83691 83694 83697 83700 83703 83706 83709 83712 83713 83714 83718 83721 83722 83723 83727 83730 83731 83732 83736 83739 83740 83741 83745 83748 83749 83750 83754 83757 83758 83759 83763 83766 83767 83768 83772 83775 83778 83781 83784 83787 83790 83792 83795 83798 83801 83804 83807 83811 83813 83817 83820 83823 83826 83829 86978 86981 86984 86987 86991 86993 86997 86999 87002 87006 87009 87012 87015 87016 87020 87024 87048 87051 87053 87054 87055 87056 87059 87061 87065 89677 89688 89691 97921 98015 101713 101717 101719 101724 101726 101730 101732 101735 101738 110878 110981 115162 115169 115173 115176 115178 115182 127672 132429 132430 132435 132438 132439 132440 132444 132453 146747 146875 146879 146999 152131 152136 152138 152142 152145 152146 152147 152151 152154 152157 152160 152161 152164 152169 152170 152171 152173 152176 152180 152184 152194 152195 152197 152201 152203 152207 152211 152212 152216 152220 152222 152224 152229 152230 152231 152233 152234 152237 152240 152242 152246 152250 152251 152255 152259 152260 152264 152268 152269 152270 152272 152273 152277 152278 152279 152281 152282 152284 152287 152291 152293 152297 152301 152302 152306 152310 152311 152315 152319 152320 152324 152328 152329 152333 152337 152338 152339 152341 152342 152344 152347 152350 152354 152356 152360 152364 152365 152369 152373 152374 152378 152382 152383 152387 152391 152410 152411 152413 152414 152416 152419 152422 152426 152429 152432 152435 152438 152441 152444 152447 152483 152485 152486 156824 156828 156831 156832 156833 156835 156836 156838 156840 156843 156844 156845 156848 156849 156852 156853 156854 156857 156858 156859 156860 156864 156867 156868 156869 156873 156876 156877 156878 156882 156883 156884 156885 156889 156893 156894 156896 156897 156899 156900 156901 156903 156904 156905 156906 156909 156912 156913 156914 156916 156917 156918 156919 156920 156921 156922 156923 156926 156937 156939 156941 156942 156943 156944 156945 156946 156948 156950 156951 156952 156953 156954 156956 156957 156958 156960 156961 156962 156963 156964 156965 156966 156967 156968 156969 156970 156971 156974 156979 156983 156987 156997 156999 157001 157002 157003 157004 157005 157006 157008 157010 157012 157014 157015 157016 157017 157018 157019 157020 157021 157022 157023 157024 157025 157026 157027 157028 157029 157030 157031 157034 157036 157040 157051 157055 157059 157069 157071 157073 157074 157075 157076 157077 157078 157080 157082 157084 157086 157087 157089 157091 157092 157093 157094 157095 157096 157097 157098 157099 157100 157101 157102 157103 157106 157108 157112 157115 157137 157143 157145 157166 157169 157172 157175 157178 157181 157185 157188 157192 157196 157198 157202 157206 157208 157212 157214 157217 157220 157223 157226 157229 157231 157235 157239 157241 157245 157247 157250 157253 157256 157259 157269 157271 157274 157277 157279 157283 157287 157289 157293 157295 157299 157301 157304 157307 157310 157353 157359 157361 157364 157367 157370 157372 157376 157380 157382 157386 157388 157392 157394 157398 157400 157403 157406 157409 157412 157415 157417 157421 157425 157427 157431 157433 157437 157439 157443 157445 157448 157451 157461 157463 157466 157469 157472 157475 157477 157481 157485 157487 157491 157493 157497 157499 157503 157505 157509 157511 157514 157569 157575 157577 157580 157583 157586 157589 157592 157594 157598 157602 157603 157604 157608 157609 157610 157614 157615 157616 157620 157621 157622 157626 157627 157628 157632 157633 157634 157641 157644 157647 157650 157653 157656 157657 157658 157662 157663 157664 157668 157669 157670 157674 157675 157676 157680 157681 157682 157686 157688 157692 157695 157698 157701 157702 157703 157706 157709 157711 157712 157714 157715 157717 157718 157720 157724 157726 157731 157733 157737 157738 157739 157743 157744 157745 157749 157750 157751 157755 157756 157757 157761 157762 157763 157767 157773 157776 157779 157782 157785 157788 157791 157792 157793 157797 157798 157799 157803 157804 157805 157809 157810 157811 157815 157816 157817 157821 157822 157823 157827 157829 157833 157836 157839 157840 157841 157843 157844 157846 157849 157850 157852 157853 157855 157856 157858 157862 157864 157869 157871 157875 157876 157877 157881 157882 157883 157887 157888 157889 157893 157895 157899 157900 157901 157905 157911 157914 157917 157920 157923 157926 157929 157930 157931 157935 157936 157937 157941 157942 157943 157947 157948 157949 157953 157954 157955 157959 157960 157961 157965 157967 157971 157974 157977 157978 157979 157981 157984 157985 157987 157990 157991 157993 157996 157997 157999 158000 158004 158006 158010 158011 158012 158016 158018 158022 158023 158024 158028 158030 158034 158043 158049 158055 158057 158061 158062 158063 158067 158069 158073 158074 158075 158079 158081 158085 158087 158091 158094 158095 158096 158100 158101 158102 158106 158107 158108 158112 158113 158114 158118 158120 158124 158125 158126 158130 158132 158136 158138 158142 158144 158148 158150 158154 158156 158160 158162 158166 158167 158168 158172 158173 158174 158178 158179 158180 158182 0

Verifier Data

OK	22812

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495641-1307808831/watcher-3495641-1307808831 -o /tmp/evaluation-result-3495641-1307808831/solver-3495641-1307808831 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495641-1307808831.cnf 

running on 2 cores: 4,6

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.81 2.51 2.72 5/189 6322
/proc/meminfo: memFree=30798512/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=19652 CPUtime=0 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 710 0 0 0 0 0 0 0 25 0 1 0 873299276 20123648 650 33554432000 4194304 4280283 140737453586208 18446744073709551615 4266385 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 4913 654 223 21 0 1550 0

[startup+0.023599 s]
/proc/loadavg: 3.81 2.51 2.72 5/189 6322
/proc/meminfo: memFree=30798512/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=29120 CPUtime=0.01 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 2751 0 0 0 1 0 0 0 25 0 1 0 873299276 29818880 2628 33554432000 4194304 4280283 140737453586208 18446744073709551615 4265789 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 7280 2633 224 21 0 3917 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29120

[startup+0.100589 s]
/proc/loadavg: 3.81 2.51 2.72 5/189 6322
/proc/meminfo: memFree=30798512/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=55640 CPUtime=0.08 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 8954 0 0 0 7 1 0 0 25 0 1 0 873299276 56975360 8719 33554432000 4194304 4280283 140737453586208 18446744073709551615 255106429637 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 13910 8721 239 21 0 10547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 55640

[startup+0.300556 s]
/proc/loadavg: 3.81 2.51 2.72 5/189 6322
/proc/meminfo: memFree=30798512/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=72980 CPUtime=0.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 13115 0 0 0 27 2 0 0 25 0 1 0 873299276 74731520 12879 33554432000 4194304 4280283 140737453586208 18446744073709551615 4208044 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 18245 12879 251 21 0 14882 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72980

[startup+0.700475 s]
/proc/loadavg: 3.81 2.51 2.72 5/189 6322
/proc/meminfo: memFree=30798512/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=72980 CPUtime=0.69 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 13115 0 0 0 67 2 0 0 25 0 1 0 873299276 74731520 12879 33554432000 4194304 4280283 140737453586208 18446744073709551615 4210324 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 18245 12879 251 21 0 14882 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72980

[startup+1.50033 s]
/proc/loadavg: 3.81 2.51 2.72 5/190 6323
/proc/meminfo: memFree=30853964/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=72980 CPUtime=1.49 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 13115 0 0 0 147 2 0 0 25 0 1 0 873299276 74731520 12879 33554432000 4194304 4280283 140737453586208 18446744073709551615 4208922 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 18245 12879 251 21 0 14882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72980

[startup+3.10106 s]
/proc/loadavg: 3.81 2.51 2.72 5/190 6323
/proc/meminfo: memFree=30829288/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=89932 CPUtime=3.08 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 16991 0 0 0 306 2 0 0 25 0 1 0 873299276 92090368 16541 33554432000 4194304 4280283 140737453586208 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 22483 16541 270 21 0 19120 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 89932

[startup+6.3005 s]
/proc/loadavg: 3.82 2.54 2.73 5/190 6323
/proc/meminfo: memFree=30715348/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=152836 CPUtime=6.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 33083 0 0 0 624 5 0 0 25 0 1 0 873299276 156504064 32620 33554432000 4194304 4280283 140737453586208 18446744073709551615 4256895 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 38209 32620 270 21 0 34846 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152836

[startup+12.7004 s]
/proc/loadavg: 3.83 2.56 2.74 5/190 6323
/proc/meminfo: memFree=30627348/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=284788 CPUtime=12.69 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 62518 0 0 0 1261 8 0 0 25 0 1 0 873299276 291622912 62038 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 71197 62038 270 21 0 67834 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 284788

[startup+25.5011 s]
/proc/loadavg: 3.87 2.63 2.76 5/190 6324
/proc/meminfo: memFree=30324784/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=633064 CPUtime=25.49 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 118028 0 0 0 2534 15 0 0 25 0 1 0 873299276 648257536 117535 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 158266 117535 270 21 0 154903 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 633064

[startup+51.1006 s]
/proc/loadavg: 3.91 2.74 2.79 5/190 6324
/proc/meminfo: memFree=30247992/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=634596 CPUtime=51.09 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 306060 0 0 0 5070 39 0 0 25 0 1 0 873299276 649826304 138458 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 158649 138458 270 21 0 155286 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 634596

[startup+102.307 s]
/proc/loadavg: 3.96 2.93 2.85 5/190 6326
/proc/meminfo: memFree=30017424/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=986368 CPUtime=102.3 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 606864 0 0 0 10149 81 0 0 25 0 1 0 873299276 1010040832 200316 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 246592 200316 270 21 0 243229 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 986368

[startup+162.301 s]
/proc/loadavg: 4.06 3.14 2.92 5/190 6327
/proc/meminfo: memFree=29512464/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1555612 CPUtime=162.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 952631 0 0 0 16103 126 0 0 25 0 1 0 873299276 1592946688 340934 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243418 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 388903 340934 270 21 0 385540 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1555612

[startup+222.301 s]
/proc/loadavg: 4.02 3.29 2.99 5/190 6367
/proc/meminfo: memFree=30170400/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=990056 CPUtime=222.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 1385741 0 0 0 22044 185 0 0 25 0 1 0 873299276 1013817344 188626 33554432000 4194304 4280283 140737453586208 18446744073709551615 4210260 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 247514 188626 270 21 0 244151 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 990056

[startup+282.301 s]
/proc/loadavg: 4.00 3.42 3.05 5/190 6407
/proc/meminfo: memFree=30070084/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=991796 CPUtime=282.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 1633512 0 0 0 28011 218 0 0 25 0 1 0 873299276 1015599104 230256 33554432000 4194304 4280283 140737453586208 18446744073709551615 4208151 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 247949 230256 270 21 0 244586 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 991796

[startup+342.301 s]
/proc/loadavg: 4.12 3.55 3.12 5/190 6484
/proc/meminfo: memFree=30475688/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=644956 CPUtime=342.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 1926441 0 0 0 33972 257 0 0 25 0 1 0 873299276 660434944 106490 33554432000 4194304 4280283 140737453586208 18446744073709551615 4242809 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 161239 106490 270 21 0 157876 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 644956

[startup+402.301 s]
/proc/loadavg: 4.04 3.63 3.17 5/190 6524
/proc/meminfo: memFree=30475372/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=646952 CPUtime=402.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 2113435 0 0 0 39946 283 0 0 25 0 1 0 873299276 662478848 116099 33554432000 4194304 4280283 140737453586208 18446744073709551615 4258288 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 161738 116099 270 21 0 158375 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 646952

[startup+462.3 s]
/proc/loadavg: 4.01 3.70 3.22 5/190 6525
/proc/meminfo: memFree=30373348/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=648532 CPUtime=462.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 2306144 0 0 0 45923 306 0 0 25 0 1 0 873299276 664096768 140789 33554432000 4194304 4280283 140737453586208 18446744073709551615 4236512 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 162133 140789 270 21 0 158770 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 648532

[startup+522.301 s]
/proc/loadavg: 4.08 3.77 3.27 5/190 6527
/proc/meminfo: memFree=30250904/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1000352 CPUtime=522.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 2526120 0 0 0 51896 333 0 0 25 0 1 0 873299276 1024360448 173945 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 250088 173945 270 21 0 246725 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1000352

[startup+582.3 s]
/proc/loadavg: 4.03 3.81 3.31 5/190 6529
/proc/meminfo: memFree=30443020/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=653156 CPUtime=582.29 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 2895569 0 0 0 57848 381 0 0 25 0 1 0 873299276 668831744 125858 33554432000 4194304 4280283 140737453586208 18446744073709551615 4261357 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 163289 125858 270 21 0 159926 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 653156

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=30434512/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=657748 CPUtime=762.31 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 3881135 0 0 0 75725 506 0 0 25 0 1 0 873299276 673533952 124445 33554432000 4194304 4280283 140737453586208 18446744073709551615 4229299 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 164437 124445 270 21 0 161074 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 657748

[startup+822.301 s]
/proc/loadavg: 4.02 3.93 3.47 5/190 6538
/proc/meminfo: memFree=30311192/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=661568 CPUtime=822.3 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 3912029 0 0 0 81720 510 0 0 25 0 1 0 873299276 677445632 155332 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 165392 155332 270 21 0 162029 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 661568

[startup+882.301 s]
/proc/loadavg: 4.01 3.94 3.50 5/190 6540
/proc/meminfo: memFree=30263392/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1013652 CPUtime=882.3 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 3923842 0 0 0 87718 512 0 0 25 0 1 0 873299276 1037979648 167143 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 253413 167143 270 21 0 250050 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1013652

[startup+942.301 s]
/proc/loadavg: 4.04 3.97 3.54 5/190 6541
/proc/meminfo: memFree=30217196/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1016124 CPUtime=942.3 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 3932481 0 0 0 93718 512 0 0 25 0 1 0 873299276 1040510976 175779 33554432000 4194304 4280283 140737453586208 18446744073709551615 4238879 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 254031 175779 270 21 0 250668 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1016124

[startup+1002.3 s]
/proc/loadavg: 4.01 3.97 3.56 5/190 6543
/proc/meminfo: memFree=30205712/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1017092 CPUtime=1002.3 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 3935264 0 0 0 99717 513 0 0 25 0 1 0 873299276 1041502208 178562 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 254273 178562 270 21 0 250910 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1017092

[startup+1062.3 s]
/proc/loadavg: 4.00 3.97 3.58 5/190 6544
/proc/meminfo: memFree=30323308/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=669580 CPUtime=1062.3 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4115107 0 0 0 105695 535 0 0 25 0 1 0 873299276 685649920 153797 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243352 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 167395 153797 270 21 0 164032 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 669580

[startup+1122.3 s]
/proc/loadavg: 4.04 3.99 3.61 5/190 6546
/proc/meminfo: memFree=30205056/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1020148 CPUtime=1122.31 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4390320 0 0 0 111662 569 0 0 25 0 1 0 873299276 1044631552 178677 33554432000 4194304 4280283 140737453586208 18446744073709551615 4208151 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 255037 178677 270 21 0 251674 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1020148

[startup+1182.3 s]
/proc/loadavg: 4.09 4.00 3.64 5/190 6548
/proc/meminfo: memFree=30276412/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=672540 CPUtime=1182.31 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4586527 0 0 0 117638 593 0 0 25 0 1 0 873299276 688680960 161384 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 168135 161384 270 21 0 164772 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 672540

[startup+1242.3 s]
/proc/loadavg: 4.03 4.00 3.66 5/190 6549
/proc/meminfo: memFree=30499512/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=458428 CPUtime=1242.31 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4785288 0 0 0 123614 617 0 0 25 0 1 0 873299276 469430272 105419 33554432000 4194304 4280283 140737453586208 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 114607 105419 270 21 0 111244 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 458428

[startup+1302.3 s]
/proc/loadavg: 4.06 4.01 3.68 5/190 6551
/proc/meminfo: memFree=30202828/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1024992 CPUtime=1302.31 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4859060 0 0 0 129605 626 0 0 25 0 1 0 873299276 1049591808 179173 33554432000 4194304 4280283 140737453586208 18446744073709551615 4259103 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256248 179173 270 21 0 252885 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1024992

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

[startup+1305.5 s]
/proc/loadavg: 4.06 4.01 3.68 5/190 6551
/proc/meminfo: memFree=30177780/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1024992 CPUtime=1305.51 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4866271 0 0 0 129924 627 0 0 25 0 1 0 873299276 1049591808 186384 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243139 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256248 186384 270 21 0 252885 0
Current children cumulated CPU time (s) 1305.51
Current children cumulated vsize (KiB) 1024992

[startup+1318.3 s]
/proc/loadavg: 4.05 4.01 3.69 5/190 6551
/proc/meminfo: memFree=30118828/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1025628 CPUtime=1318.31 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4880177 0 0 0 131203 628 0 0 25 0 1 0 873299276 1050243072 200289 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243139 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256407 200289 270 21 0 253044 0
Current children cumulated CPU time (s) 1318.31
Current children cumulated vsize (KiB) 1025628

[startup+1331.1 s]
/proc/loadavg: 4.04 4.01 3.69 5/190 6552
/proc/meminfo: memFree=30055084/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1025972 CPUtime=1331.11 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4896578 0 0 0 132481 630 0 0 25 0 1 0 873299276 1050595328 216686 33554432000 4194304 4280283 140737453586208 18446744073709551615 4238781 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256493 216686 270 21 0 253130 0
Current children cumulated CPU time (s) 1331.11
Current children cumulated vsize (KiB) 1025972

[startup+1337.5 s]
/proc/loadavg: 4.03 4.01 3.69 5/190 6552
/proc/meminfo: memFree=30013648/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1026104 CPUtime=1337.52 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4906240 0 0 0 133121 631 0 0 25 0 1 0 873299276 1050730496 226348 33554432000 4194304 4280283 140737453586208 18446744073709551615 4242881 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256526 226348 270 21 0 253163 0
Current children cumulated CPU time (s) 1337.52
Current children cumulated vsize (KiB) 1026104

[startup+1340.7 s]
/proc/loadavg: 4.03 4.01 3.69 5/190 6552
/proc/meminfo: memFree=30012780/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1026104 CPUtime=1340.71 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4906483 0 0 0 133440 631 0 0 25 0 1 0 873299276 1050730496 226591 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256526 226591 270 21 0 253163 0
Current children cumulated CPU time (s) 1340.71
Current children cumulated vsize (KiB) 1026104

[startup+1342.3 s]
/proc/loadavg: 4.03 4.01 3.69 5/190 6552
/proc/meminfo: memFree=30000628/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1026104 CPUtime=1342.31 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4910384 0 0 0 133599 632 0 0 25 0 1 0 873299276 1050730496 230491 33554432000 4194304 4280283 140737453586208 18446744073709551615 4258928 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256526 230491 270 21 0 253163 0
Current children cumulated CPU time (s) 1342.31
Current children cumulated vsize (KiB) 1026104

[startup+1342.7 s]
/proc/loadavg: 4.03 4.01 3.69 5/190 6552
/proc/meminfo: memFree=30000628/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1026104 CPUtime=1342.71 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4911210 0 0 0 133639 632 0 0 25 0 1 0 873299276 1050730496 231316 33554432000 4194304 4280283 140737453586208 18446744073709551615 255110227045 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256526 231316 270 21 0 253163 0
Current children cumulated CPU time (s) 1342.71
Current children cumulated vsize (KiB) 1026104

[startup+1343.11 s]
/proc/loadavg: 4.03 4.01 3.69 5/190 6552
/proc/meminfo: memFree=29989092/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1026104 CPUtime=1343.12 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4912801 0 0 0 133680 632 0 0 25 0 1 0 873299276 1050730496 232907 33554432000 4194304 4280283 140737453586208 18446744073709551615 4243139 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256526 232907 270 21 0 253163 0
Current children cumulated CPU time (s) 1343.12
Current children cumulated vsize (KiB) 1026104

[startup+1343.2 s]
/proc/loadavg: 4.03 4.01 3.69 5/190 6552
/proc/meminfo: memFree=29989092/32951124 swapFree=67088052/67111528
[pid=6322] ppid=6320 vsize=1026104 CPUtime=1343.21 cores=4,6
/proc/6322/stat : 6322 (OptimuS_release) R 6320 6322 10609 0 -1 4202496 4913204 0 0 0 133689 632 0 0 25 0 1 0 873299276 1050730496 233309 33554432000 4194304 4280283 140737453586208 18446744073709551615 4238805 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/6322/statm: 256526 233309 270 21 0 253163 0
Current children cumulated CPU time (s) 1343.21
Current children cumulated vsize (KiB) 1026104

Child status: 20
Real time (s): 1343.29
CPU time (s): 1343.31
CPU user time (s): 1336.95
CPU system time (s): 6.35803
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2129736

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

runsolver used 2.38364 second user time and 4.94725 second system time

The end

Launcher Data

Begin job on node144 at 2011-06-11 18:13:51
IDJOB=3495641
IDBENCH=89506
IDSOLVER=1988
FILE ID=node144/3495641-1307808831
RUNJOBID= node144-1307808688-5729
PBS_JOBID= 13551004
Free space on /tmp= 73992 MiB

SOLVER NAME= OptimuS x100_source
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/f7.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495641-1307808831/watcher-3495641-1307808831 -o /tmp/evaluation-result-3495641-1307808831/solver-3495641-1307808831 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495641-1307808831.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 48d0f0c394fba9d685dfba1c80891fc1
RANDOM SEED=1756414425

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30799436 kB
Buffers:        202760 kB
Cached:         906924 kB
SwapCached:       1652 kB
Active:        1275252 kB
Inactive:       700240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30799436 kB
SwapTotal:    67111528 kB
SwapFree:     67088052 kB
Dirty:           15364 kB
Writeback:           0 kB
AnonPages:      864396 kB
Mapped:          14484 kB
Slab:           108308 kB
PageTables:       6704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1291304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73984 MiB
End job on node144 at 2011-06-11 18:36:15