fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r209su-blw3-146445824200035
Last Updated
June 30, 2016

About the Execution of Marcie for AirplaneLD-COL-0100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
10286.520 3600000.00 3599960.00 59.50 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is AirplaneLD-COL-0100, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r209su-blw3-146445824200035
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME AirplaneLD-COL-0100-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1464674262302


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=ReachabilityDeadlock.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=719|T|=808|A|=3078
Time for unfolding: 0m 1.044sec

Net: AirplaneLD_COL_0100
(NrP: 719 NrTr: 808 NrArc: 3078)

net check time: 0m 0.000sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.044sec

init dd package: 0m 3.282sec


RS generation: 0m10.672sec


-> reachability set: #nodes 2823 (2.8e+03) #states 34,877,423 (7)



starting MCC model checker
--------------------------

checking: EF [DEADLOCK]
normalized: E [true U DEADLOCK]


before gc: list nodes free: 3177634

after gc: idd nodes used:6318, unused:63993682; list nodes free:318733449

before gc: list nodes free: 107660

after gc: idd nodes used:6326, unused:63993674; list nodes free:318733501

before gc: list nodes free: 544660

after gc: idd nodes used:6245, unused:63993755; list nodes free:318733913

before gc: list nodes free: 1051706

after gc: idd nodes used:6318, unused:63993682; list nodes free:318733604

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

check for maximal unmarked siphon
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.001sec

904 904 904 904 904 904 904 904 904 904 957 975 991 1007 1021 1035 1631 1639 1643 1647 1651 1655 1659 1662 1666 1669 1673 1676 1680 1683 1687 1689 2294 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2712 2822 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823 2823
iterations count:73910 (91), effective:414 (0)

initing FirstDep: 0m 0.003sec

2716 2722 2730 2738 2746 2752 2760 2766 2774 2780 2788 2794 2800 2808 2811 2814 2817 2821 2824 2827 2830 2833 2836 2839 2842 2845 2848 2851 2854 2856 2859 3068 3068 3068 3068 3068 3068 3522 3487 3469 3455 3443 3432 3069 3499 3478 3462 3450 3439 3429 3516 3487 3470 3457 3445 3435 3071 3499 3479 3464 3452 3441 3431 3513 3488 3472 3459 3447 3437 3073 3499 3480 3466 3454 3443 3434 3512 3489 3473 3461 3450 3440 3530 3499 3482 3468 3456 3446 3076 3511 3490 3475 3463 3452 3442 3527 3500 3483 3470 3458 3448 3078 3511 3492 3477 3465 3454 3445 3525 3501 3485 3472 3461 3451 3080 3512 3493 3479 3467 3457 3081 3524 3560 3487 3474 3463 3453 3543 3513 3495 3481 3470 3459 3083 3564 3504 3489 3564 3466 3456 3540 3514 3497 3484 3472 3462 3085 3525 3506 3491 3479 3468 3459 3539 3515 3499 3486 3475 3465 3087 3526 3507 3493 3481 3471 3088 3539 3517 3501 3488 3477 3467 3568 3527 3509 3496 3484 3473 3090 3539 3518 3503 3491 3480 3470 3555 3528 3511 3498 3486 3476 3092 3540 3520 3506 3493 3483 3473 3584 3530 3514 3500 3489 3479 3094 3541 3522 3508 3496 3485 3476 3580 3532 3516 3503 3492 3482 3576 3542 3524 3510 3499 3488 3097 3555 3534 3518 3506 3495 3485 3573 3544 3527 3513 3501 3491 3099 3556 3536 3521 3508 3497 3488 3572 3546 3529 3516 3504 3494 3101 3557 3538 3523 3511 3500 3491 3572 3548 3531 3518 3507 3497 3103 3559 3540 3526 3514 3503 3494 3573 3550 3534 3521 3510 3500 3595 3561 3543 3529 3517 3506 3106 3574 3552 3537 3524 3513 3503 3593 3563 3545 3531 3520 3509 3108 3575 3554 3539 3527 3516 3506 3592 3565 3548 3534 3523 3512 3110 3577 3557 3542 3530 3519 3509 3620 3567 3550 3537 3526 3516 3112 3579 3559 3545 3533 3522 3512 3593 3569 3553 3540 3529 3519 3114 3581 3562 3548 3536 3525 3516 3595 3572 3556 3543 3532 3522 3327 3699 3679 3665 3653 3642 3632 3709 3687 3671 3658 3647 3637 3724 3695 3677 3663 3652 3641 3327 3704 3684 3669 3657 3646 3636 3715 3691 3675 3662 3651 3641 3734 3700 3682 3668 3656 3645 3327 3709 3689 3673 3661 3650 3640 3722 3696 3680 3666 3655 3645 3327 3705 3686 3672 3660 3649 3640 3715 3751 3678 3665 3654 3644 3730 3744 3684 3671 3659 3649 3327 3711 3691 3676 3664 3753 3644 3722 3699 3683 3670 3658 3648 3740 3707 3689 3675 3663 3653 3327 3717 3696 3681 3669 3658 3648 3730 3704 3687 3674 3663 3653 3327 3713 3694 3680 3668 3657 3648 3724 3702 3686 3673 3662 3652 3738 3710 3692 3679 3667 3657 3327 3719 3699 3685 3672 3662 3652 3731 3707 3691 3678 3667 3657 3763 3716 3698 3684 3672 3661 3327 3726 3705 3690 3677 3666 3656 3740 3713 3696 3683 3671 3661 3327 3722 3703 3689 3677 3666 3656 3734 3711 3695 3682 3671 3661 3768 3719 3702 3688 3676 3666 3327 3729 3709 3694 3681 3671 3661 3742 3717 3700 3687 3676 3665 3327 3726 3707 3693 3681 3670 3661 3737 3715 3699 3686 3675 3665 3753 3723 3706 3692 3681 3670 3327 3733 3713 3698 3686 3675 3665 3746 3721 3705 3692 3680 3670 3327 3730 3712 3698 3686 3675 3327 3741 3719 3704 3691 3680 3670 3757 3728 3711 3697 3685 3675 3327 3738 3718 3703 3691 3680 3670 3751 3726 3710 3772 3685 3675 3327 3735 3717 3703 3691 3680 3327 3746 3724 3709 3696 3685 3675 3762 3733 3716 3702 3690 3680 3327 3743 3723 3708 3696 3685 3675 3756 3731 3715 3702 3690 3680 3327 3741 3722 3708 3696 3685 3676 3752 3730 3714 3701 3690 3680 3769 3739 3721 3707 3696 3685 3327 3749 3729 3714 3701 3690 3681 3763 3737 3720 3707 3696 3686 3327 3747 3728 3713 3701 3691 3681 3809 3786 3770 3757 3745 3735 3328 3802 3782 3767 3755 3744 3735 3812 3788 3772 3759 3748 3738 3827 3795 3778 3764 3752 3742 3426 3804 3784 3769 3756 3745 3736 3815 3790 3774 3761 3749 3739 3424 3798 3779 3765 3753 3743 3423 3807 3785 3770 3757 3746 3737 3819 3792 3775 3762 3750 3740 3421 3800 3781 3767 3754 3744 3734 3810 3787 3772 3759 3748 3738 3824 3794 3777 3763 3752 3741 3418 3803 3783 3768 3756 3745 3735 3836 3789 3773 3760 3749 3739 3832 3797 3779 3765 3753 3742 3415 3806 3785 3770 3757 3746 3736 3818 3792 3775 3762 3750 3740 3413 3800 3781 3766 3754 3744 3734 3810 3787 3772 3759 3748 3738 3825 3795 3777 3763 3752 3741 3410 3803 3783 3768 3756 3745 3735 3844 3790 3774 3760 3749 3739 3408 3798 3779 3765 3753 3743 3407 3807 3786 3770 3758 3747 3737 3820 3793 3776 3762 3751 3740 3405 3801 3782 3767 3755 3744 3735 3812 3789 3773 3760 3748 3738 3829 3796 3778 3764 3753 3742 3402 3805 3785 3769 3757 3746 3736 3818 3792 3775 3762 3750 3740 3400 3800 3781 3767 3754 3744 3734 3810 3788 3772 3759 3748 3738 3826 3795 3778 3764 3752 3742 3397 3804 3784 3769 3756 3746 3736 3817 3791 3774 3761 3750 3740 3395 3799 3844 3766 3754 3743 3734 3810 3787 3844 3759 3748 3738 3825 3795 3777 3764 3752 3741 3392 3804 3784 3769 3756 3745 3736 3816 3791 3774 3761 3750 3739 3390 3799 3780 3766 3754 3743 3734 3810 3787 3844 3759 3748 3738 3844 3795 3777 3764 3752 3741 3387 3804 3784 3769 3756 3746 3736 3817 3791 3775 3761 3750 3740 3385 3800 3781 3766 3754 3744 3734 3810 3788 3772 3759 3748 3738 3827 3796 3778 3764 3752 3742 3382 3805 3784 3769 3757 3746 3736 3818 3792 3775 3762 3750 3740 3380 3801 3781 3767 3755 3744 3734 3814 3789 3773 3760 3749 3739 3329 3805 3785 3770 3758 3747 3737 3815 3791 3775 3762 3751 3741 3832 3798 3780 3766 3755 3744 3428 3807 3786 3771 3759 3748 3738 3818 3793 3776 3763 3752 3742 3426 3801 3782 3768 3756 3745 3736 3810 3788 3773 3760 3749 3739 3823 3795 3778 3764 3753 3743 3423 3803 3784 3769 3757 3746 3737 3813 3790 3774 3761 3750 3740 3828 3797 3780 3766 3754 3744 3420 3806 3786 3771 3758 3747 3738 3817 3792 3776 3763 3751 3741 3418 3800 3838 3767 3755 3745 3417 3809 3788 3772 3760 3749 3739 3822 3795 3778 3764 3753 3742 3415 3803 3784 3769 3757 3746 3737 3813 3790 3774 3761 3750 3740 3829 3798 3780 3766 3754 3744 3412 3806 3786 3771 3758 3748 3738 3818 3793 3776 3763 3752 3741 3410 3801 3782 3768 3756 3745 3736 3846 3838 3773 3760 3749 3739 3846 3796 3838 3765 3753 3743 3407 3804 3785 3770 3758 3747 3737 3815 3791 3775 3762 3751 3741 3835 3799 3781 3767 3755 3838 3404 3809 3787 3772 3759 3748 3739 3822 3795 3778 3764 3753 3742 3402 3803 3784 3769 3757 3746 3737 3814 3790 3774 3761 3750 3740 3831 3798 3780 3766 3838 3744 3399 3808 3787 3838 3759 3748 3738 3820 3794 3777 3764 3752 3742 3397 3802 3783 3769 3757 3746 3736 3813 3790 3774 3761 3750 3740 3830 3798 3780 3766 3754 3744 3394 3807 3786 3771 3759 3748 3738 3820 3794 3777 3764 3752 3742 3392 3802 3783 3769 3757 3746 3736 3813 3790 3774 3761 3750 3740 3830 3798 3780 3766 3754 3744 3389 3807 3787 3771 3759 3748 3738 3846 3794 3777 3764 3752 3742 3387 3803 3783 3769 3757 3746 3736 3814 3790 3774 3761 3750 3740 3832 3799 3838 3767 3755 3744 3384 3808 3787 3772 3759 3748 3838 3822 3795 3778 3764 3753 3742 3382 3804 3784 3838 3757 3747 3737 3817 3792 3776 3763 3751 3741 3330 3808 3788 3773 3760 3749 3740 3819 3794 3778 3764 3753 3743 3431 3801 3783 3769 3757 3747 3430 3810 3789 3774 3761 3750 3740 3822 3796 3779 3766 3754 3744 3428 3804 3785 3770 3758 3748 3738 3813 3791 3775 3762 3751 3741 3827 3798 3781 3767 3755 3745 3425 3806 3786 3772 3759 3749 3739 3840 3793 3777 3764 3840 3742 3833 3800 3782 3768 3757 3746 3422 3809 3788 3773 3761 3750 3740 3821 3795 3840 3765 3754 3744 3420 3803 3784 3770 3758 3747 3738 3840 3791 3775 3762 3751 3741 3826 3798 3780 3767 3755 3745 3417 3806 3786 3772 3759 3749 3739 3817 3793 3777 3764 3753 3848 3834 3840 3848 3840 3757 3746 3414 3810 3789 3774 3761 3750 3740 3822 3796 3779 3766 3754 3744 3412 3804 3785 3770 3758 3748 3738 3814 3791 3776 3763 3752 3742 3829 3799 3781 3767 3756 3745 3409 3840 3787 3772 3760 3749 3739 3819 3794 3778 3765 3753 3743 3407 3802 3784 3769 3840 3747 3406 3812 3790 3775 3762 3751 3741 3826 3848 3780 3767 3755 3745 3404 3806 3786 3772 3759 3749 3739 3817 3793 3777 3764 3753 3743 3837 3801 3783 3769 3757 3840 3401 3811 3789 3774 3848 3840 3741 3824 3797 3780 3766 3755 3744 3399 3805 3786 3771 3759 3748 3739 3816 3793 3777 3764 3752 3742 3835 3801 3783 3769 3757 3746 3396 3810 3789 3774 3761 3750 3840 3824 3797 3780 3766 3755 3744 3394 3805 3786 3771 3759 3748 3739 3816 3793 3777 3764 3752 3742 3836 3801 3783 3769 3757 3746 3391 3811 3789 3774 3761 3750 3741 3824 3797 3780 3766 3755 3744 3389 3806 3786 3840 3759 3749 3739 3817 3793 3777 3764 3753 3743 3387 3840 3783 3769 3757 3747 3386 3812 3790 3775 3762 3751 3741 3826 3798 3780 3767 3755 3745 3384 3807 3787 3772 3760 3749 3739 3821 3795 3779 3765 3754 3744 3331 3811 3790 3775 3763 3752 3742 3822 3797 3780 3767 3756 3745 3433 3804 3786 3772 3760 3749 3842 3842 3792 3776 3764 3753 3743 3826 3799 3782 3768 3757 3746 3430 3807 3787 3773 3761 3750 3740 3850 3794 3778 3765 3754 3744 3831 3801 3783 3842 3758 3747 3427 3809 3789 3774 3762 3751 3741 3820 3796 3779 3766 3755 3745 3839 3803 3785 3771 3759 3749 3424 3812 3791 3776 3763 3752 3742 3842 3798 3781 3768 3756 3746 3422 3806 3787 3773 3760 3750 3740 3816 3793 3778 3765 3754 3744 3850 3801 3783 3769 3758 3747 3419 3809 3789 3774 3762 3751 3741 3820 3796 3842 3766 3755 3745 3417 3842 3785 3771 3759 3749 3416 3813 3850 3776 3764 3753 3743 3826 3799 3782 3768 3757 3746 3414 3807 3788 3773 3761 3750 3740 3817 3794 3778 3765 3754 3744 3842 3802 3784 3770 3758 3748 3411 3811 3790 3775 3763 3752 3742 3823 3797 3850 3767 3756 3746 3409 3805 3786 3772 3760 3749 3740 3815 3793 3777 3842 3753 3743 3830 3800 3783 3769 3758 3747 3406 3809 3789 3774 3762 3751 3741 3821 3796 3780 3767 3755 3745 3404 3804 3786 3850 3760 3749 3403 3814 3792 3777 3764 3753 3743 3828 3800 3782 3769 3757 3747 3401 3809 3789 3774 3762 3751 3741 3820 3796 3779 3766 3755 3745 3399 3804 3785 3771 3759 3749 3398 3814 3792 3777 3764 3753 3743 3828 3842 3782 3769 3757 3747 3396 3808 3789 3774 3762 3751 3741 3820 3796 3779 3766 3755 3745 3394 3804 3785 3771 3759 3749 3393 3814 3792 3777 3764 3753 3743 3842 3800 3783 3769 3757 3747 3391 3809 3789 3774 3762 3751 3741 3821 3796 3780 3767 3755 3745 3389 3805 3786 3772 3760 3749 3740 3815 3793 3777 3764 3753 3743 3831 3801 3783 3769 3758 3747 3386 3810 3790 3775 3762 3751 3742 3825 3798 3781 3768 3756 3746 3332 3814 3793 3778 3765 3754 3744 3826 3800 3783 3770 3758 3748 3435 3807 3789 3774 3762 3752 3742 3817 3795 3779 3766 3755 3745 3830 3802 3784 3771 3759 3749 3432 3810 3790 3844 3763 3753 3743 3820 3797 3781 3768 3756 3746 3836 3804 3786 3772 3760 3750 3429 3812 3792 3777 3764 3754 3744 3824 3799 3782 3769 3852 3747 3427 3806 3788 3774 3762 3751 3426 3816 3794 3779 3766 3755 3745 3844 3801 3784 3770 3759 3844 3424 3809 3790 3775 3763 3752 3743 3819 3796 3780 3767 3756 3746 3835 3804 3786 3772 3760 3750 3421 3812 3792 3777 3764 3754 3744 3824 3799 3782 3769 3758 3747 3419 3807 3788 3774 3762 3751 3742 3816 3794 3779 3766 3755 3745 3830 3844 3784 3771 3759 3749 3416 3810 3790 3776 3763 3753 3743 3821 3797 3781 3768 3757 3747 3839 3805 3787 3773 3761 3750 3413 3814 3793 3778 3765 3754 3744 3844 3800 3783 3770 3758 3748 3411 3808 3789 3775 3763 3752 3742 3819 3796 3780 3767 3756 3746 3835 3803 3786 3772 3760 3750 3408 3852 3792 3777 3852 3754 3744 3825 3799 3782 3769 3758 3748 3406 3807 3788 3774 3762 3751 3742 3817 3795 3779 3767 3755 3746 3833 3803 3785 3771 3760 3749 3403 3812 3791 3777 3764 3753 3744 3824 3799 3782 3769 3757 3747 3401 3807 3788 3774 3762 3751 3742 3817 3795 3779 3766 3755 3745 3832 3802 3785 3771 3760 3749 3398 3812 3791 3776 3764 3753 3744 3824 3799 3782 3769 3757 3747 3396 3807 3788 3774 3762 3751 3742 3817 3795 3779 3767 3755 3745 3833 3803 3785 3771 3760 3749 3393 3812 3792 3777 3764 3753 3744 3825 3799 3782 3769 3758 3748 3391 3808 3789 3774 3762 3752 3742 3818 3796 3780 3767 3756 3746 3835 3804 3786 3772 3760 3750 3388 3813 3852 3777 3765 3754 3744 3829 3801 3784 3770 3759 3749 3333 3818 3796 3781 3768 3757 3747 3830 3803 3786 3772 3761 3750 3437 3811 3791 3777 3765 3754 3744 3820 3798 3782 3769 3758 3748 3835 3805 3787 3773 3762 3751 3434 3813 3793 3778 3766 3755 3745 3824 3799 3783 3770 3759 3749 3842 3807 3789 3775 3763 3752 3431 3816 3795 3780 3767 3756 3746 3828 3802 3785 3771 3760 3750 3429 3809 3791 3776 3764 3753 3744 3819 3797 3781 3768 3757 3747 3833 3804 3787 3773 3761 3751 3426 3812 3846 3778 3765 3755 3745 3823 3799 3783 3770 3759 3749 3841 3807 3789 3775 3763 3752 3423 3816 3795 3780 3767 3756 3746 3828 3802 3785 3772 3760 3750 3421 3810 3791 3776 3764 3754 3744 3820 3797 3781 3769 3758 3748 3834 3854 3787 3773 3762 3751 3418 3813 3793 3778 3766 3755 3745 3824 3800 3784 3770 3759 3749 3416 3808 3789 3775 3763 3753 3415 3817 3796 3780 3768 3757 3747 3831 3803 3786 3772 3761 3751 3413 3811 3792 3777 3765 3754 3745 3822 3799 3783 3770 3758 3748 3840 3806 3788 3774 3763 3752 3410 3816 3795 3780 3767 3756 3746 3828 3802 3785 3772 3760 3750 3408 3810 3791 3777 3765 3754 3744 3821 3798 3782 3769 3758 3748 3846 3806 3788 3774 3762 3752 3405 3815 3794 3779 3767 3756 3746 3827 3854 3785 3771 3760 3750 3403 3810 3791 3776 3764 3754 3744 3820 3798 3782 3769 3758 3748 3837 3805 3788 3774 3762 3752 3400 3815 3794 3779 3767 3756 3746 3827 3854 3785 3771 3760 3750 3398 3810 3791 3777 3764 3754 3744 3821 3798 3782 3769 3758 3748 3838 3806 3788 3774 3762 3752 3395 3815 3795 3779 3767 3756 3746 3828 3802 3785 3772 3760 3750 3393 3811 3791 3777 3765 3754 3744 3822 3846 3846 3770 3758 3748 3841 3807 3789 3775 3763 3752 3390 3817 3795 3780 3767 3756 3747 3833 3804 3787 3773 3761 3751 3334 3821 3799 3783 3770 3759 3749 3834 3806 3788 3775 3763 3753 3439 3814 3794 3856 3767 3848 3747 3824 3856 3856 3848 3760 3750 3848 3808 3790 3776 3764 3754 3436 3816 3796 3781 3768 3848 3748 3827 3802 3786 3773 3761 3751 3434 3810 3848 3777 3765 3755 3433 3819 3798 3782 3770 3759 3749 3832 3848 3788 3774 3763 3752 3431 3848 3793 3779 3767 3756 3746 3822 3800 3784 3771 3760 3750 3837 3807 3789 3776 3764 3753 3428 3856 3795 3780 3768 3757 3747 3827 3802 3786 3772 3761 3751 3426 3810 3791 3777 3765 3755 3425 3819 3798 3782 3770 3759 3749 3832 3805 3788 3774 3763 3752 3423 3813 3848 3779 3767 3756 3746 3823 3800 3784 3771 3760 3750 3839 3848 3790 3776 3764 3754 3420 3816 3796 3781 3768 3758 3748 3828 3803 3786 3773 3762 3751 3418 3811 3792 3778 3766 3755 3746 3821 3799 3783 3770 3759 3749 3835 3806 3789 3775 3763 3753 3415 3815 3795 3780 3768 3757 3747 3826 3802 3785 3772 3761 3751 3413 3856 3791 3777 3765 3755 3412 3819 3798 3782 3770 3759 3749 3848 3805 3788 3774 3763 3848 3410 3814 3794 3779 3767 3756 3747 3856 3801 3785 3772 3856 3750 3843 3809 3791 3777 3765 3754 3407 3818 3797 3782 3769 3758 3748 3831 3804 3848 3774 3848 3752 3405 3813 3794 3779 3767 3756 3747 3824 3801 3785 3772 3760 3750 3842 3848 3856 3848 3765 3754 3402 3818 3797 3782 3769 3758 3748 3831 3804 3848 3774 3848 3752 3400 3813 3794 3779 3767 3756 3747 3824 3801 3785 3772 3760 3750 3848 3809 3791 3777 3765 3754 3397 3819 3797 3782 3769 3758 3749 3848 3805 3788 3774 3763 3848 3395 3814 3794 3780 3767 3757 3747 3856 3801 3785 3772 3761 3751 3393 3810 3791 3777 3765 3755 3392 3820 3798 3783 3770 3759 3749 3856 3807 3789 3776 3764 3753 3335 3850 3802 3786 3773 3762 3752 3839 3809 3791 3777 3766 3755 3441 3817 3797 3782 3770 3759 3749 3858 3803 3787 3774 3763 3753 3845 3811 3793 3779 3767 3756 3438 3850 3799 3783 3771 3760 3750 3831 3805 3789 3775 3764 3754 3436 3813 3794 3780 3768 3757 3748 3858 3850 3785 3772 3761 3751 3836 3850 3790 3777 3765 3755 3433 3816 3796 3781 3769 3758 3749 3826 3803 3787 3774 3762 3752 3858 3810 3792 3778 3766 3756 3430 3819 3798 3783 3771 3760 3750 3830 3805 3788 3775 3764 3754 3428 3813 3794 3780 3768 3757 3748 3822 3800 3785 3772 3761 3751 3836 3808 3790 3777 3765 3755 3425 3816 3796 3782 3769 3759 3749 3827 3803 3787 3774 3763 3850 3850 3811 3793 3779 3767 3756 3422 3820 3799 3784 3771 3760 3750 3832 3806 3789 3776 3764 3754 3420 3814 3795 3850 3768 3758 3748 3824 3850 3786 3773 3762 3752 3850 3809 3791 3778 3766 3755 3417 3818 3798 3783 3770 3759 3750 3830 3805 3788 3775 3763 3753 3415 3813 3794 3780 3768 3757 3748 3850 3801 3785 3772 3761 3751 3837 3808 3791 3777 3765 3755 3412 3817 3797 3782 3770 3759 3749 3828 3804 3858 3774 3763 3753 3410 3812 3793 3779 3767 3757 3409 3822 3800 3785 3772 3761 3751 3836 3807 3790 3777 3765 3755 3407 3816 3850 3782 3769 3759 3749 3828 3850 3787 3774 3763 3753 3405 3812 3793 3779 3767 3757 3404 3850 3800 3784 3772 3761 3751 3836 3807 3790 3777 3765 3755 3402 3816 3797 3782 3770 3759 3749 3828 3804 3787 3774 3763 3753 3400 3812 3850 3779 3767 3757 3399 3822 3800 3785 3772 3761 3751 3837 3808 3791 3777 3765 3755 3397 3817 3797 3782 3770 3759 3749 3829 3804 3788 3775 3763 3753 3395 3813 3794 3780 3768 3757 3748 3823 3801 3785 3773 3761 3850 3843 3810 3792 3778 3766 3756 3336 3828 3805 3789 3776 3764 3754 3844 3812 3794 3780 3768 3758 3443 3820 3800 3785 3772 3762 3752 3831 3806 3790 3777 3765 3755 3441 3814 3795 3781 3769 3759 3440 3823 3802 3786 3774 3763 3753 3835 3808 3791 3778 3766 3756 3438 3816 3797 3783 3771 3760 3750 3826 3803 3788 3775 3764 3754 3840 3811 3793 3779 3768 3757 3435 3819 3799 3784 3772 3761 3751 3830 3806 3789 3776 3765 3755 3852 3813 3795 3781 3769 3758 3432 3822 3801 3786 3773 3762 3752 3834 3808 3791 3778 3766 3756 3430 3816 3797 3860 3770 3760 3750 3826 3803 3788 3775 3764 3754 3841 3811 3793 3779 3768 3757 3427 3819 3799 3784 3772 3761 3751 3830 3806 3790 3776 3765 3755 3425 3814 3795 3781 3769 3759 3424 3823 3802 3786 3774 3763 3753 3836 3809 3792 3778 3767 3756 3422 3817 3798 3783 3771 3760 3751 3828 3804 3788 3775 3764 3754 3845 3812 3794 3780 3768 3758 3419 3821 3800 3785 3773 3762 3752 3852 3808 3791 3777 3766 3756 3417 3816 3797 3782 3770 3760 3750 3826 3803 3788 3775 3764 3754 3842 3811 3793 3780 3768 3860 3414 3820 3800 3785 3772 3761 3752 3832 3807 3790 3777 3766 3755 3412 3815 3796 3782 3770 3759 3750 3825 3803 3787 3774 3763 3753 3840 3860 3793 3779 3768 3757 3409 3820 3799 3784 3772 3761 3860 3831 3806 3790 3777 3765 3755 3407 3815 3796 3782 3770 3759 3750 3825 3803 3787 3774 3763 3753 3840 3860 3793 3779 3768 3757 3404 3820 3799 3785 3772 3761 3752 3832 3807 3790 3777 3766 3755 3402 3815 3796 3782 3770 3759 3750 3826 3803 3787 3775 3764 3754 3842 3811 3793 3780 3768 3860 3399 3820 3800 3785 3772 3762 3752 3833 3807 3791 3777 3766 3756 3397 3816 3797 3783 3770 3760 3750 3827 3804 3788 3775 3764 3754 3849 3813 3795 3781 3769 3758 3337 3832 3808 3791 3778 3767 3757 3850 3815 3797 3783 3771 3760 3445 3824 3803 3788 3775 3764 3754 3835 3809 3793 3779 3768 3758 3443 3817 3798 3784 3772 3761 3752 3826 3804 3789 3776 3765 3755 3862 3811 3794 3781 3769 3759 3440 3819 3800 3785 3773 3762 3753 3830 3806 3790 3777 3766 3756 3845 3814 3796 3782 3770 3760 3437 3822 3802 3787 3774 3764 3754 3834 3809 3792 3779 3767 3757 3435 3816 3798 3854 3772 3761 3434 3826 3804 3854 3776 3765 3755 3839 3811 3794 3780 3769 3759 3432 3819 3800 3785 3773 3762 3753 3862 3806 3790 3777 3766 3756 3846 3814 3796 3782 3770 3760 3429 3823 3802 3787 3775 3764 3754 3834 3809 3792 3779 3768 3862 3427 3817 3798 3784 3772 3761 3752 3827 3805 3789 3776 3765 3755 3841 3812 3795 3781 3769 3759 3424 3820 3801 3786 3774 3763 3753 3831 3807 3791 3778 3767 3757 3851 3815 3797 3783 3771 3854 3421 3825 3803 3788 3775 3764 3755 3838 3811 3794 3780 3769 3758 3419 3819 3800 3785 3773 3762 3753 3830 3806 3790 3777 3766 3756 3847 3814 3796 3782 3770 3760 3416 3823 3803 3787 3775 3764 3754 3836 3810 3793 3780 3768 3758 3414 3818 3799 3785 3772 3762 3752 3829 3806 3790 3777 3766 3756 3845 3814 3796 3782 3770 3760 3411 3823 3802 3787 3775 3764 3754 3835 3809 3793 3779 3768 3758 3409 3818 3799 3784 3772 3762 3752 3829 3806 3790 3777 3766 3756 3845 3814 3796 3782 3770 3760 3406 3823 3802 3787 3775 3764 3754 3836 3810 3793 3780 3768 3758 3404 3818 3799 3785 3773 3762 3752 3829 3806 3790 3777 3766 3756 3847 3814 3796 3782 3770 3760 3401 3824 3803 3788 3775 3764 3754 3837 3810 3793 3780 3768 3758 3399 3819 3800 3785 3773 3762 3753 3831 3807 3791 3778 3767 3756 3348 3816 3798 3784 3772 3761 3338 3836 3811 3794 3781 3864 3759 3448 3818 3800 3785 3773 3763 3447 3827 3806 3790 3778 3767 3757 3839 3812 3795 3782 3770 3760 3445 3820 3801 3787 3775 3764 3754 3830 3807 3792 3779 3768 3758 3844 3814 3797 3783 3772 3761 3442 3823 3803 3788 3776 3765 3755 3833 3809 3793 3780 3769 3759 3851 3817 3799 3785 3773 3762 3439 3826 3805 3790 3777 3766 3756 3838 3812 3795 3781 3770 3760 3437 3819 3801 3786 3774 3856 3754 3829 3807 3791 3778 3767 3757 3843 3814 3797 3783 3771 3761 3434 3822 3803 3788 3776 3765 3755 3833 3809 3793 3780 3769 3759 3852 3817 3799 3785 3773 3762 3431 3826 3805 3790 3777 3766 3756 3838 3812 3795 3782 3770 3760 3429 3820 3801 3787 3774 3764 3754 3830 3808 3792 3779 3768 3758 3845 3815 3797 3784 3772 3761 3426 3824 3856 3789 3776 3765 3756 3835 3810 3794 3781 3769 3759 3424 3818 3800 3786 3774 3763 3423 3828 3806 3791 3778 3767 3757 3842 3814 3796 3783 3771 3761 3421 3822 3856 3788 3775 3765 3755 3833 3809 3793 3780 3769 3759 3853 3817 3799 3785 3773 3763 3418 3827 3864 3790 3778 3767 3757 3840 3813 3796 3782 3771 3760 3416 3821 3802 3787 3775 3764 3755 3832 3809 3793 3780 3768 3758 3851 3817 3799 3785 3773 3762 3413 3826 3805 3790 3777 3766 3756 3840 3856 3796 3782 3771 3760 3411 3821 3802 3787 3775 3764 3755 3832 3809 3793 3780 3768 3758 3851 3817 3799 3785 3773 3762 3408 3826 3805 3790 3777 3766 3757 3840 3813 3796 3782 3771 3760 3406 3822 3802 3787 3775 3764 3755 3833 3809 3793 3780 3769 3759 3853 3817 3799 3785 3773 3763 3403 3827 3806 3790 3778 3767 3757 3842 3813 3796 3783 3771 3761 3401 3856 3803 3788 3776 3765 3755 3834 3810 3794 3780 3769 3759 3350 3819 3801 3786 3774 3764 3754 3840 3814 3797 3784 3772 3762 3450 3821 3802 3788 3776 3765 3756 3831 3809 3793 3780 3769 3759 3844 3866 3798 3785 3773 3763 3447 3824 3804 3789 3777 3766 3757 3834 3810 3794 3781 3770 3760 3849 3818 3800 3786 3774 3764 3444 3826 3806 3791 3778 3767 3758 3837 3812 3796 3783 3771 3761 3442 3820 3802 3787 3775 3765 3441 3829 3808 3792 3780 3769 3759 3842 3815 3798 3784 3773 3762 3439 3823 3803 3789 3777 3766 3756 3833 3810 3794 3781 3770 3760 3848 3817 3858 3786 3774 3764 3436 3826 3806 3791 3778 3767 3758 3837 3812 3796 3783 3771 3761 3434 3820 3802 3787 3775 3765 3433 3866 3808 3792 3780 3769 3759 3843 3815 3798 3784 3773 3763 3431 3823 3804 3789 3777 3766 3757 3834 3858 3858 3782 3770 3760 3851 3818 3800 3786 3774 3764 3428 3827 3806 3791 3779 3768 3758 3839 3813 3797 3783 3772 3762 3426 3822 3803 3788 3776 3766 3756 3832 3809 3794 3781 3770 3760 3847 3817 3799 3785 3774 3763 3423 3826 3805 3866 3778 3767 3758 3837 3812 3796 3783 3771 3761 3421 3820 3802 3788 3776 3765 3756 3830 3808 3793 3780 3769 3759 3845 3816 3799 3785 3773 3763 3418 3825 3805 3790 3778 3767 3757 3836 3812 3858 3782 3771 3761 3416 3820 3801 3787 3775 3765 3415 3830 3808 3793 3780 3769 3759 3844 3816 3798 3785 3773 3763 3413 3866 3805 3790 3778 3767 3757 3836 3812 3795 3782 3771 3761 3411 3820 3801 3787 3775 3765 3410 3830 3808 3793 3780 3769 3759 3866 3816 3858 3785 3773 3763 3408 3825 3805 3790 3778 3767 3757 3837 3812 3796 3783 3771 3761 3406 3820 3802 3788 3776 3765 3756 3831 3809 3793 3780 3769 3759 3846 3858 3799 3785 3774 3763 3403 3826 3806 3791 3778 3767 3758 3838 3813 3796 3783 3772 3762 3352 3823 3803 3789 3777 3766 3756 3844 3817 3800 3786 3775 3764 3452 3825 3805 3791 3779 3768 3758 3834 3812 3796 3783 3772 3762 3860 3819 3801 3787 3776 3765 3449 3827 3807 3792 3780 3769 3759 3837 3813 3797 3784 3773 3763 3855 3821 3803 3789 3777 3766 3446 3830 3809 3860 3781 3770 3760 3841 3815 3799 3785 3774 3764 3444 3823 3804 3790 3778 3767 3758 3833 3811 3795 3782 3771 3761 3846 3818 3800 3787 3775 3765 3441 3826 3806 3792 3779 3769 3759 3868 3813 3797 3784 3868 3762 3854 3820 3802 3788 3777 3766 3438 3829 3808 3793 3781 3770 3760 3841 3815 3799 3785 3774 3764 3436 3823 3804 3790 3778 3767 3758 3833 3811 3795 3782 3771 3761 3847 3818 3801 3787 3775 3765 3433 3827 3807 3792 3780 3769 3759 3838 3814 3797 3784 3773 3763 3868 3821 3803 3789 3777 3767 3430 3831 3809 3794 3781 3770 3761 3844 3860 3800 3786 3775 3764 3428 3825 3806 3791 3779 3768 3758 3835 3812 3796 3783 3772 3762 3852 3820 3802 3788 3776 3766 3425 3829 3808 3793 3781 3770 3760 3841 3815 3799 3785 3774 3764 3423 3824 3805 3790 3778 3768 3758 3834 3811 3796 3783 3772 3762 3850 3819 3801 3788 3776 3860 3420 3828 3808 3793 3780 3769 3760 3840 3815 3798 3785 3774 3763 3418 3823 3804 3790 3778 3767 3758 3833 3811 3795 3783 3771 3860 3849 3819 3801 3787 3776 3765 3415 3828 3808 3793 3780 3769 3760 3840 3815 3798 3785 3774 3763 3413 3823 3804 3790 3778 3767 3758 3834 3811 3795 3783 3860 3762 3849 3819 3801 3788 3776 3765 3410 3828 3808 3793 3780 3770 3760 3841 3815 3799 3785 3774 3764 3408 3824 3805 3790 3778 3768 3758 3834 3812 3796 3783 3772 3762 3868 3820 3802 3788 3776 3766 3405 3829 3860 3793 3781 3770 3760 3860 3816 3799 3786 3774 3764 3354 3826 3806 3792 3779 3769 3759 3849 3820 3803 3789 3777 3767 3454 3828 3808 3794 3781 3771 3761 3838 3815 3799 3786 3774 3764 3854 3822 3804 3790 3778 3768 3451 3830 3810 3795 3782 3772 3762 3841 3816 3800 3787 3775 3765 3449 3824 3806 3791 3779 3769 3448 3833 3812 3796 3784 3773 3763 3846 3862 3802 3788 3777 3766 3446 3870 3807 3793 3781 3770 3760 3836 3814 3798 3785 3774 3764 3851 3821 3803 3790 3778 3767 3443 3829 3809 3794 3782 3771 3761 3840 3816 3800 3786 3775 3765 3441 3824 3805 3791 3779 3769 3440 3833 3811 3796 3783 3870 3763 3845 3818 3870 3788 3870 3766 3438 3827 3807 3793 3781 3770 3760 3837 3814 3798 3785 3774 3764 3852 3821 3804 3790 3778 3768 3435 3830 3810 3795 3782 3771 3762 3842 3817 3800 3787 3775 3765 3433 3862 3806 3792 3780 3769 3760 3834 3812 3797 3784 3773 3763 3848 3820 3802 3789 3777 3767 3430 3828 3808 3794 3781 3771 3761 3839 3815 3799 3786 3775 3765 3862 3823 3805 3791 3779 3768 3427 3833 3811 3796 3783 3772 3763 3846 3819 3802 3788 3777 3766 3425 3827 3808 3793 3781 3770 3761 3838 3814 3798 3785 3774 3764 3855 3822 3804 3790 3862 3768 3422 3832 3811 3796 3783 3772 3762 3844 3818 3801 3788 3776 3766 3420 3826 3807 3793 3781 3770 3760 3837 3814 3798 3785 3774 3764 3854 3822 3804 3790 3778 3768 3417 3831 3811 3795 3783 3772 3762 3844 3818 3801 3788 3776 3766 3415 3826 3807 3793 3781 3770 3760 3837 3814 3798 3785 3774 3764 3855 3822 3804 3790 3778 3768 3412 3832 3811 3796 3783 3772 3762 3845 3818 3801 3788 3776 3766 3410 3827 3808 3793 3781 3770 3761 3838 3815 3799 3786 3774 3764 3858 3823 3805 3791 3779 3768 3407 3833 3811 3796 3862 3773 3763 3847 3819 3802 3788 3777 3767 3356 3829 3809 3794 3782 3771 3761 3854 3823 3805 3792 3780 3770 3456 3831 3811 3796 3784 3773 3763 3842 3818 3801 3788 3777 3767 3860 3825 3807 3793 3781 3770 3453 3834 3813 3798 3785 3774 3764 3864 3820 3803 3789 3778 3768 3451 3827 3808 3794 3782 3771 3762 3837 3815 3799 3786 3775 3765 3850 3822 3804 3791 3779 3769 3448 3830 3810 3796 3783 3773 3763 3840 3817 3801 3788 3776 3766 3857 3824 3806 3792 3780 3770 3445 3833 3812 3797 3785 3774 3764 3844 3819 3802 3789 3778 3768 3443 3827 3808 3794 3782 3771 3762 3836 3814 3799 3786 3775 3765 3850 3822 3804 3791 3779 3769 3440 3830 3810 3796 3783 3773 3763 3841 3817 3801 3788 3777 3766 3858 3872 3806 3872 3781 3770 3437 3834 3813 3798 3785 3774 3764 3846 3820 3803 3790 3778 3768 3435 3828 3809 3794 3782 3772 3762 3838 3815 3800 3787 3776 3766 3853 3823 3805 3791 3780 3769 3432 3832 3811 3864 3784 3773 3764 3843 3818 3802 3789 3777 3767 3430 3826 3808 3794 3782 3771 3429 3836 3814 3799 3786 3775 3765 3850 3822 3804 3791 3779 3769 3427 3830 3811 3796 3784 3773 3763 3842 3872 3801 3788 3777 3767 3425 3825 3807 3793 3781 3771 3424 3835 3814 3798 3786 3775 3765 3849 3821 3804 3790 3779 3769 3422 3830 3810 3864 3783 3773 3763 3841 3817 3801 3788 3777 3767 3861 3825 3807 3793 3781 3770 3419 3835 3864 3798 3786 3775 3765 3849 3821 3804 3790 3779 3769 3417 3830 3810 3864 3783 3773 3763 3841 3817 3801 3788 3777 3767 3415 3825 3807 3793 3781 3771 3414 3835 3814 3798 3786 3775 3765 3872 3821 3804 3791 3779 3769 3412 3830 3811 3796 3784 3773 3763 3842 3818 3801 3788 3777 3767 3410 3826 3808 3793 3781 3771 3409 3836 3814 3799 3786 3775 3765 3852 3822 3805 3791 3872 3769 3358 3833 3812 3797 3785 3774 3764 3874 3826 3808 3794 3783 3772 3458 3835 3814 3799 3787 3776 3766 3846 3821 3804 3791 3780 3769 3456 3828 3810 3796 3784 3773 3455 3837 3816 3800 3788 3777 3767 3850 3823 3806 3792 3781 3770 3453 3831 3811 3797 3785 3774 3764 3840 3818 3802 3789 3778 3768 3855 3825 3807 3866 3782 3771 3450 3833 3813 3798 3786 3775 3765 3844 3820 3803 3790 3779 3769 3864 3827 3809 3795 3783 3773 3447 3836 3815 3800 3787 3776 3767 3849 3822 3805 3792 3780 3770 3445 3830 3811 3797 3784 3774 3764 3840 3817 3802 3789 3778 3768 3855 3825 3807 3793 3782 3771 3442 3833 3813 3798 3786 3775 3765 3845 3820 3804 3790 3779 3769 3440 3828 3809 3795 3783 3773 3439 3837 3816 3800 3788 3777 3767 3850 3823 3806 3792 3781 3770 3437 3831 3812 3797 3785 3774 3765 3842 3818 3802 3789 3778 3768 3859 3826 3808 3794 3782 3772 3434 3835 3814 3799 3787 3776 3766 3847 3821 3805 3791 3780 3770 3432 3830 3811 3796 3784 3774 3764 3840 3817 3802 3789 3778 3768 3855 3825 3807 3794 3782 3771 3429 3834 3814 3799 3786 3775 3766 3846 3821 3804 3791 3779 3769 3427 3829 3810 3796 3784 3773 3764 3839 3817 3801 3788 3777 3767 3854 3824 3807 3793 3781 3771 3424 3833 3813 3798 3786 3775 3765 3845 3820 3804 3791 3779 3769 3422 3828 3810 3796 3784 3773 3866 3866 3817 3801 3788 3777 3767 3853 3824 3807 3793 3781 3771 3419 3833 3813 3798 3786 3775 3765 3845 3820 3804 3791 3779 3769 3417 3829 3810 3796 3784 3773 3764 3839 3817 3801 3788 3777 3767 3854 3825 3807 3793 3782 3771 3414 3834 3814 3799 3786 3775 3766 3846 3821 3804 3791 3780 3769 3412 3829 3811 3796 3784 3866 3764 3840 3866 3802 3789 3778 3768 3857 3874 3808 3794 3782 3772 3360 3836 3815 3800 3787 3776 3767 3461 3830 3811 3797 3785 3775 3460 3838 3817 3802 3789 3778 3769 3850 3824 3807 3794 3782 3772 3458 3832 3813 3798 3786 3776 3766 3841 3819 3803 3790 3779 3769 3855 3826 3809 3795 3783 3773 3455 3834 3814 3800 3787 3777 3767 3844 3821 3805 3792 3780 3770 3861 3828 3810 3796 3784 3774 3452 3837 3816 3801 3789 3778 3768 3848 3823 3806 3793 3782 3771 3450 3831 3812 3798 3786 3775 3766 3840 3818 3803 3790 3779 3769 3853 3825 3808 3795 3783 3773 3447 3834 3814 3799 3787 3776 3767 3844 3821 3805 3792 3780 3770 3868 3828 3810 3796 3784 3774 3444 3837 3816 3801 3789 3778 3768 3849 3823 3868 3793 3782 3772 3442 3831 3812 3798 3786 3775 3766 3841 3819 3803 3790 3779 3769 3855 3826 3809 3795 3783 3773 3439 3835 3815 3800 3788 3777 3767 3846 3868 3805 3792 3781 3771 3868 3829 3811 3797 3785 3775 3436 3839 3817 3802 3789 3778 3769 3852 3825 3808 3794 3783 3772 3434 3833 3814 3799 3787 3776 3767 3844 3820 3804 3791 3780 3770 3861 3828 3810 3796 3784 3774 3431 3837 3817 3801 3789 3778 3768 3850 3824 3807 3794 3782 3772 3429 3832 3813 3799 3786 3776 3766 3843 3820 3804 3791 3780 3770 3859 3827 3810 3796 3784 3774 3426 3837 3816 3801 3789 3778 3768 3849 3823 3807 3793 3782 3772 3424 3832 3813 3798 3786 3776 3766 3842 3820 3804 3791 3780 3770 3859 3827 3810 3796 3784 3774 3421 3837 3816 3801 3789 3778 3768 3849 3823 3807 3793 3782 3772 3419 3832 3813 3868 3786 3776 3766 3843 3820 3804 3791 3780 3770 3860 3828 3810 3796 3784 3774 3416 3837 3817 3801 3789 3778 3768 3868 3824 3807 3794 3782 3772 3414 3833 3868 3799 3787 3776 3766 3844 3821 3805 3792 3780 3770 3863 3829 3811 3797 3785 3774 3362 3840 3818 3803 3790 3779 3769 3463 3833 3814 3800 3788 3777 3768 3842 3820 3805 3792 3781 3771 3855 3827 3810 3796 3785 3775 3460 3835 3816 3801 3789 3778 3769 3845 3822 3806 3793 3782 3772 3860 3829 3811 3798 3786 3776 3457 3870 3817 3802 3790 3779 3769 3848 3824 3808 3794 3783 3773 3455 3831 3813 3799 3787 3777 3454 3840 3819 3804 3791 3780 3771 3853 3826 3809 3796 3784 3774 3452 3834 3815 3801 3788 3778 3768 3844 3821 3806 3793 3782 3772 3858 3870 3811 3797 3786 3775 3449 3837 3817 3802 3790 3779 3769 3848 3824 3807 3794 3783 3773 3870 3831 3813 3799 3787 3777 3446 3870 3819 3804 3791 3780 3771 3853 3826 3809 3796 3784 3774 3444 3834 3815 3801 3789 3778 3768 3845 3822 3806 3793 3782 3772 3860 3829 3812 3798 3786 3776 3441 3838 3818 3803 3790 3779 3770 3850 3825 3808 3795 3870 3773 3439 3833 3814 3800 3788 3777 3768 3842 3820 3805 3792 3781 3771 3870 3828 3811 3797 3785 3775 3436 3878 3817 3802 3790 3779 3769 3848 3870 3807 3794 3783 3773 3434 3831 3813 3799 3787 3777 3433 3841 3820 3804 3792 3781 3771 3854 3827 3810 3796 3785 3774 3431 3870 3816 3801 3789 3778 3769 3878 3823 3807 3794 3878 3772 3865 3831 3813 3799 3787 3776 3428 3840 3819 3804 3791 3780 3770 3854 3870 3810 3796 3785 3774 3426 3835 3816 3801 3789 3778 3769 3846 3823 3807 3794 3782 3772 3865 3831 3813 3799 3787 3776 3423 3840 3819 3804 3791 3780 3770 3854 3827 3810 3796 3785 3774 3421 3835 3816 3801 3789 3778 3769 3847 3823 3807 3794 3783 3878 3870 3831 3813 3799 3787 3776 3418 3841 3820 3804 3792 3781 3771 3855 3827 3810 3870 3785 3775 3416 3836 3878 3802 3789 3779 3769 3848 3824 3807 3794 3783 3773 3414 3832 3814 3799 3787 3777 3364 3844 3821 3806 3793 3782 3772 3465 3836 3817 3803 3791 3780 3770 3846 3823 3808 3795 3784 3774 3860 3830 3813 3799 3788 3777 3462 3872 3819 3804 3792 3781 3771 3849 3825 3809 3796 3785 3775 3866 3832 3814 3800 3789 3778 3459 3841 3820 3805 3793 3782 3772 3853 3827 3810 3797 3786 3776 3457 3835 3816 3802 3790 3779 3770 3844 3822 3807 3794 3783 3773 3857 3829 3812 3799 3787 3777 3454 3837 3818 3803 3791 3780 3771 3848 3824 3808 3795 3784 3774 3864 3832 3814 3800 3788 3778 3451 3841 3820 3805 3793 3782 3772 3852 3827 3810 3797 3786 3775 3449 3835 3816 3802 3790 3779 3770 3844 3822 3807 3794 3783 3773 3858 3872 3812 3799 3787 3777 3446 3838 3818 3804 3791 3781 3771 3849 3825 3809 3796 3785 3774 3880 3833 3815 3801 3789 3778 3443 3842 3821 3806 3793 3782 3772 3854 3828 3811 3798 3786 3776 3441 3836 3817 3803 3790 3780 3770 3846 3824 3808 3795 3784 3774 3862 3831 3813 3800 3788 3778 3438 3840 3820 3805 3792 3781 3772 3852 3827 3810 3797 3786 3775 3436 3835 3816 3802 3790 3779 3770 3845 3823 3807 3794 3783 3773 3859 3830 3813 3799 3787 3777 3433 3839 3819 3804 3792 3781 3771 3851 3826 3810 3796 3785 3775 3431 3834 3816 3801 3789 3779 3430 3844 3822 3807 3794 3783 3773 3858 3830 3812 3799 3787 3777 3428 3839 3819 3804 3792 3781 3771 3850 3826 3872 3796 3785 3775 3426 3834 3816 3801 3789 3779 3425 3844 3822 3807 3794 3783 3773 3859 3830 3813 3799 3787 3777 3423 3839 3819 3804 3792 3781 3771 3851 3826 3810 3797 3785 3775 3421 3834 3816 3802 3790 3779 3770 3845 3823 3807 3794 3783 3773 3860 3830 3813 3799 3788 3777 3418 3840 3872 3805 3792 3781 3772 3852 3827 3810 3797 3786 3775 3416 3835 3817 3802 3790 3780 3770 3848 3824 3808 3795 3784 3774 3347 3840 3820 3874 3793 3783 3773 3850 3826 3810 3882 3786 3776 3865 3834 3816 3802 3790 3780 3464 3842 3822 3807 3794 3783 3774 3853 3828 3812 3799 3787 3777 3462 3836 3817 3803 3791 3781 3461 3845 3823 3808 3795 3882 3775 3857 3830 3813 3800 3788 3778 3459 3838 3819 3805 3792 3782 3772 3848 3825 3810 3797 3786 3776 3862 3833 3815 3801 3790 3779 3456 3841 3821 3806 3794 3783 3773 3852 3828 3811 3798 3787 3777 3871 3835 3817 3803 3791 3780 3453 3844 3823 3808 3795 3784 3774 3874 3830 3813 3800 3788 3778 3451 3838 3819 3805 3792 3782 3772 3848 3825 3810 3797 3786 3776 3863 3833 3815 3801 3790 3779 3448 3841 3821 3806 3794 3783 3773 3853 3828 3812 3799 3787 3777 3446 3836 3882 3803 3791 3781 3445 3845 3824 3808 3796 3785 3775 3859 3831 3814 3800 3789 3779 3443 3882 3820 3805 3793 3782 3773 3850 3827 3811 3798 3786 3776 3868 3834 3816 3802 3791 3780 3440 3844 3823 3808 3795 3784 3774 3856 3830 3813 3800 3788 3778 3438 3838 3819 3805 3882 3782 3772 3849 3826 3810 3797 3786 3776 3865 3833 3816 3802 3790 3780 3435 3843 3822 3807 3795 3784 3774 3855 3829 3813 3799 3788 3778 3433 3882 3819 3804 3792 3782 3772 3848 3825 3810 3797 3786 3776 3864 3833 3815 3802 3790 3882 3430 3842 3822 3807 3794 3874 3774 3854 3829 3812 3799 3788 3778 3428 3837 3819 3804 3792 3781 3772 3848 3825 3810 3797 3786 3776 3864 3833 3815 3802 3790 3780 3425 3842 3822 3807 3794 3784 3774 3855 3829 3813 3799 3788 3778 3423 3838 3819 3804 3792 3782 3772 3849 3826 3810 3797 3786 3776 3866 3834 3816 3802 3790 3780 3420 3843 3823 3807 3795 3784 3774 3857 3830 3813 3800 3788 3778 3418 3839 3820 3805 3793 3782 3882 3852 3828 3811 3798 3787 3777 3348 3843 3823 3808 3796 3785 3775 3854 3830 3813 3800 3789 3779 3872 3837 3819 3805 3793 3782 3466 3846 3825 3810 3797 3786 3776 3857 3831 3815 3801 3790 3780 3464 3839 3820 3806 3794 3783 3774 3849 3827 3811 3798 3787 3777 3862 3876 3816 3803 3791 3781 3461 3842 3822 3807 3795 3784 3775 3852 3829 3813 3800 3788 3778 3868 3836 3818 3804 3792 3782 3458 3845 3824 3809 3797 3786 3776 3856 3831 3814 3801 3790 3779 3456 3876 3820 3806 3794 3783 3774 3848 3826 3811 3798 3787 3777 3861 3833 3816 3803 3791 3781 3453 3842 3822 3807 3795 3784 3775 3852 3829 3813 3800 3788 3778 3869 3836 3818 3804 3792 3782 3450 3845 3824 3809 3797 3786 3776 3857 3831 3815 3801 3790 3780 3448 3839 3884 3806 3794 3783 3774 3849 3827 3811 3876 3787 3777 3864 3834 3817 3803 3792 3781 3445 3843 3823 3808 3796 3785 3775 3854 3830 3814 3800 3789 3779 3443 3838 3819 3805 3793 3783 3442 3847 3826 3810 3798 3787 3777 3861 3833 3816 3802 3791 3781 3440 3842 3822 3807 3795 3784 3775 3853 3829 3813 3800 3789 3778 3871 3837 3819 3805 3793 3782 3437 3846 3825 3810 3797 3786 3776 3859 3832 3815 3802 3790 3780 3435 3841 3822 3807 3795 3784 3775 3852 3828 3812 3884 3788 3778 3870 3836 3818 3804 3793 3782 3432 3846 3825 3810 3797 3786 3776 3859 3832 3815 3802 3790 3780 3430 3841 3822 3807 3795 3784 3774 3852 3828 3812 3884 3788 3778 3870 3836 3818 3804 3793 3782 3427 3846 3825 3810 3797 3786 3776 3860 3876 3816 3802 3791 3780 3425 3841 3822 3807 3795 3784 3775 3853 3829 3813 3800 3789 3778 3873 3837 3819 3805 3793 3782 3422 3847 3826 3810 3798 3787 3777 3861 3833 3816 3803 3791 3781 3420 3842 3823 3808 3796 3785 3775 3856 3831 3814 3801 3790 3779 3349 3847 3826 3811 3799 3788 3778 3858 3833 3816 3803 3792 3781 3469 3840 3822 3808 3796 3785 3886 3886 3828 3812 3800 3789 3779 3862 3835 3818 3804 3793 3782 3466 3843 3823 3809 3797 3786 3776 3852 3830 3814 3801 3790 3780 3867 3837 3819 3886 3794 3783 3463 3845 3825 3810 3798 3787 3777 3856 3832 3815 3802 3791 3781 3875 3839 3821 3807 3795 3785 3460 3848 3827 3812 3799 3788 3778 3886 3834 3817 3804 3792 3782 3458 3842 3823 3878 3796 3786 3776 3852 3829 3814 3801 3790 3780 3866 3837 3819 3805 3794 3783 3455 3845 3825 3810 3798 3787 3777 3856 3832 3886 3802 3791 3781 3453 3886 3821 3807 3795 3785 3452 3849 3827 3812 3878 3789 3779 3862 3835 3818 3804 3793 3782 3450 3843 3824 3809 3797 3786 3776 3853 3830 3814 3801 3790 3780 3886 3838 3820 3806 3794 3784 3447 3847 3826 3811 3799 3788 3778 3859 3833 3816 3803 3792 3782 3445 3841 3822 3808 3796 3785 3776 3851 3829 3813 3886 3789 3779 3866 3836 3819 3805 3794 3783 3442 3845 3825 3810 3798 3787 3777 3857 3832 3816 3803 3791 3781 3440 3840 3822 3807 3878 3785 3439 3850 3828 3813 3800 3789 3779 3864 3836 3818 3805 3793 3783 3437 3878 3825 3810 3798 3787 3777 3856 3832 3815 3802 3791 3781 3435 3840 3821 3807 3795 3785 3434 3850 3828 3813 3800 3789 3779 3864 3886 3818 3805 3793 3783 3432 3844 3825 3810 3798 3787 3777 3856 3832 3815 3802 3791 3781 3430 3840 3821 3807 3795 3785 3429 3850 3828 3813 3800 3789 3779 3886 3836 3878 3805 3793 3783 3427 3845 3825 3810 3798 3787 3777 3857 3832 3816 3803 3791 3781 3425 3878 3822 3808 3796 3785 3776 3851 3829 3813 3800 3789 3779 3878 3837 3819 3805 3794 3783 3422 3846 3826 3811 3798 3787 3778 3861 3834 3817 3804 3792 3782 3350 3851 3829 3814 3801 3790 3781 3863 3836 3819 3806 3794 3784 3471 3844 3825 3810 3798 3788 3778 3853 3831 3815 3803 3791 3888 3867 3838 3821 3807 3795 3785 3468 3846 3826 3812 3799 3789 3779 3880 3833 3817 3804 3880 3782 3873 3840 3822 3808 3888 3786 3465 3849 3828 3813 3801 3790 3780 3860 3835 3818 3805 3794 3784 3463 3843 3824 3810 3798 3787 3778 3852 3830 3815 3802 3791 3781 3865 3837 3820 3807 3795 3785 3460 3880 3826 3811 3799 3788 3779 3856 3880 3880 3804 3792 3782 3872 3840 3822 3808 3796 3786 3457 3849 3828 3813 3801 3790 3780 3880 3835 3818 3805 3794 3784 3455 3843 3824 3810 3798 3787 3778 3853 3831 3815 3802 3791 3781 3867 3838 3821 3807 3795 3785 3452 3846 3827 3812 3800 3789 3779 3857 3833 3817 3804 3793 3783 3888 3841 3823 3809 3797 3786 3449 3850 3829 3814 3801 3790 3781 3863 3836 3819 3806 3794 3784 3447 3845 3825 3811 3799 3788 3778 3855 3832 3816 3803 3792 3782 3872 3840 3822 3808 3796 3786 3444 3849 3828 3813 3801 3790 3780 3861 3835 3819 3805 3794 3784 3442 3844 3825 3810 3798 3788 3778 3854 3831 3816 3803 3792 3782 3870 3839 3821 3808 3796 3880 3439 3848 3828 3813 3800 3789 3780 3860 3835 3818 3805 3794 3783 3437 3843 3824 3810 3798 3787 3778 3880 3831 3815 3803 3888 3782 3869 3839 3821 3888 3796 3785 3434 3848 3828 3813 3800 3789 3780 3860 3835 3818 3805 3794 3783 3432 3843 3824 3810 3798 3787 3778 3854 3831 3816 3803 3792 3782 3870 3839 3888 3808 3796 3786 3429 3849 3828 3813 3801 3790 3780 3861 3835 3819 3805 3794 3784 3427 3844 3825 3811 3798 3788 3778 3855 3832 3816 3803 3792 3782 3888 3840 3822 3808 3796 3786 3424 3850 3829 3814 3801 3790 3780 3865 3837 3820 3807 3795 3785 3351 3855 3833 3817 3804 3793 3783 3868 3839 3822 3809 3797 3787 3473 3847 3828 3813 3801 3790 3781 3857 3834 3818 3805 3794 3784 3873 3841 3824 3810 3798 3788 3470 3850 3830 3815 3802 3791 3782 3861 3836 3820 3807 3795 3785 3468 3844 3825 3811 3799 3789 3467 3853 3831 3816 3803 3792 3783 3865 3838 3821 3808 3796 3786 3465 3846 3827 3813 3890 3790 3780 3856 3833 3818 3805 3794 3784 3871 3841 3823 3809 3798 3787 3462 3849 3829 3814 3802 3791 3781 3860 3836 3819 3806 3795 3785 3460 3843 3825 3811 3799 3789 3459 3853 3831 3816 3803 3792 3783 3865 3838 3821 3808 3796 3786 3457 3846 3827 3813 3801 3790 3780 3857 3834 3818 3805 3794 3784 3872 3841 3824 3810 3798 3788 3454 3850 3830 3815 3802 3791 3782 3862 3837 3820 3807 3795 3785 3452 3882 3826 3812 3800 3789 3780 3854 3832 3817 3804 3793 3783 3868 3840 3822 3809 3797 3787 3449 3848 3829 3814 3890 3791 3781 3859 3835 3819 3806 3795 3785 3879 3843 3825 3811 3799 3882 3446 3853 3831 3816 3803 3792 3783 3866 3839 3822 3808 3797 3786 3444 3847 3828 3813 3801 3790 3781 3858 3835 3819 3806 3794 3784 3876 3842 3824 3810 3799 3788 3441 3852 3831 3816 3803 3792 3782 3865 3838 3821 3808 3796 3786 3439 3847 3827 3813 3801 3790 3780 3858 3834 3818 3805 3794 3784 3875 3842 3824 3810 3882 3788 3436 3852 3831 3816 3803 3792 3782 3865 3838 3821 3808 3796 3786 3434 3847 3828 3813 3801 3790 3780 3858 3882 3882 3806 3794 3784 3876 3843 3882 3811 3799 3788 3431 3852 3831 3816 3803 3792 3782 3866 3839 3822 3808 3797 3786 3429 3848 3828 3813 3801 3790 3781 3859 3835 3819 3806 3795 3785 3427 3843 3825 3811 3799 3789 3426 3854 3832 3890 3804 3793 3783 3871 3841 3823 3809 3798 3787 3352 3859 3836 3820 3807 3796 3786 3873 3843 3825 3811 3800 3789 3475 3851 3831 3816 3804 3793 3783 3862 3837 3821 3808 3797 3787 3892 3845 3827 3813 3801 3790 3472 3854 3833 3818 3805 3794 3784 3865 3839 3823 3809 3798 3788 3470 3847 3828 3814 3802 3791 3782 3857 3835 3819 3806 3795 3785 3870 3842 3824 3811 3799 3789 3467 3850 3830 3884 3803 3793 3783 3860 3837 3821 3808 3796 3786 3877 3844 3826 3812 3800 3790 3464 3853 3832 3817 3805 3794 3784 3892 3839 3822 3809 3798 3788 3462 3847 3828 3814 3802 3791 3782 3856 3892 3819 3806 3795 3785 3870 3842 3824 3811 3799 3789 3459 3850 3830 3816 3803 3793 3783 3861 3837 3821 3808 3797 3787 3879 3845 3827 3813 3801 3790 3456 3854 3833 3818 3805 3794 3784 3866 3840 3823 3810 3798 3788 3454 3848 3829 3815 3802 3792 3782 3858 3836 3820 3807 3796 3786 3874 3843 3825 3812 3800 3790 3451 3852 3832 3817 3804 3793 3784 3864 3839 3822 3809 3797 3787 3449 3847 3828 3814 3802 3791 3782 3857 3835 3819 3806 3795 3785 3871 3842 3825 3811 3799 3789 3446 3851 3831 3816 3804 3793 3783 3862 3838 3822 3808 3797 3787 3444 3846 3827 3813 3801 3791 3443 3856 3834 3819 3806 3795 3785 3870 3884 3824 3811 3799 3789 3441 3850 3831 3816 3804 3793 3783 3862 3838 3821 3808 3797 3787 3439 3846 3827 3813 3801 3791 3438 3856 3834 3819 3806 3795 3785 3870 3884 3824 3811 3799 3789 3436 3850 3831 3816 3804 3793 3783 3862 3838 3821 3808 3797 3787 3434 3846 3828 3813 3801 3791 3433 3856 3834 3819 3806 3795 3785 3871 3842 3825 3811 3799 3789 3431 3851 3831 3816 3804 3793 3783 3863 3838 3822 3809 3797 3787 3429 3847 3828 3814 3802 3791 3782 3892 3835 3819 3807 3795 3786 3877 3844 3826 3812 3800 3790 3353 3863 3839 3823 3810 3799 3789 3879 3846 3828 3814 3803 3792 3477 3855 3834 3819 3807 3796 3786 3866 3841 3824 3811 3800 3789 3475 3848 3830 3816 3804 3793 3474 3857 3836 3820 3808 3797 3787 3870 3843 3826 3812 3801 3790 3472 3851 3831 3817 3805 3794 3784 3861 3838 3822 3809 3798 3788 3894 3845 3827 3814 3802 3791 3469 3853 3833 3818 3806 3795 3785 3864 3840 3824 3810 3799 3789 3467 3886 3829 3815 3803 3793 3466 3857 3835 3820 3807 3796 3787 3869 3842 3825 3812 3800 3790 3464 3850 3831 3817 3805 3794 3784 3894 3838 3822 3809 3798 3788 3876 3845 3827 3814 3802 3792 3461 3854 3886 3819 3806 3795 3786 3865 3840 3824 3811 3799 3789 3459 3848 3830 3815 3803 3793 3458 3858 3836 3821 3808 3797 3787 3871 3843 3826 3886 3801 3791 3456 3852 3832 3817 3805 3794 3785 3862 3839 3823 3810 3798 3788 3880 3894 3828 3894 3803 3792 3453 3856 3835 3820 3807 3796 3786 3868 3842 3825 3812 3800 3790 3451 3850 3831 3817 3805 3794 3784 3861 3838 3822 3809 3798 3788 3877 3845 3828 3814 3802 3792 3448 3855 3834 3819 3807 3796 3786 3867 3841 3825 3811 3800 3790 3446 3849 3831 3816 3804 3886 3784 3860 3837 3822 3809 3798 3788 3875 3845 3827 3814 3802 3791 3443 3854 3834 3819 3806 3795 3786 3866 3841 3824 3811 3800 3789 3441 3849 3830 3816 3804 3793 3784 3860 3837 3821 3809 3798 3788 3875 3845 3827 3814 3802 3791 3438 3854 3834 3819 3806 3894 3786 3867 3841 3824 3811 3800 3790 3436 3850 3831 3816 3804 3794 3784 3860 3838 3822 3809 3798 3788 3877 3845 3828 3814 3802 3792 3433 3855 3834 3819 3807 3796 3786 3868 3842 3825 3812 3800 3790 3431 3850 3831 3817 3805 3794 3784 3862 3838 3822 3809 3798 3788 3380 3848 3829 3815 3803 3793 3354 3867 3842 3826 3813 3801 3791 3480 3850 3831 3817 3805 3795 3479 3859 3837 3822 3809 3798 3789 3871 3844 3827 3814 3802 3792 3477 3852 3833 3818 3806 3796 3786 3861 3839 3823 3811 3799 3790 3875 3846 3829 3815 3803 3793 3474 3854 3835 3820 3808 3797 3787 3865 3841 3825 3812 3801 3791 3882 3848 3830 3816 3805 3794 3471 3857 3836 3821 3809 3798 3788 3869 3843 3827 3813 3802 3792 3469 3851 3832 3818 3806 3795 3786 3861 3839 3823 3810 3799 3789 3874 3846 3828 3815 3803 3793 3466 3854 3834 3820 3807 3797 3787 3865 3841 3825 3812 3801 3888 3882 3888 3896 3888 3805 3794 3463 3858 3837 3888 3809 3798 3788 3870 3844 3827 3814 3802 3792 3461 3852 3833 3818 3806 3796 3786 3862 3839 3824 3811 3800 3790 3888 3847 3829 3815 3804 3793 3458 3855 3835 3820 3808 3797 3787 3867 3842 3826 3813 3801 3791 3456 3850 3832 3817 3805 3795 3455 3860 3838 3823 3810 3799 3789 3873 3845 3828 3815 3803 3793 3453 3854 3834 3820 3807 3797 3787 3865 3841 3825 3812 3801 3791 3884 3849 3831 3817 3805 3794 3450 3858 3837 3822 3809 3798 3789 3888 3896 3828 3814 3803 3792 3448 3853 3834 3819 3807 3796 3787 3864 3888 3888 3812 3800 3790 3882 3848 3830 3816 3805 3794 3445 3858 3837 3822 3809 3798 3788 3871 3844 3827 3814 3802 3792 3443 3853 3888 3819 3807 3796 3786 3864 3840 3824 3811 3800 3790 3882 3848 3830 3816 3805 3794 3440 3858 3837 3822 3809 3798 3788 3871 3844 3827 3814 3802 3792 3438 3853 3834 3819 3807 3796 3787 3864 3841 3825 3812 3800 3790 3884 3849 3831 3817 3805 3794 3435 3859 3837 3822 3888 3799 3789 3873 3845 3828 3814 3803 3793 3433 3854 3834 3820 3807 3797 3787 3866 3842 3825 3812 3801 3791 3382 3851 3832 3818 3806 3795 3786 3872 3846 3829 3816 3804 3794 3482 3853 3834 3820 3808 3797 3788 3863 3841 3825 3812 3801 3791 3876 3898 3830 3817 3805 3795 3479 3856 3836 3821 3809 3798 3789 3866 3842 3826 3813 3802 3792 3881 3850 3832 3818 3806 3796 3476 3858 3838 3823 3810 3799 3790 3869 3844 3828 3815 3803 3793 3474 3852 3834 3819 3807 3797 3473 3861 3840 3824 3812 3801 3791 3874 3847 3830 3816 3805 3794 3471 3855 3835 3821 3809 3798 3788 3865 3842 3826 3813 3802 3792 3880 3849 3890 3818 3806 3796 3468 3858 3838 3823 3810 3799 3790 3869 3844 3828 3815 3803 3793 3466 3852 3834 3819 3807 3797 3465 3898 3840 3824 3812 3801 3791 3875 3847 3830 3816 3805 3795 3463 3855 3836 3821 3809 3798 3789 3866 3890 3890 3814 3802 3792 3883 3850 3832 3818 3806 3796 3460 3859 3838 3823 3811 3800 3790 3871 3845 3829 3815 3804 3794 3458 3854 3835 3820 3808 3798 3788 3864 3841 3826 3813 3802 3792 3879 3849 3831 3817 3806 3795 3455 3858 3837 3898 3810 3799 3790 3869 3844 3828 3815 3803 3793 3453 3852 3834 3820 3808 3797 3788 3862 3840 3825 3812 3801 3791 3877 3848 3831 3817 3805 3795 3450 3857 3837 3822 3810 3799 3789 3868 3844 3890 3814 3803 3793 3448 3852 3833 3819 3807 3797 3447 3862 3840 3825 3812 3801 3791 3876 3848 3830 3817 3805 3795 3445 3898 3837 3822 3810 3799 3789 3868 3844 3827 3814 3803 3793 3443 3852 3833 3819 3807 3797 3442 3862 3840 3825 3812 3801 3791 3898 3848 3890 3817 3805 3795 3440 3857 3837 3822 3810 3799 3789 3869 3844 3828 3815 3803 3793 3438 3852 3834 3820 3808 3797 3788 3863 3841 3825 3812 3801 3791 3878 3890 3831 3817 3806 3795 3435 3858 3838 3823 3810 3799 3790 3870 3845 3828 3815 3804 3794 3384 3855 3835 3821 3809 3798 3788 3877 3849 3832 3818 3807 3797 3484 3857 3838 3823 3811 3800 3791 3867 3844 3828 3815 3804 3794 3881 3851 3833 3820 3808 3797 3481 3859 3839 3824 3812 3801 3791 3870 3846 3829 3816 3805 3795 3889 3853 3835 3821 3809 3798 3478 3862 3841 3826 3813 3802 3792 3874 3848 3831 3818 3806 3796 3476 3856 3837 3822 3810 3800 3790 3865 3843 3827 3814 3803 3793 3879 3850 3833 3819 3807 3797 3473 3858 3839 3824 3812 3801 3791 3869 3845 3829 3816 3805 3795 3887 3853 3835 3821 3809 3798 3470 3862 3841 3826 3813 3802 3792 3874 3848 3831 3818 3806 3796 3468 3856 3837 3822 3810 3800 3790 3866 3843 3827 3815 3892 3794 3880 3850 3833 3819 3808 3797 3465 3859 3839 3824 3812 3801 3791 3870 3846 3830 3816 3805 3795 3463 3854 3835 3821 3809 3799 3462 3863 3842 3826 3814 3803 3793 3876 3849 3832 3818 3807 3796 3460 3857 3838 3823 3811 3800 3791 3868 3845 3829 3816 3804 3794 3885 3852 3834 3820 3892 3798 3457 3861 3841 3825 3813 3802 3792 3874 3848 3831 3818 3806 3796 3455 3856 3837 3823 3810 3800 3790 3900 3844 3828 3815 3804 3794 3883 3851 3834 3820 3808 3798 3452 3861 3840 3825 3813 3802 3792 3873 3847 3831 3817 3806 3796 3450 3900 3837 3822 3810 3800 3790 3866 3843 3828 3815 3804 3794 3882 3851 3833 3820 3808 3798 3447 3860 3840 3825 3812 3802 3792 3873 3847 3830 3817 3806 3796 3445 3900 3837 3822 3810 3800 3790 3866 3843 3828 3815 3804 3794 3882 3851 3834 3820 3808 3798 3442 3861 3840 3825 3813 3802 3792 3873 3847 3831 3817 3806 3796 3440 3856 3837 3823 3810 3800 3790 3867 3844 3828 3815 3804 3794 3892 3852 3834 3820 3808 3798 3437 3862 3841 3826 3813 3802 3792 3875 3848 3831 3818 3806 3796 3386 3858 3839 3824 3812 3801 3791 3882 3853 3835 3821 3810 3799 3486 3861 3841 3826 3814 3803 3793 3871 3847 3831 3818 3807 3797 3888 3854 3836 3822 3811 3800 3483 3863 3842 3827 3815 3804 3794 3875 3849 3832 3819 3808 3798 3481 3857 3838 3824 3812 3801 3792 3866 3844 3829 3816 3805 3795 3879 3851 3834 3820 3809 3799 3478 3859 3840 3825 3813 3802 3793 3869 3846 3830 3817 3806 3796 3885 3854 3836 3822 3810 3800 3475 3862 3842 3827 3814 3894 3794 3894 3894 3832 3819 3807 3797 3473 3856 3838 3824 3812 3801 3472 3866 3844 3829 3816 3805 3795 3879 3851 3834 3820 3809 3799 3470 3859 3840 3825 3813 3802 3793 3870 3846 3830 3817 3806 3796 3886 3854 3836 3822 3810 3800 3467 3863 3842 3827 3815 3804 3794 3875 3849 3833 3819 3808 3798 3465 3857 3838 3824 3812 3801 3792 3867 3845 3829 3816 3805 3795 3882 3852 3835 3821 3902 3799 3462 3861 3841 3826 3814 3803 3793 3872 3848 3832 3818 3807 3797 3460 3856 3837 3823 3811 3801 3459 3865 3844 3828 3816 3805 3795 3879 3851 3834 3820 3809 3799 3457 3860 3840 3894 3813 3803 3793 3871 3847 3831 3818 3807 3797 3890 3855 3837 3823 3811 3800 3454 3864 3843 3828 3815 3804 3795 3878 3851 3834 3820 3809 3798 3452 3859 3840 3825 3813 3802 3793 3870 3847 3831 3818 3806 3796 3894 3855 3837 3823 3811 3800 3449 3864 3843 3828 3815 3804 3794 3902 3850 3834 3820 3809 3798 3447 3859 3840 3825 3813 3802 3793 3870 3847 3831 3818 3806 3796 3889 3855 3837 3823 3811 3800 3444 3865 3843 3828 3815 3804 3795 3878 3851 3834 3820 3809 3798 3442 3860 3840 3894 3813 3803 3793 3871 3847 3831 3818 3807 3797 3440 3856 3837 3823 3811 3801 3439 3866 3844 3829 3816 3805 3795 3880 3852 3902 3821 3809 3799 3388 3862 3842 3827 3814 3804 3794 3889 3856 3838 3824 3812 3802 3488 3865 3844 3829 3817 3806 3796 3876 3851 3834 3821 3809 3799 3486 3858 3840 3825 3813 3803 3485 3867 3846 3830 3818 3807 3797 3904 3852 3836 3822 3811 3800 3483 3860 3841 3827 3815 3804 3794 3870 3896 3832 3819 3808 3798 3885 3855 3837 3823 3812 3801 3480 3863 3843 3828 3816 3805 3795 3874 3850 3833 3820 3809 3799 3893 3857 3839 3825 3813 3802 3477 3866 3845 3830 3817 3806 3796 3878 3852 3835 3822 3810 3800 3475 3860 3841 3826 3814 3804 3794 3870 3847 3832 3819 3808 3798 3884 3855 3837 3823 3812 3801 3472 3863 3843 3828 3816 3805 3795 3874 3850 3896 3820 3809 3799 3470 3858 3839 3825 3813 3803 3469 3867 3846 3830 3818 3807 3797 3880 3853 3836 3822 3811 3800 3467 3861 3842 3827 3815 3804 3795 3871 3848 3832 3819 3808 3798 3888 3856 3838 3824 3812 3802 3464 3865 3844 3829 3817 3806 3796 3877 3851 3835 3821 3810 3800 3462 3859 3841 3826 3814 3896 3794 3870 3847 3831 3819 3896 3798 3885 3855 3837 3823 3812 3801 3459 3864 3843 3828 3816 3805 3796 3875 3850 3834 3821 3809 3799 3457 3896 3840 3826 3814 3803 3794 3896 3847 3831 3818 3807 3797 3883 3854 3837 3823 3811 3801 3454 3863 3843 3828 3816 3805 3795 3875 3850 3834 3904 3809 3799 3452 3858 3840 3825 3896 3803 3451 3868 3846 3831 3818 3807 3797 3883 3854 3837 3823 3811 3801 3449 3863 3843 3828 3816 3805 3795 3875 3850 3834 3821 3809 3799 3447 3858 3840 3826 3814 3803 3896 3869 3847 3831 3818 3807 3797 3884 3854 3837 3823 3812 3801 3444 3864 3843 3828 3816 3805 3796 3876 3851 3834 3821 3810 3799 3442 3859 3840 3826 3814 3803 3794 3870 3847 3832 3819 3808 3798 3886 3855 3838 3824 3812 3802 3390 3866 3845 3830 3817 3806 3796 3491 3860 3841 3827 3815 3805 3490 3869 3847 3832 3819 3808 3799 3906 3854 3837 3824 3812 3802 3488 3862 3843 3828 3816 3806 3796 3871 3849 3833 3898 3809 3799 3885 3856 3839 3825 3813 3803 3485 3864 3844 3830 3817 3807 3797 3906 3851 3835 3822 3906 3800 3891 3858 3840 3826 3906 3804 3482 3867 3846 3831 3819 3808 3798 3878 3853 3836 3823 3812 3802 3480 3861 3842 3828 3816 3805 3796 3870 3848 3833 3820 3809 3799 3898 3855 3838 3825 3813 3803 3477 3864 3844 3829 3817 3806 3797 3874 3851 3835 3822 3810 3800 3891 3858 3840 3826 3814 3804 3474 3867 3846 3831 3819 3808 3798 3879 3853 3837 3823 3812 3802 3472 3861 3842 3828 3816 3805 3796 3871 3849 3833 3820 3809 3799 3885 3856 3839 3825 3813 3803 3469 3865 3845 3830 3818 3807 3797 3876 3852 3835 3822 3811 3801 3467 3859 3841 3827 3815 3805 3466 3869 3898 3832 3820 3809 3799 3882 3855 3838 3824 3813 3802 3464 3863 3844 3829 3817 3806 3797 3874 3906 3906 3898 3810 3800 3891 3858 3840 3826 3898 3804 3461 3898 3847 3831 3819 3808 3798 3880 3854 3837 3824 3812 3802 3459 3862 3843 3829 3898 3806 3796 3873 3850 3834 3821 3810 3800 3889 3858 3840 3826 3814 3804 3456 3867 3846 3831 3819 3808 3798 3879 3853 3837 3823 3812 3802 3454 3862 3843 3828 3816 3806 3796 3872 3850 3834 3821 3810 3800 3889 3857 3840 3826 3814 3804 3451 3867 3846 3831 3819 3808 3798 3898 3854 3837 3823 3812 3802 3449 3862 3843 3829 3816 3806 3796 3873 3850 3834 3821 3810 3800 3890 3858 3840 3826 3814 3804 3446 3898 3847 3831 3819 3808 3798 3881 3854 3837 3824 3812 3802 3444 3863 3844 3829 3817 3806 3898 3874 3851 3835 3822 3810 3800 3894 3859 3841 3827 3815 3804 3392 3870 3848 3833 3820 3809 3799 3493 3863 3900 3830 3818 3807 3798 3873 3851 3835 3822 3811 3801 3886 3908 3840 3827 3815 3805 3490 3900 3846 3831 3819 3808 3799 3876 3852 3836 3823 3812 3802 3891 3900 3842 3828 3816 3806 3487 3868 3848 3833 3820 3809 3800 3879 3854 3838 3825 3813 3803 3485 3862 3843 3829 3817 3807 3484 3871 3850 3834 3822 3811 3801 3883 3856 3900 3826 3900 3804 3482 3864 3845 3831 3819 3808 3798 3874 3852 3836 3823 3812 3802 3889 3859 3841 3828 3816 3805 3479 3900 3847 3832 3820 3809 3799 3879 3854 3838 3900 3813 3803 3477 3862 3843 3829 3817 3807 3476 3871 3850 3834 3822 3811 3801 3884 3857 3840 3826 3815 3804 3474 3865 3846 3831 3819 3808 3799 3875 3852 3836 3823 3812 3802 3900 3860 3842 3828 3816 3806 3471 3869 3848 3833 3821 3810 3800 3900 3855 3838 3825 3814 3804 3469 3863 3844 3830 3818 3807 3798 3873 3851 3835 3822 3811 3801 3900 3858 3841 3827 3815 3805 3466 3867 3847 3832 3820 3809 3799 3878 3854 3838 3824 3813 3803 3464 3862 3843 3829 3817 3807 3463 3872 3850 3900 3822 3811 3801 3885 3857 3840 3827 3815 3805 3461 3866 3846 3832 3819 3809 3799 3877 3853 3837 3824 3813 3803 3897 3861 3843 3829 3817 3900 3458 3871 3900 3834 3822 3811 3801 3884 3857 3840 3826 3815 3804 3456 3866 3846 3831 3819 3808 3799 3877 3853 3837 3824 3813 3803 3900 3861 3843 3829 3817 3806 3453 3871 3900 3834 3822 3811 3801 3885 3857 3840 3826 3815 3805 3451 3866 3846 3832 3819 3809 3799 3877 3853 3837 3824 3813 3803 3449 3900 3843 3829 3817 3807 3448 3872 3850 3900 3822 3811 3801 3886 3858 3840 3827 3815 3805 3446 3867 3847 3832 3820 3809 3799 3879 3854 3838 3825 3813 3803 3444 3900 3844 3830 3818 3807 3798 3908 3852 3836 3823 3812 3802 3361 3867 3848 3833 3821 3810 3801 3877 3854 3838 3825 3814 3804 3892 3861 3843 3830 3818 3808 3492 3869 3849 3834 3822 3811 3801 3880 3856 3839 3826 3815 3805 3899 3863 3845 3831 3819 3808 3489 3872 3851 3836 3823 3812 3802 3884 3858 3841 3828 3816 3806 3487 3866 3847 3832 3820 3810 3800 3875 3853 3837 3824 3813 3803 3889 3860 3843 3829 3817 3807 3484 3868 3849 3834 3910 3811 3801 3879 3855 3839 3826 3815 3805 3896 3863 3902 3831 3819 3808 3481 3910 3851 3835 3823 3812 3802 3883 3910 3841 3827 3816 3806 3479 3865 3847 3832 3820 3810 3800 3875 3853 3837 3902 3813 3803 3902 3860 3843 3829 3817 3807 3476 3869 3849 3834 3822 3811 3801 3880 3856 3839 3826 3815 3805 3900 3863 3845 3831 3819 3809 3473 3873 3851 3836 3823 3812 3803 3886 3902 3842 3828 3817 3806 3471 3867 3848 3833 3821 3810 3800 3877 3854 3838 3825 3814 3804 3894 3862 3844 3830 3818 3808 3468 3871 3850 3835 3823 3812 3802 3883 3857 3841 3827 3816 3806 3466 3866 3847 3832 3820 3810 3800 3876 3853 3838 3825 3814 3804 3891 3861 3843 3830 3818 3807 3463 3870 3850 3835 3822 3811 3802 3882 3857 3840 3827 3816 3805 3461 3865 3846 3832 3820 3809 3800 3875 3853 3837 3824 3813 3803 3890 3860 3843 3829 3818 3807 3458 3902 3849 3834 3822 3811 3801 3881 3856 3840 3827 3815 3805 3456 3865 3846 3832 3820 3809 3800 3875 3853 3837 3824 3813 3803 3890 3861 3843 3829 3818 3807 3453 3870 3902 3835 3822 3811 3802 3882 3857 3840 3827 3816 3805 3451 3865 3846 3832 3820 3809 3800 3876 3853 3838 3825 3814 3804 3892 3861 3844 3830 3818 3808 3448 3871 3850 3835 3823 3812 3802 3902 3858 3841 3827 3816 3806 3446 3866 3847 3833 3821 3810 3800 3879 3855 3839 3826 3815 3805 3362 3871 3851 3836 3824 3813 3803 3881 3857 3841 3828 3817 3807 3899 3865 3847 3833 3821 3810 3494 3873 3853 3837 3825 3814 3804 3885 3859 3843 3829 3818 3808 3492 3867 3848 3834 3822 3811 3802 3876 3854 3839 3826 3815 3805 3889 3861 3844 3831 3819 3809 3489 3869 3850 3835 3823 3812 3803 3912 3856 3840 3827 3816 3806 3895 3864 3846 3832 3820 3810 3486 3872 3852 3837 3824 3814 3804 3904 3904 3842 3829 3817 3807 3484 3866 3848 3904 3822 3811 3483 3876 3854 3839 3826 3815 3805 3889 3861 3844 3830 3819 3809 3481 3869 3850 3835 3823 3812 3803 3880 3856 3840 3827 3816 3806 3896 3864 3846 3832 3820 3810 3478 3873 3852 3837 3825 3814 3804 3885 3859 3842 3829 3818 3808 3476 3867 3848 3834 3822 3811 3802 3877 3855 3839 3826 3815 3805 3891 3862 3845 3831 3819 3809 3473 3871 3851 3836 3824 3813 3803 3882 3858 3841 3828 3817 3807 3471 3865 3847 3833 3821 3811 3470 3875 3854 3838 3826 3815 3805 3888 3861 3844 3830 3819 3808 3468 3869 3850 3835 3823 3812 3803 3880 3857 3841 3828 3816 3806 3898 3912 3846 3912 3821 3810 3465 3874 3853 3838 3825 3814 3804 3887 3860 3843 3830 3818 3808 3463 3869 3849 3835 3823 3812 3802 3879 3856 3840 3827 3816 3806 3897 3864 3846 3832 3820 3810 3460 3904 3853 3837 3825 3814 3804 3886 3860 3843 3830 3818 3808 3458 3869 3849 3835 3823 3812 3802 3879 3856 3840 3827 3816 3806 3897 3864 3846 3832 3820 3810 3455 3874 3853 3838 3825 3814 3804 3887 3860 3843 3830 3818 3808 3453 3869 3850 3835 3823 3812 3803 3880 3857 3841 3828 3816 3806 3912 3865 3847 3833 3821 3810 3450 3875 3853 3838 3825 3814 3805 3889 3861 3844 3830 3819 3809 3448 3870 3850 3836 3823 3813 3803 3884 3859 3842 3829 3817 3807 3363 3875 3854 3839 3827 3816 3806 3886 3861 3844 3831 3820 3809 3497 3868 3850 3836 3824 3813 3906 3906 3856 3840 3828 3817 3807 3890 3863 3846 3832 3821 3810 3494 3871 3851 3837 3825 3814 3804 3914 3858 3842 3829 3818 3808 3895 3865 3847 3906 3822 3811 3491 3873 3853 3838 3826 3815 3805 3884 3860 3843 3830 3819 3809 3903 3867 3849 3835 3823 3813 3488 3876 3855 3840 3827 3816 3806 3906 3862 3845 3832 3820 3810 3486 3870 3851 3837 3824 3814 3804 3880 3857 3842 3829 3818 3808 3914 3865 3847 3833 3822 3811 3483 3873 3853 3838 3826 3815 3805 3884 3860 3906 3830 3819 3809 3481 3906 3849 3835 3823 3813 3480 3877 3914 3840 3828 3817 3807 3890 3863 3846 3832 3821 3810 3478 3871 3852 3837 3825 3814 3804 3881 3858 3842 3829 3818 3808 3906 3866 3848 3834 3822 3812 3475 3875 3854 3839 3827 3816 3806 3887 3861 3914 3831 3820 3810 3473 3869 3850 3836 3824 3813 3804 3879 3857 3841 3906 3817 3807 3894 3864 3847 3833 3822 3811 3470 3873 3853 3838 3826 3815 3805 3885 3860 3844 3831 3819 3809 3468 3868 3850 3914 3824 3813 3467 3878 3856 3841 3828 3817 3807 3892 3864 3846 3833 3821 3811 3465 3873 3853 3838 3826 3815 3805 3884 3860 3843 3830 3819 3809 3463 3868 3849 3835 3823 3813 3462 3878 3856 3841 3828 3817 3807 3892 3906 3846 3833 3821 3811 3460 3872 3853 3838 3826 3815 3805 3884 3860 3843 3830 3819 3809 3458 3868 3849 3835 3823 3813 3457 3878 3856 3841 3828 3817 3807 3906 3864 3847 3833 3821 3811 3455 3873 3853 3838 3826 3815 3805 3885 3860 3844 3831 3819 3809 3453 3869 3850 3836 3824 3813 3804 3879 3857 3841 3828 3817 3807 3895 3865 3847 3833 3822 3811 3450 3874 3854 3839 3826 3815 3806 3889 3862 3845 3832 3820 3810 3364 3879 3858 3842 3830 3819 3809 3891 3864 3847 3834 3822 3812 3499 3872 3853 3839 3908 3816 3806 3882 3859 3844 3831 3820 3810 3896 3866 3849 3835 3824 3813 3496 3875 3855 3840 3828 3817 3807 3885 3861 3845 3832 3821 3811 3902 3908 3916 3908 3825 3814 3493 3877 3908 3841 3829 3818 3808 3889 3863 3847 3833 3822 3812 3491 3871 3852 3838 3826 3815 3806 3908 3859 3843 3830 3819 3809 3894 3866 3848 3835 3823 3813 3488 3874 3854 3840 3827 3817 3807 3884 3861 3845 3832 3820 3810 3901 3868 3850 3836 3825 3814 3485 3877 3856 3841 3829 3818 3808 3889 3863 3847 3833 3822 3812 3483 3871 3852 3838 3826 3815 3806 3881 3859 3843 3830 3819 3809 3895 3866 3849 3835 3823 3813 3480 3875 3855 3840 3828 3817 3807 3886 3862 3845 3832 3821 3811 3478 3869 3851 3837 3825 3815 3477 3879 3857 3842 3908 3819 3809 3892 3865 3848 3834 3823 3812 3475 3873 3854 3839 3827 3816 3807 3884 3860 3844 3831 3820 3810 3901 3868 3850 3836 3824 3814 3472 3877 3857 3841 3829 3818 3808 3890 3864 3847 3834 3822 3812 3470 3872 3853 3839 3826 3816 3806 3882 3860 3844 3831 3820 3810 3908 3867 3850 3836 3824 3814 3467 3877 3856 3841 3829 3818 3808 3889 3863 3847 3833 3822 3812 3465 3872 3853 3838 3826 3816 3806 3882 3859 3844 3831 3820 3810 3898 3867 3916 3836 3824 3814 3462 3876 3856 3841 3828 3818 3808 3889 3863 3847 3833 3822 3812 3460 3872 3853 3838 3826 3816 3806 3882 3860 3844 3831 3820 3810 3899 3867 3850 3836 3824 3814 3457 3877 3856 3841 3829 3818 3808 3890 3864 3847 3834 3822 3812 3455 3872 3853 3839 3827 3816 3806 3883 3860 3844 3831 3820 3810 3908 3868 3850 3836 3825 3814 3452 3878 3857 3842 3829 3818 3808 3894 3866 3848 3835 3823 3813 3365 3883 3861 3845 3833 3821 3812 3897 3868 3851 3837 3825 3815 3501 3876 3856 3842 3829 3819 3809 3886 3863 3847 3834 3822 3812 3910 3870 3852 3838 3826 3816 3498 3879 3858 3843 3831 3820 3810 3890 3865 3848 3835 3824 3813 3496 3872 3854 3840 3828 3817 3495 3918 3860 3844 3832 3821 3811 3894 3867 3850 3836 3825 3814 3493 3875 3856 3841 3829 3818 3808 3885 3862 3846 3833 3822 3812 3900 3869 3852 3838 3826 3816 3490 3878 3858 3843 3830 3819 3810 3889 3864 3848 3835 3823 3813 3488 3872 3854 3839 3827 3817 3487 3881 3860 3844 3832 3821 3811 3894 3867 3850 3836 3825 3814 3485 3875 3856 3841 3829 3818 3809 3886 3862 3846 3833 3822 3812 3902 3870 3852 3838 3826 3816 3482 3879 3858 3843 3831 3820 3810 3891 3865 3910 3835 3824 3814 3480 3873 3854 3840 3828 3817 3808 3883 3861 3845 3832 3821 3811 3898 3868 3851 3837 3825 3815 3477 3877 3857 3842 3830 3819 3809 3888 3864 3848 3834 3823 3813 3475 3872 3853 3839 3827 3817 3474 3910 3860 3844 3832 3821 3811 3895 3867 3850 3837 3825 3815 3472 3876 3856 3842 3829 3819 3809 3887 3863 3847 3834 3823 3813 3918 3871 3853 3839 3827 3816 3469 3881 3859 3844 3831 3820 3811 3894 3867 3850 3836 3825 3814 3467 3875 3856 3841 3829 3818 3809 3918 3863 3847 3834 3918 3812 3910 3871 3853 3839 3827 3816 3464 3881 3859 3844 3831 3820 3811 3894 3867 3850 3836 3825 3814 3462 3876 3856 3841 3829 3818 3809 3887 3863 3847 3834 3823 3813 3907 3871 3853 3839 3827 3918 3459 3881 3860 3844 3832 3821 3811 3895 3867 3850 3837 3825 3815 3457 3876 3910 3842 3829 3819 3809 3888 3864 3847 3834 3823 3813 3455 3872 3854 3839 3827 3817 3454 3882 3860 3845 3832 3821 3811 3900 3869 3852 3838 3826 3816 3366 3888 3865 3849 3836 3824 3814 3904 3872 3854 3840 3828 3818 3503 3880 3860 3845 3832 3821 3812 3891 3866 3850 3837 3825 3815 3501 3874 3855 3841 3829 3819 3500 3883 3861 3846 3833 3920 3813 3895 3868 3851 3838 3826 3816 3498 3876 3857 3843 3830 3820 3810 3886 3863 3848 3835 3824 3814 3900 3870 3853 3839 3828 3817 3495 3879 3859 3844 3832 3821 3811 3890 3865 3849 3836 3825 3815 3908 3873 3855 3841 3829 3818 3492 3882 3861 3846 3833 3822 3812 3894 3868 3851 3838 3826 3816 3490 3876 3857 3842 3830 3820 3810 3886 3863 3848 3835 3824 3814 3900 3871 3853 3839 3828 3817 3487 3879 3859 3844 3832 3821 3811 3890 3866 3850 3836 3825 3815 3485 3874 3855 3841 3829 3819 3484 3883 3862 3846 3834 3823 3813 3896 3869 3852 3838 3827 3816 3482 3877 3858 3843 3831 3820 3811 3888 3864 3848 3835 3824 3814 3904 3872 3854 3840 3828 3818 3479 3881 3860 3845 3833 3822 3812 3893 3867 3851 3837 3826 3816 3477 3876 3857 3842 3830 3820 3810 3886 3863 3848 3835 3824 3814 3901 3871 3853 3840 3828 3817 3474 3880 3860 3845 3832 3821 3812 3892 3867 3850 3837 3826 3815 3472 3875 3856 3842 3830 3819 3810 3885 3863 3847 3834 3823 3813 3900 3870 3853 3839 3828 3817 3469 3879 3859 3844 3832 3821 3811 3891 3866 3850 3837 3825 3815 3467 3875 3856 3842 3830 3819 3810 3885 3863 3847 3834 3823 3813 3900 3870 3853 3839 3828 3817 3464 3880 3859 3844 3832 3821 3920 3892 3867 3850 3837 3825 3815 3462 3875 3856 3842 3830 3819 3810 3885 3863 3847 3835 3823 3814 3901 3871 3853 3840 3828 3817 3459 3880 3860 3845 3832 3822 3812 3893 3867 3851 3837 3826 3816 3457 3876 3857 3842 3830 3820 3810 3887 3864 3848 3835 3824 3814 3908 3873 3855 3841 3829 3818 3367 3893 3868 3852 3839 3827 3817 3506 3875 3857 3843 3831 3821 3505 3884 3863 3848 3835 3824 3814 3896 3870 3853 3840 3828 3818 3503 3878 3859 3844 3832 3822 3812 3887 3865 3849 3836 3825 3815 3901 3872 3855 3841 3829 3819 3500 3880 3860 3846 3833 3823 3813 3890 3867 3851 3838 3826 3816 3907 3874 3856 3842 3830 3820 3497 3883 3862 3847 3835 3824 3814 3922 3869 3852 3839 3828 3818 3495 3877 3858 3844 3832 3821 3812 3886 3864 3849 3836 3825 3815 3900 3871 3854 3841 3829 3819 3492 3880 3860 3914 3833 3823 3813 3890 3867 3851 3838 3826 3816 3907 3874 3856 3842 3831 3820 3489 3883 3862 3847 3835 3824 3814 3895 3869 3853 3839 3828 3818 3487 3877 3859 3844 3832 3914 3812 3887 3865 3849 3837 3825 3815 3902 3872 3855 3841 3830 3819 3484 3881 3861 3846 3834 3823 3813 3892 3868 3852 3838 3827 3817 3482 3876 3857 3843 3831 3821 3481 3885 3864 3848 3836 3825 3815 3899 3871 3854 3840 3829 3819 3479 3880 3860 3845 3833 3822 3813 3890 3867 3851 3838 3826 3816 3909 3875 3857 3843 3831 3820 3476 3884 3863 3848 3835 3824 3814 3897 3870 3853 3840 3828 3818 3474 3879 3859 3845 3833 3822 3812 3922 3866 3850 3837 3826 3816 3907 3874 3856 3842 3830 3820 3471 3884 3863 3922 3835 3824 3814 3896 3870 3853 3840 3828 3818 3469 3914 3859 3845 3833 3822 3812 3889 3866 3850 3837 3826 3816 3907 3874 3856 3842 3830 3820 3466 3884 3863 3848 3835 3824 3814 3897 3870 3853 3840 3828 3818 3464 3879 3860 3845 3833 3822 3812 3890 3867 3851 3838 3826 3816 3909 3875 3857 3843 3831 3820 3461 3922 3863 3848 3835 3824 3815 3898 3871 3854 3840 3829 3818 3459 3880 3860 3846 3833 3823 3813 3891 3867 3851 3838 3827 3817 3408 3877 3858 3844 3832 3821 3812 3898 3872 3855 3842 3830 3820 3508 3879 3924 3846 3834 3823 3814 3889 3867 3851 3838 3827 3817 3902 3916 3856 3843 3831 3821 3505 3882 3862 3847 3835 3824 3815 3892 3868 3852 3839 3828 3818 3907 3876 3858 3844 3832 3822 3502 3884 3864 3849 3836 3825 3816 3895 3870 3854 3841 3829 3819 3500 3878 3860 3845 3833 3823 3499 3887 3866 3850 3838 3827 3817 3900 3873 3856 3842 3831 3820 3497 3881 3861 3847 3835 3824 3814 3891 3868 3852 3839 3828 3818 3906 3875 3858 3844 3832 3822 3494 3884 3864 3849 3836 3825 3816 3895 3870 3854 3841 3829 3819 3492 3878 3860 3845 3833 3823 3491 3916 3866 3850 3838 3827 3817 3901 3873 3856 3842 3831 3821 3489 3881 3862 3847 3835 3824 3815 3892 3869 3853 3840 3828 3818 3909 3876 3858 3844 3832 3822 3486 3885 3864 3849 3837 3826 3816 3897 3871 3855 3841 3830 3820 3484 3880 3861 3846 3834 3824 3814 3890 3867 3852 3839 3828 3818 3905 3875 3857 3843 3832 3821 3481 3884 3863 3916 3836 3825 3816 3895 3870 3854 3841 3829 3819 3479 3878 3860 3846 3834 3823 3814 3888 3866 3851 3838 3827 3817 3903 3874 3857 3843 3831 3821 3476 3883 3863 3848 3836 3825 3815 3894 3870 3854 3840 3829 3819 3474 3878 3924 3845 3833 3823 3473 3888 3866 3851 3838 3827 3817 3902 3874 3856 3843 3831 3821 3471 3916 3863 3848 3836 3825 3815 3894 3870 3853 3840 3829 3819 3469 3878 3924 3845 3833 3823 3468 3888 3866 3851 3838 3827 3817 3916 3874 3857 3843 3831 3821 3466 3883 3863 3848 3836 3825 3815 3895 3870 3854 3841 3829 3819 3464 3878 3860 3846 3834 3823 3814 3889 3867 3851 3838 3827 3817 3904 3875 3857 3843 3832 3821 3461 3884 3864 3849 3836 3825 3816 3896 3871 3854 3841 3830 3820 3410 3881 3861 3847 3835 3824 3814 3903 3875 3858 3845 3833 3823 3510 3883 3864 3849 3837 3826 3817 3893 3870 3854 3841 3830 3820 3908 3877 3860 3846 3834 3824 3507 3886 3865 3918 3838 3827 3818 3896 3872 3856 3842 3831 3821 3505 3879 3861 3847 3835 3825 3504 3888 3867 3852 3839 3828 3918 3926 3874 3857 3844 3832 3822 3502 3882 3863 3848 3836 3826 3816 3892 3869 3853 3841 3830 3820 3906 3876 3859 3845 3834 3823 3499 3885 3865 3850 3838 3827 3817 3926 3871 3855 3842 3831 3821 3914 3879 3861 3847 3835 3824 3496 3888 3867 3852 3839 3828 3818 3900 3874 3857 3844 3832 3822 3494 3882 3863 3918 3836 3826 3816 3892 3869 3854 3841 3830 3820 3907 3877 3859 3845 3834 3823 3491 3885 3865 3850 3838 3827 3817 3897 3872 3856 3843 3831 3821 3489 3880 3918 3847 3835 3825 3488 3926 3868 3852 3840 3829 3819 3903 3875 3858 3844 3833 3823 3486 3884 3864 3849 3837 3826 3817 3894 3871 3855 3842 3830 3820 3912 3918 3926 3918 3835 3824 3483 3888 3867 3852 3839 3828 3818 3918 3874 3857 3844 3832 3822 3481 3882 3863 3849 3837 3826 3816 3893 3870 3854 3841 3830 3820 3926 3878 3860 3846 3834 3824 3478 3887 3866 3851 3839 3828 3818 3899 3873 3857 3843 3832 3822 3476 3882 3863 3848 3836 3826 3816 3892 3870 3854 3841 3830 3820 3918 3877 3860 3846 3834 3824 3473 3887 3866 3851 3839 3828 3818 3899 3873 3857 3843 3832 3822 3471 3882 3863 3848 3836 3826 3816 3892 3870 3854 3841 3830 3820 3909 3878 3860 3846 3834 3824 3468 3887 3866 3851 3839 3828 3818 3900 3874 3857 3844 3832 3822 3466 3882 3863 3849 3837 3826 3816 3893 3870 3854 3841 3830 3820 3918 3878 3860 3846 3835 3824 3463 3888 3867 3852 3839 3828 3818 3902 3875 3858 3844 3833 3822 3412 3885 3865 3850 3838 3827 3817 3910 3879 3861 3848 3836 3826 3512 3887 3867 3852 3840 3829 3819 3898 3874 3857 3844 3833 3823 3928 3881 3863 3849 3837 3826 3509 3890 3869 3854 3841 3830 3820 3902 3876 3859 3845 3834 3824 3507 3883 3864 3850 3838 3827 3818 3893 3871 3855 3842 3831 3821 3906 3878 3860 3847 3835 3825 3504 3886 3866 3852 3839 3829 3819 3896 3873 3857 3844 3832 3822 3913 3880 3862 3848 3836 3826 3501 3889 3868 3853 3841 3830 3820 3920 3875 3858 3845 3834 3824 3499 3883 3864 3850 3838 3827 3818 3892 3870 3855 3842 3831 3821 3906 3878 3860 3847 3835 3825 3496 3886 3866 3852 3839 3829 3819 3897 3873 3857 3844 3833 3928 3914 3881 3920 3849 3837 3826 3493 3890 3869 3854 3841 3830 3820 3902 3876 3859 3846 3834 3824 3491 3884 3865 3850 3838 3828 3818 3894 3871 3856 3843 3832 3822 3909 3879 3861 3920 3836 3825 3488 3888 3867 3853 3840 3829 3820 3899 3874 3858 3845 3833 3823 3486 3882 3864 3850 3838 3827 3928 3892 3870 3855 3842 3831 3821 3906 3878 3860 3847 3835 3825 3483 3886 3867 3852 3840 3829 3819 3898 3874 3857 3844 3833 3823 3481 3928 3863 3849 3837 3827 3480 3891 3870 3854 3842 3831 3821 3905 3877 3860 3846 3835 3825 3478 3886 3866 3852 3839 3829 3819 3897 3873 3857 3844 3833 3823 3917 3881 3863 3849 3837 3928 3475 3891 3870 3854 3842 3831 3821 3905 3877 3860 3846 3835 3825 3473 3886 3866 3852 3839 3829 3819 3897 3873 3857 3844 3833 3823 3471 3881 3863 3849 3837 3827 3470 3891 3870 3854 3842 3831 3821 3906 3877 3860 3847 3835 3825 3468 3886 3867 3852 3840 3829 3819 3898 3874 3920 3844 3833 3823 3466 3882 3864 3849 3928 3827 3465 3928 3920 3855 3842 3831 3821 3908 3878 3861 3847 3836 3825 3414 3889 3868 3853 3841 3830 3820 3918 3883 3865 3851 3839 3828 3514 3892 3871 3856 3843 3832 3822 3903 3877 3861 3847 3836 3826 3512 3885 3866 3852 3840 3829 3820 3894 3872 3857 3844 3833 3823 3907 3879 3862 3849 3837 3827 3509 3887 3868 3853 3841 3830 3821 3897 3874 3858 3845 3834 3824 3913 3881 3864 3850 3838 3828 3506 3890 3870 3855 3842 3831 3822 3901 3876 3860 3847 3835 3825 3504 3884 3866 3851 3839 3829 3503 3893 3872 3856 3844 3833 3823 3906 3879 3862 3848 3837 3826 3501 3887 3868 3853 3841 3830 3820 3897 3874 3858 3845 3834 3824 3913 3881 3864 3850 3838 3828 3498 3890 3870 3855 3842 3831 3822 3902 3877 3860 3847 3835 3825 3496 3884 3866 3852 3840 3829 3820 3894 3872 3857 3844 3833 3823 3908 3879 3862 3849 3837 3827 3493 3888 3868 3854 3841 3831 3821 3899 3875 3859 3846 3835 3922 3917 3883 3865 3851 3839 3828 3490 3892 3871 3856 3843 3832 3822 3905 3878 3861 3848 3836 3826 3488 3886 3867 3853 3841 3830 3820 3897 3874 3858 3845 3834 3824 3913 3930 3864 3850 3838 3828 3485 3891 3870 3855 3843 3832 3822 3903 3877 3861 3847 3836 3826 3483 3885 3867 3852 3840 3922 3820 3896 3873 3858 3845 3834 3824 3911 3881 3863 3850 3838 3827 3480 3890 3870 3855 3842 3831 3822 3902 3877 3860 3847 3836 3825 3478 3885 3866 3852 3840 3829 3820 3895 3873 3857 3845 3833 3922 3911 3881 3863 3849 3838 3827 3475 3890 3870 3855 3842 3831 3822 3902 3877 3860 3847 3836 3825 3473 3885 3866 3852 3840 3829 3820 3896 3873 3858 3845 3834 3824 3912 3881 3864 3850 3838 3828 3470 3891 3870 3855 3843 3832 3822 3903 3877 3861 3847 3836 3826 3468 3886 3867 3853 3840 3830 3820 3897 3874 3858 3845 3834 3824 3915 3882 3864 3850 3838 3828 3416 3893 3872 3856 3844 3833 3823 3517 3887 3868 3854 3842 3831 3822 3896 3874 3859 3846 3835 3825 3909 3881 3864 3850 3839 3829 3514 3889 3870 3855 3843 3832 3823 3899 3876 3860 3847 3836 3826 3914 3883 3865 3852 3840 3830 3511 3891 3871 3856 3844 3833 3823 3902 3878 3862 3848 3837 3827 3509 3885 3867 3853 3841 3831 3508 3894 3873 3858 3845 3834 3932 3924 3880 3863 3850 3838 3828 3506 3888 3869 3932 3842 3832 3822 3898 3875 3860 3847 3836 3826 3912 3882 3865 3851 3840 3829 3503 3891 3871 3856 3844 3833 3823 3902 3878 3861 3848 3837 3827 3921 3885 3867 3853 3841 3831 3500 3894 3873 3858 3845 3834 3825 3907 3880 3863 3850 3838 3828 3498 3888 3869 3855 3843 3832 3822 3899 3876 3860 3847 3836 3826 3914 3883 3866 3852 3840 3830 3495 3892 3872 3857 3844 3833 3824 3904 3879 3862 3849 3837 3827 3493 3887 3868 3854 3842 3831 3822 3896 3874 3859 3846 3835 3825 3910 3882 3932 3851 3839 3829 3490 3890 3871 3856 3844 3833 3823 3902 3877 3861 3848 3837 3827 3488 3885 3867 3853 3841 3831 3487 3895 3874 3858 3846 3835 3825 3908 3881 3864 3850 3839 3828 3485 3889 3870 3855 3843 3832 3823 3900 3877 3861 3848 3836 3826 3919 3885 3867 3853 3841 3830 3482 3894 3873 3858 3845 3834 3824 3932 3880 3864 3850 3839 3828 3480 3889 3870 3855 3843 3832 3823 3900 3877 3861 3848 3836 3826 3919 3885 3867 3853 3841 3830 3477 3894 3873 3858 3845 3834 3824 3908 3881 3864 3850 3839 3828 3475 3889 3870 3855 3843 3832 3823 3901 3877 3861 3848 3837 3826 3920 3885 3867 3853 3841 3830 3472 3895 3874 3858 3846 3835 3825 3909 3881 3864 3850 3839 3829 3470 3890 3870 3856 3843 3833 3823 3902 3878 3861 3848 3837 3827 3468 3886 3868 3853 3841 3831 3418 3898 3875 3860 3847 3836 3826 3373 3891 3872 3857 3845 3834 3934 3901 3878 3862 3849 3838 3828 3915 3885 3867 3926 3842 3831 3516 3893 3873 3858 3846 3835 3825 3904 3880 3863 3850 3839 3829 3922 3887 3869 3855 3843 3832 3513 3896 3875 3860 3847 3836 3826 3926 3882 3865 3851 3840 3830 3511 3889 3870 3856 3844 3833 3824 3899 3877 3861 3848 3837 3827 3912 3884 3934 3853 3841 3831 3508 3892 3872 3858 3845 3835 3825 3926 3879 3863 3850 3926 3828 3920 3886 3868 3854 3843 3832 3505 3895 3874 3859 3847 3836 3826 3907 3881 3865 3851 3840 3830 3503 3889 3870 3856 3844 3833 3824 3899 3877 3861 3848 3837 3827 3913 3884 3867 3853 3841 3831 3500 3893 3873 3858 3846 3835 3825 3903 3879 3863 3850 3839 3829 3923 3887 3869 3855 3843 3832 3497 3896 3875 3860 3847 3836 3827 3909 3882 3865 3852 3840 3830 3495 3891 3871 3857 3845 3834 3824 3901 3878 3862 3849 3838 3828 3917 3886 3868 3854 3842 3832 3492 3895 3874 3859 3847 3836 3826 3907 3881 3865 3851 3840 3830 3490 3889 3934 3856 3844 3833 3824 3934 3877 3861 3849 3837 3828 3915 3885 3867 3853 3842 3831 3487 3894 3873 3926 3846 3835 3826 3905 3880 3864 3851 3839 3829 3485 3889 3870 3856 3844 3833 3824 3899 3877 3861 3848 3837 3827 3914 3884 3867 3853 3841 3831 3482 3893 3873 3858 3846 3835 3825 3905 3880 3864 3851 3839 3829 3480 3889 3870 3856 3844 3833 3824 3899 3877 3861 3848 3837 3827 3914 3884 3867 3853 3842 3831 3477 3926 3873 3858 3846 3835 3825 3906 3881 3864 3851 3839 3829 3475 3889 3870 3856 3844 3833 3824 3934 3877 3861 3849 3837 3828 3934 3885 3867 3854 3842 3831 3472 3894 3874 3859 3846 3836 3826 3907 3881 3865 3851 3840 3830 3470 3890 3871 3857 3844 3834 3824 3903 3879 3863 3850 3839 3828 3374 3895 3875 3860 3848 3837 3827 3928 3881 3865 3852 3841 3831 3923 3889 3871 3857 3845 3834 3518 3897 3877 3861 3849 3838 3828 3909 3883 3867 3853 3842 3832 3516 3891 3872 3858 3846 3835 3826 3900 3878 3863 3850 3839 3829 3913 3885 3868 3855 3843 3833 3513 3893 3874 3859 3847 3836 3827 3904 3880 3864 3851 3840 3830 3919 3888 3870 3856 3844 3834 3510 3896 3876 3861 3848 3838 3828 3908 3883 3866 3853 3841 3831 3508 3890 3872 3858 3846 3835 3507 3900 3878 3863 3850 3839 3829 3913 3885 3868 3854 3843 3833 3505 3893 3874 3859 3847 3836 3827 3904 3880 3864 3851 3840 3830 3920 3888 3870 3856 3844 3834 3502 3897 3876 3861 3849 3838 3828 3909 3883 3866 3853 3842 3832 3500 3891 3872 3858 3846 3835 3826 3901 3879 3863 3850 3839 3829 3915 3886 3869 3855 3843 3833 3497 3895 3875 3860 3848 3837 3827 3906 3882 3865 3852 3841 3831 3495 3928 3871 3857 3845 3835 3494 3899 3878 3862 3850 3839 3829 3912 3885 3868 3854 3843 3832 3492 3893 3874 3859 3847 3836 3827 3904 3881 3865 3852 3840 3830 3922 3889 3928 3857 3845 3834 3489 3898 3877 3862 3849 3838 3828 3911 3884 3867 3854 3842 3832 3487 3893 3873 3859 3847 3836 3826 3903 3880 3864 3851 3840 3830 3921 3888 3870 3856 3844 3834 3484 3898 3877 3928 3849 3838 3828 3936 3884 3867 3854 3842 3832 3482 3893 3873 3859 3847 3836 3826 3903 3880 3864 3851 3840 3830 3921 3888 3870 3856 3928 3834 3479 3898 3877 3862 3849 3838 3828 3911 3884 3867 3854 3842 3832 3477 3893 3874 3859 3847 3836 3827 3904 3881 3865 3852 3840 3830 3924 3889 3871 3857 3845 3834 3474 3899 3877 3862 3936 3928 3829 3913 3885 3868 3854 3843 3833 3472 3894 3874 3860 3847 3837 3827 3908 3883 3866 3853 3841 3831 3375 3899 3879 3863 3851 3840 3830 3911 3885 3869 3855 3844 3834 3521 3893 3874 3860 3848 3837 3828 3902 3880 3865 3852 3841 3831 3915 3887 3870 3856 3845 3835 3518 3895 3876 3861 3849 3838 3829 3905 3882 3866 3853 3842 3832 3920 3889 3938 3858 3846 3836 3515 3898 3877 3938 3850 3839 3830 3909 3884 3868 3854 3843 3833 3513 3892 3873 3859 3847 3837 3512 3901 3879 3864 3851 3840 3831 3913 3886 3869 3856 3844 3834 3510 3894 3875 3861 3849 3838 3828 3904 3882 3866 3853 3842 3832 3919 3889 3871 3858 3846 3835 3507 3930 3877 3862 3850 3839 3829 3909 3884 3868 3855 3843 3833 3505 3892 3873 3859 3847 3837 3504 3901 3880 3864 3852 3841 3831 3914 3887 3870 3856 3845 3834 3502 3895 3876 3861 3849 3838 3829 3906 3882 3866 3853 3842 3832 3938 3890 3872 3858 3846 3836 3499 3899 3878 3863 3851 3840 3830 3911 3885 3869 3855 3844 3834 3497 3894 3875 3860 3848 3838 3828 3904 3881 3930 3853 3842 3832 3919 3889 3871 3857 3846 3835 3494 3898 3877 3930 3850 3839 3830 3909 3884 3868 3855 3843 3833 3492 3930 3874 3860 3848 3837 3828 3938 3930 3865 3852 3841 3831 3917 3888 3871 3857 3845 3835 3489 3897 3877 3862 3850 3839 3829 3908 3884 3868 3854 3843 3833 3487 3892 3874 3859 3847 3837 3486 3902 3880 3865 3852 3841 3831 3938 3888 3930 3857 3845 3835 3484 3897 3877 3862 3850 3839 3829 3908 3884 3868 3854 3843 3833 3482 3892 3874 3859 3930 3837 3481 3902 3880 3865 3852 3841 3831 3917 3888 3871 3857 3845 3835 3479 3897 3877 3862 3850 3839 3829 3909 3884 3868 3855 3843 3833 3477 3893 3874 3860 3848 3837 3828 3903 3881 3865 3853 3841 3938 3919 3889 3871 3858 3846 3835 3474 3898 3878 3863 3850 3840 3830 3913 3886 3869 3856 3844 3834 3376 3904 3882 3867 3854 3843 3833 3940 3889 3872 3858 3847 3940 3523 3897 3878 3863 3851 3840 3830 3907 3884 3868 3855 3844 3834 3921 3891 3873 3860 3848 3837 3520 3899 3879 3864 3852 3841 3831 3910 3886 3869 3856 3845 3835 3932 3893 3875 3861 3849 3838 3517 3902 3881 3866 3853 3842 3832 3914 3888 3871 3858 3846 3836 3515 3896 3877 3862 3850 3840 3830 3905 3883 3867 3855 3843 3833 3919 3890 3873 3859 3847 3837 3512 3932 3879 3864 3852 3841 3831 3909 3885 3869 3856 3845 3835 3940 3893 3875 3861 3849 3838 3509 3902 3881 3866 3853 3842 3832 3914 3888 3871 3858 3846 3836 3507 3896 3877 3862 3850 3840 3830 3906 3883 3868 3855 3844 3834 3921 3891 3873 3859 3848 3837 3504 3899 3879 3864 3852 3841 3831 3911 3886 3870 3857 3845 3835 3502 3894 3876 3861 3849 3839 3501 3904 3882 3940 3854 3843 3833 3917 3889 3872 3858 3847 3837 3499 3898 3878 3863 3851 3840 3831 3932 3885 3869 3856 3932 3834 3927 3893 3875 3861 3849 3838 3496 3902 3881 3866 3853 3842 3832 3915 3888 3871 3858 3846 3836 3494 3897 3877 3863 3851 3840 3830 3907 3884 3868 3855 3844 3834 3924 3892 3874 3860 3848 3838 3491 3901 3880 3865 3853 3842 3832 3914 3888 3871 3858 3846 3836 3489 3896 3877 3863 3850 3840 3830 3907 3884 3868 3855 3844 3834 3932 3892 3874 3860 3848 3838 3486 3901 3880 3865 3853 3842 3832 3914 3888 3871 3858 3846 3836 3484 3896 3877 3863 3851 3840 3830 3907 3884 3868 3855 3844 3834 3932 3892 3874 3860 3848 3838 3481 3902 3881 3866 3853 3842 3832 3915 3888 3871 3858 3846 3836 3479 3897 3878 3863 3851 3840 3831 3908 3885 3869 3856 3844 3834 3928 3893 3875 3861 3849 3838 3476 3903 3940 3866 3854 3843 3833 3919 3890 3873 3859 3847 3837 3377 3909 3886 3870 3857 3846 3836 3923 3893 3875 3861 3850 3839 3525 3901 3881 3866 3854 3843 3833 3912 3887 3871 3858 3847 3837 3942 3895 3877 3863 3851 3840 3522 3904 3883 3868 3855 3844 3834 3915 3889 3873 3859 3848 3838 3520 3897 3878 3864 3852 3841 3832 3907 3885 3869 3856 3845 3835 3920 3892 3874 3861 3849 3839 3517 3900 3880 3934 3853 3843 3833 3910 3887 3871 3858 3846 3836 3927 3894 3876 3862 3850 3840 3514 3903 3882 3867 3855 3844 3834 3942 3889 3872 3859 3848 3838 3512 3897 3878 3864 3852 3841 3832 3906 3942 3869 3856 3845 3835 3920 3892 3874 3861 3849 3839 3509 3900 3880 3866 3853 3843 3833 3911 3887 3871 3858 3847 3837 3929 3895 3877 3863 3851 3840 3506 3904 3883 3868 3855 3844 3834 3916 3890 3873 3860 3848 3838 3504 3898 3879 3865 3852 3842 3832 3908 3886 3870 3857 3846 3836 3924 3893 3875 3862 3850 3840 3501 3902 3882 3867 3854 3843 3834 3914 3889 3872 3859 3847 3837 3499 3897 3878 3864 3852 3841 3832 3907 3885 3869 3856 3845 3835 3921 3892 3875 3861 3849 3839 3496 3901 3881 3866 3854 3843 3833 3912 3888 3872 3858 3847 3837 3494 3896 3877 3863 3851 3841 3493 3906 3884 3869 3856 3845 3835 3920 3934 3874 3861 3849 3839 3491 3900 3881 3866 3854 3843 3833 3912 3888 3871 3858 3847 3837 3489 3896 3877 3863 3851 3841 3488 3906 3884 3869 3856 3845 3835 3920 3934 3874 3861 3849 3839 3486 3900 3881 3866 3854 3843 3833 3912 3888 3871 3858 3847 3837 3484 3896 3878 3863 3851 3841 3483 3906 3884 3869 3856 3845 3835 3921 3892 3875 3861 3849 3839 3481 3901 3881 3866 3854 3843 3833 3913 3888 3872 3859 3847 3837 3479 3897 3878 3864 3852 3841 3832 3942 3885 3869 3857 3845 3836 3927 3894 3876 3862 3850 3840 3378 3914 3944 3873 3860 3849 3839 3931 3897 3879 3865 3853 3842 3527 3905 3885 3869 3857 3846 3836 3917 3891 3875 3861 3850 3840 3525 3899 3880 3866 3854 3843 3834 3908 3886 3871 3858 3847 3837 3921 3893 3876 3863 3851 3841 3522 3901 3882 3867 3855 3844 3835 3911 3888 3872 3859 3848 3838 3927 3944 3878 3864 3852 3842 3519 3904 3884 3869 3856 3845 3836 3915 3890 3874 3861 3849 3839 3517 3898 3880 3865 3853 3843 3516 3907 3886 3870 3858 3847 3837 3920 3893 3876 3862 3851 3840 3514 3901 3882 3867 3855 3844 3835 3911 3888 3872 3859 3848 3838 3927 3896 3878 3864 3852 3842 3511 3904 3884 3869 3856 3846 3836 3916 3891 3874 3861 3850 3839 3509 3899 3880 3866 3854 3843 3834 3908 3886 3871 3858 3847 3837 3922 3894 3876 3863 3851 3841 3506 3902 3936 3868 3855 3845 3835 3913 3889 3873 3860 3849 3839 3932 3897 3879 3865 3853 3842 3503 3906 3885 3870 3857 3846 3837 3919 3892 3875 3862 3850 3840 3501 3901 3882 3867 3855 3844 3834 3911 3888 3872 3859 3848 3838 3928 3896 3878 3864 3852 3842 3498 3905 3884 3869 3857 3846 3836 3918 3892 3875 3862 3850 3840 3496 3900 3881 3867 3854 3844 3834 3944 3888 3872 3859 3848 3838 3927 3895 3878 3864 3852 3842 3493 3905 3884 3869 3857 3846 3836 3917 3891 3875 3861 3850 3840 3491 3900 3881 3866 3854 3844 3834 3910 3888 3872 3859 3848 3838 3927 3895 3878 3864 3852 3842 3488 3905 3884 3869 3857 3846 3836 3936 3892 3875 3861 3850 3840 3486 3900 3881 3867 3854 3844 3834 3911 3888 3872 3859 3848 3838 3928 3896 3878 3864 3852 3842 3483 3906 3885 3870 3857 3846 3836 3919 3892 3875 3862 3850 3840 3481 3901 3882 3867 3855 3844 3835 3912 3889 3873 3860 3848 3838 3430 3898 3880 3865 3853 3843 3379 3919 3893 3877 3863 3852 3842 3530 3901 3882 3868 3856 3845 3836 3910 3888 3873 3860 3849 3839 3923 3895 3878 3864 3853 3843 3527 3903 3884 3869 3857 3846 3837 3913 3890 3874 3861 3850 3840 3928 3897 3938 3866 3854 3844 3524 3906 3885 3946 3858 3847 3838 3938 3892 3876 3862 3851 3841 3522 3938 3881 3867 3855 3845 3521 3909 3887 3872 3859 3848 3839 3921 3894 3877 3864 3852 3842 3519 3902 3883 3869 3938 3846 3836 3912 3946 3874 3861 3850 3840 3927 3897 3879 3865 3854 3843 3516 3905 3885 3870 3858 3847 3837 3916 3892 3876 3862 3851 3841 3514 3900 3881 3867 3855 3845 3513 3909 3888 3872 3860 3849 3839 3922 3895 3878 3864 3853 3842 3511 3903 3884 3869 3857 3846 3836 3913 3890 3874 3861 3850 3840 3946 3898 3880 3866 3854 3844 3508 3907 3886 3871 3859 3848 3838 3919 3893 3876 3863 3852 3842 3506 3901 3882 3868 3856 3845 3836 3911 3889 3873 3860 3849 3839 3926 3896 3879 3865 3938 3843 3503 3905 3885 3870 3858 3847 3837 3917 3892 3876 3862 3851 3841 3501 3900 3882 3867 3855 3845 3500 3910 3888 3873 3860 3849 3839 3924 3946 3878 3865 3853 3843 3498 3904 3946 3870 3857 3847 3837 3938 3891 3875 3862 3851 3841 3496 3899 3881 3867 3855 3845 3495 3909 3888 3872 3860 3849 3839 3923 3895 3878 3946 3853 3843 3493 3904 3884 3870 3857 3847 3837 3915 3891 3875 3862 3851 3841 3491 3899 3881 3867 3855 3845 3490 3909 3888 3872 3860 3849 3839 3938 3895 3878 3865 3853 3843 3488 3904 3885 3870 3858 3847 3837 3916 3892 3875 3862 3851 3841 3486 3900 3882 3867 3855 3845 3485 3910 3888 3873 3860 3849 3839 3925 3896 3879 3865 3853 3843 3483 3905 3885 3870 3858 3847 3837 3918 3893 3876 3863 3851 3841 3432 3902 3883 3869 3857 3846 3836 3925 3897 3880 3866 3855 3845 3532 3905 3886 3871 3859 3848 3839 3915 3892 3876 3863 3852 3842 3930 3899 3881 3868 3856 3940 3529 3907 3887 3872 3860 3849 3839 3918 3894 3877 3864 3853 3843 3937 3901 3883 3869 3857 3940 3526 3910 3889 3874 3861 3850 3840 3922 3896 3879 3866 3854 3844 3524 3904 3885 3870 3858 3848 3838 3913 3891 3875 3863 3851 3841 3927 3898 3881 3867 3855 3845 3521 3948 3887 3872 3860 3849 3839 3917 3893 3877 3864 3853 3843 3935 3901 3883 3869 3857 3846 3518 3910 3889 3874 3861 3850 3840 3922 3896 3879 3866 3854 3844 3516 3904 3885 3870 3858 3848 3838 3914 3891 3940 3863 3852 3842 3928 3899 3881 3867 3856 3845 3513 3907 3887 3872 3860 3849 3839 3918 3894 3878 3864 3853 3843 3511 3902 3883 3869 3857 3847 3510 3911 3890 3874 3862 3851 3841 3924 3897 3880 3866 3855 3844 3508 3905 3886 3871 3859 3848 3839 3916 3893 3877 3864 3852 3842 3940 3900 3882 3868 3857 3846 3505 3910 3889 3940 3861 3850 3840 3922 3896 3879 3866 3854 3844 3503 3904 3885 3871 3858 3848 3838 3915 3892 3876 3863 3852 3842 3931 3899 3882 3868 3856 3846 3500 3909 3888 3873 3861 3850 3840 3921 3895 3879 3865 3854 3844 3498 3904 3885 3870 3858 3848 3838 3914 3891 3876 3863 3852 3842 3930 3899 3948 3868 3856 3846 3495 3908 3888 3873 3860 3850 3840 3921 3895 3879 3865 3854 3844 3493 3904 3885 3870 3858 3848 3838 3914 3940 3876 3863 3852 3842 3940 3899 3882 3868 3856 3846 3490 3909 3888 3873 3861 3850 3840 3940 3896 3879 3865 3854 3844 3488 3904 3885 3871 3858 3848 3838 3915 3892 3876 3863 3852 3842 3933 3900 3882 3868 3856 3846 3485 3910 3889 3874 3861 3850 3840 3923 3896 3879 3866 3854 3844 3434 3907 3887 3872 3860 3849 3839 3932 3901 3883 3870 3858 3848 3534 3909 3889 3874 3862 3851 3841 3920 3896 3879 3866 3855 3845 3942 3903 3885 3871 3859 3848 3531 3912 3891 3876 3863 3852 3842 3924 3898 3881 3950 3856 3846 3529 3905 3950 3872 3860 3849 3840 3915 3893 3877 3864 3853 3843 3928 3900 3882 3869 3857 3847 3526 3908 3888 3874 3861 3851 3841 3918 3895 3879 3866 3854 3844 3935 3902 3884 3870 3858 3848 3523 3911 3890 3875 3863 3852 3842 3923 3897 3880 3867 3856 3846 3521 3905 3886 3872 3860 3849 3840 3914 3950 3877 3864 3853 3843 3928 3900 3882 3869 3857 3847 3518 3908 3888 3874 3861 3851 3841 3919 3895 3879 3866 3855 3942 3950 3903 3885 3871 3859 3848 3515 3912 3891 3876 3863 3852 3842 3924 3898 3881 3868 3856 3846 3513 3906 3887 3872 3860 3850 3840 3916 3893 3878 3865 3854 3844 3931 3901 3883 3870 3858 3847 3510 3910 3889 3875 3862 3851 3842 3921 3896 3880 3867 3855 3845 3508 3904 3886 3872 3860 3849 3942 3914 3892 3877 3864 3853 3843 3928 3900 3882 3869 3857 3847 3505 3908 3889 3874 3862 3851 3841 3920 3896 3879 3866 3855 3845 3503 3942 3885 3871 3859 3849 3502 3913 3892 3876 3864 3853 3843 3927 3899 3882 3868 3857 3847 3500 3908 3888 3874 3861 3851 3841 3919 3895 3879 3866 3855 3845 3939 3903 3885 3871 3859 3942 3497 3913 3892 3876 3864 3853 3843 3927 3899 3882 3868 3857 3847 3495 3908 3888 3874 3861 3851 3841 3919 3895 3879 3866 3855 3845 3493 3903 3885 3871 3859 3849 3492 3913 3892 3876 3864 3853 3843 3928 3899 3882 3869 3857 3847 3490 3908 3889 3874 3862 3851 3841 3920 3896 3880 3866 3855 3845 3488 3904 3886 3871 3942 3849 3487 3942 3893 3877 3864 3853 3843 3930 3900 3883 3869 3858 3847 3436 3911 3890 3875 3863 3852 3842 3941 3905 3887 3873 3861 3944 3536 3914 3893 3878 3865 3854 3844 3926 3900 3883 3869 3858 3848 3534 3907 3888 3874 3862 3851 3842 3917 3895 3879 3866 3855 3845 3930 3944 3884 3871 3859 3849 3531 3910 3890 3875 3863 3852 3843 3920 3896 3880 3867 3856 3846 3936 3904 3886 3872 3860 3850 3528 3912 3892 3877 3864 3854 3844 3924 3899 3882 3869 3857 3847 3526 3906 3888 3874 3862 3851 3525 3916 3894 3944 3866 3855 3845 3944 3901 3884 3870 3859 3944 3523 3909 3890 3875 3863 3852 3843 3919 3896 3880 3867 3856 3846 3935 3904 3886 3872 3860 3850 3520 3912 3892 3877 3864 3854 3844 3924 3899 3882 3869 3858 3847 3518 3907 3888 3874 3862 3851 3842 3916 3894 3879 3866 3855 3845 3930 3902 3884 3871 3859 3849 3515 3910 3890 3876 3863 3853 3843 3921 3897 3881 3868 3857 3847 3940 3905 3887 3873 3861 3850 3512 3914 3893 3878 3865 3854 3844 3927 3900 3883 3870 3858 3848 3510 3909 3889 3875 3863 3852 3842 3919 3896 3880 3867 3856 3846 3936 3904 3886 3872 3860 3850 3507 3913 3892 3877 3865 3854 3844 3925 3899 3883 3869 3858 3848 3505 3908 3889 3874 3862 3852 3842 3918 3895 3880 3867 3856 3846 3934 3903 3885 3872 3860 3850 3502 3912 3892 3877 3864 3854 3844 3952 3899 3882 3869 3858 3848 3500 3907 3944 3874 3862 3851 3842 3918 3895 3880 3867 3856 3846 3934 3903 3885 3872 3860 3952 3497 3912 3892 3877 3864 3854 3844 3925 3899 3952 3869 3858 3848 3495 3908 3889 3874 3862 3852 3842 3918 3896 3880 3867 3856 3846 3935 3903 3886 3872 3860 3850 3492 3913 3892 3877 3865 3854 3844 3926 3900 3883 3870 3858 3848 3490 3908 3889 3875 3863 3852 3842 3919 3896 3880 3867 3856 3846 3938 3904 3886 3872 3861 3850 3438 3916 3894 3879 3866 3855 3845 3539 3909 3891 3876 3864 3853 3844 3919 3897 3881 3868 3857 3847 3932 3946 3886 3873 3861 3851 3536 3912 3892 3877 3865 3854 3845 3922 3898 3882 3869 3858 3848 3937 3906 3888 3874 3862 3852 3533 3914 3894 3879 3866 3855 3846 3925 3900 3884 3871 3859 3849 3531 3908 3889 3875 3863 3853 3530 3917 3896 3880 3868 3857 3847 3954 3902 3886 3872 3861 3850 3528 3954 3891 3877 3865 3854 3844 3920 3898 3882 3869 3858 3848 3935 3905 3887 3874 3862 3851 3525 3914 3893 3878 3866 3855 3954 3925 3900 3884 3871 3859 3849 3523 3908 3889 3875 3863 3853 3522 3917 3896 3880 3868 3857 3847 3930 3903 3886 3872 3861 3850 3520 3911 3892 3877 3865 3854 3845 3921 3898 3882 3869 3858 3848 3938 3906 3888 3874 3862 3852 3517 3915 3894 3879 3867 3856 3846 3927 3901 3884 3871 3860 3850 3515 3909 3890 3876 3864 3853 3844 3919 3897 3881 3868 3857 3847 3934 3904 3887 3873 3861 3851 3512 3913 3893 3878 3866 3855 3845 3924 3900 3884 3870 3859 3849 3510 3908 3889 3875 3863 3853 3509 3918 3896 3881 3868 3857 3847 3931 3903 3886 3873 3861 3851 3507 3912 3892 3878 3865 3855 3845 3923 3899 3883 3870 3859 3849 3943 3907 3889 3875 3863 3853 3504 3917 3896 3880 3868 3857 3847 3954 3903 3886 3872 3861 3954 3502 3912 3892 3877 3865 3854 3845 3923 3899 3883 3870 3859 3849 3943 3907 3889 3875 3863 3852 3499 3917 3896 3880 3868 3857 3847 3931 3903 3886 3872 3861 3851 3497 3912 3892 3878 3865 3855 3845 3923 3899 3883 3870 3859 3849 3495 3908 3889 3875 3863 3853 3494 3918 3896 3881 3868 3857 3847 3932 3904 3886 3873 3861 3851 3492 3913 3893 3878 3866 3855 3845 3925 3900 3884 3871 3859 3849 3490 3909 3890 3876 3864 3853 3844 3946 3898 3882 3869 3858 3848 3384 3914 3894 3879 3867 3856 3847 3924 3900 3884 3871 3860 3850 3939 3908 3890 3876 3864 3854 3538 3916 3896 3881 3868 3857 3848 3927 3902 3886 3873 3861 3851 3536 3910 3891 3877 3865 3855 3535 3919 3897 3882 3869 3858 3849 3931 3904 3887 3874 3862 3852 3533 3912 3893 3879 3866 3856 3846 3922 3899 3884 3871 3860 3850 3936 3906 3889 3875 3864 3853 3530 3915 3895 3880 3868 3857 3847 3926 3948 3885 3872 3861 3851 3956 3909 3891 3877 3865 3854 3527 3918 3897 3882 3869 3858 3848 3930 3904 3887 3874 3862 3852 3525 3912 3893 3879 3866 3856 3846 3922 3899 3884 3871 3860 3850 3937 3907 3889 3875 3864 3853 3522 3915 3895 3880 3868 3857 3847 3927 3902 3886 3948 3861 3851 3520 3910 3891 3877 3865 3855 3519 3919 3898 3882 3870 3859 3849 3933 3905 3888 3874 3863 3853 3517 3913 3894 3879 3867 3856 3847 3924 3901 3885 3872 3860 3850 3942 3908 3890 3876 3865 3854 3514 3918 3897 3948 3869 3858 3848 3930 3904 3887 3874 3862 3852 3512 3912 3893 3879 3866 3856 3846 3948 3900 3884 3871 3860 3850 3939 3907 3890 3876 3864 3854 3509 3948 3896 3881 3948 3858 3848 3929 3903 3948 3873 3862 3852 3507 3911 3893 3878 3866 3948 3846 3922 3899 3884 3871 3860 3850 3937 3907 3889 3876 3864 3853 3504 3916 3896 3881 3868 3857 3848 3928 3903 3886 3873 3862 3948 3502 3911 3892 3878 3866 3855 3846 3922 3899 3884 3871 3860 3850 3938 3907 3889 3876 3864 3854 3499 3916 3896 3881 3868 3858 3848 3929 3903 3887 3873 3862 3852 3497 3912 3893 3878 3866 3856 3846 3948 3900 3884 3871 3860 3850 3948 3908 3890 3876 3864 3854 3494 3917 3948 3881 3869 3858 3848 3956 3904 3887 3874 3862 3852 3492 3913 3894 3879 3867 3856 3846 3926 3902 3885 3872 3861 3851 3385 3918 3898 3883 3870 3950 3850 3929 3904 3888 3875 3863 3853 3541 3912 3893 3879 3867 3857 3540 3921 3899 3884 3871 3860 3851 3933 3906 3889 3876 3864 3854 3538 3914 3895 3880 3868 3858 3848 3924 3901 3885 3873 3950 3852 3958 3908 3891 3877 3865 3855 3535 3958 3897 3882 3870 3859 3849 3927 3903 3887 3874 3863 3853 3950 3911 3893 3879 3867 3856 3532 3919 3899 3883 3871 3860 3850 3931 3905 3889 3875 3864 3854 3530 3913 3894 3880 3868 3857 3848 3923 3901 3885 3872 3861 3851 3937 3908 3891 3877 3865 3855 3527 3916 3897 3882 3870 3859 3849 3927 3903 3887 3874 3863 3853 3950 3911 3893 3879 3867 3856 3524 3920 3899 3884 3871 3860 3850 3932 3906 3889 3876 3864 3854 3522 3914 3895 3881 3868 3858 3848 3924 3902 3886 3873 3862 3852 3940 3909 3891 3878 3866 3950 3519 3918 3898 3883 3870 3859 3850 3950 3950 3888 3875 3863 3853 3517 3950 3894 3880 3868 3857 3848 3922 3900 3885 3872 3861 3851 3958 3908 3950 3877 3865 3855 3514 3950 3897 3882 3870 3859 3849 3928 3904 3887 3874 3863 3853 3512 3950 3893 3879 3867 3857 3511 3921 3900 3884 3872 3861 3851 3935 3907 3890 3876 3865 3855 3509 3916 3896 3950 3869 3859 3849 3927 3903 3887 3874 3863 3853 3950 3911 3893 3879 3867 3856 3506 3921 3899 3884 3958 3950 3851 3934 3907 3890 3876 3865 3854 3504 3916 3896 3881 3869 3858 3849 3927 3903 3887 3874 3863 3853 3947 3911 3893 3879 3867 3950 3501 3921 3900 3884 3872 3861 3851 3935 3907 3890 3958 3865 3855 3499 3916 3896 3882 3869 3859 3849 3928 3904 3887 3874 3863 3853 3497 3912 3893 3879 3867 3857 3496 3922 3900 3885 3872 3861 3851 3937 3908 3891 3877 3865 3855 3494 3917 3897 3882 3870 3859 3849 3931 3905 3889 3875 3864 3854 3386 3923 3902 3886 3874 3863 3853 3935 3908 3891 3878 3866 3856 3543 3916 3897 3883 3870 3860 3850 3926 3903 3887 3875 3952 3854 3939 3910 3893 3879 3867 3857 3540 3918 3899 3884 3872 3861 3851 3929 3905 3889 3876 3865 3855 3946 3912 3894 3880 3869 3858 3537 3921 3900 3885 3873 3862 3852 3933 3907 3890 3877 3866 3856 3535 3915 3896 3882 3870 3859 3850 3924 3902 3887 3874 3863 3853 3938 3909 3892 3879 3867 3857 3532 3918 3898 3883 3871 3860 3851 3928 3905 3889 3876 3864 3854 3945 3912 3894 3880 3868 3858 3529 3921 3900 3885 3873 3862 3852 3933 3907 3891 3877 3866 3856 3527 3915 3896 3882 3870 3859 3850 3925 3903 3887 3874 3863 3853 3939 3910 3893 3879 3867 3857 3524 3919 3899 3884 3872 3861 3851 3952 3905 3889 3876 3865 3855 3949 3913 3895 3881 3869 3952 3521 3923 3901 3886 3873 3862 3853 3960 3908 3892 3878 3867 3856 3519 3917 3898 3883 3871 3860 3850 3927 3904 3888 3875 3864 3854 3944 3912 3894 3880 3868 3858 3516 3921 3900 3885 3873 3862 3852 3933 3960 3891 3877 3866 3856 3514 3916 3897 3882 3870 3860 3850 3926 3952 3888 3875 3864 3854 3942 3911 3952 3880 3868 3858 3511 3920 3900 3885 3872 3862 3852 3960 3907 3890 3877 3866 3856 3509 3915 3960 3882 3870 3859 3850 3926 3903 3888 3875 3864 3854 3941 3911 3893 3880 3868 3857 3506 3920 3900 3885 3872 3960 3852 3960 3907 3890 3877 3866 3856 3504 3915 3897 3882 3870 3860 3850 3926 3903 3888 3875 3864 3854 3942 3911 3894 3880 3868 3858 3501 3921 3900 3885 3873 3862 3852 3933 3960 3891 3877 3866 3856 3499 3916 3897 3883 3870 3860 3850 3927 3904 3888 3875 3864 3854 3945 3912 3894 3880 3868 3858 3496 3922 3901 3886 3873 3862 3852 3938 3909 3892 3879 3867 3857 3387 3928 3905 3890 3877 3866 3856 3942 3912 3895 3881 3962 3859 3545 3920 3901 3886 3874 3863 3853 3931 3907 3891 3878 3867 3857 3962 3914 3896 3882 3871 3860 3542 3923 3902 3887 3875 3864 3854 3934 3909 3892 3879 3868 3962 3540 3917 3898 3884 3872 3861 3852 3926 3904 3889 3876 3865 3855 3939 3911 3894 3880 3869 3859 3537 3919 3900 3885 3873 3862 3853 3929 3906 3890 3877 3866 3856 3945 3954 3896 3882 3870 3860 3534 3922 3902 3887 3874 3954 3854 3934 3909 3892 3879 3867 3857 3532 3916 3898 3884 3872 3861 3531 3926 3904 3889 3876 3865 3855 3939 3911 3894 3880 3869 3859 3529 3919 3900 3885 3873 3862 3853 3930 3907 3891 3878 3866 3856 3947 3914 3896 3882 3870 3860 3526 3923 3902 3887 3875 3864 3854 3935 3909 3893 3879 3868 3858 3524 3917 3899 3884 3872 3862 3852 3962 3905 3889 3877 3865 3856 3942 3913 3895 3881 3870 3859 3521 3921 3901 3886 3874 3863 3853 3933 3908 3892 3879 3867 3857 3519 3916 3898 3883 3871 3861 3518 3926 3904 3889 3876 3865 3855 3940 3954 3894 3881 3869 3859 3516 3920 3900 3886 3873 3863 3853 3931 3907 3891 3878 3867 3857 3514 3915 3897 3883 3871 3861 3513 3925 3904 3888 3876 3865 3855 3939 3911 3894 3880 3869 3859 3511 3920 3900 3885 3873 3962 3853 3931 3907 3891 3878 3867 3857 3951 3915 3897 3883 3871 3860 3508 3925 3904 3888 3876 3865 3855 3939 3911 3894 3880 3869 3859 3506 3920 3900 3886 3873 3863 3853 3931 3907 3891 3878 3867 3857 3504 3915 3897 3883 3871 3861 3503 3925 3904 3888 3876 3865 3855 3940 3954 3894 3881 3869 3859 3501 3921 3901 3886 3874 3863 3853 3932 3908 3892 3878 3867 3857 3499 3916 3898 3884 3872 3861 3498 3927 3905 3889 3876 3865 3855 3945 3914 3896 3882 3870 3860 3388 3933 3909 3893 3880 3869 3859 3950 3916 3898 3884 3873 3862 3547 3925 3904 3889 3877 3866 3856 3936 3911 3894 3881 3870 3860 3545 3919 3900 3886 3874 3863 3854 3928 3906 3891 3878 3867 3857 3964 3913 3896 3882 3871 3964 3542 3921 3902 3887 3875 3864 3855 3931 3908 3892 3879 3868 3858 3946 3915 3898 3884 3872 3862 3539 3924 3903 3889 3876 3865 3856 3935 3910 3894 3881 3869 3859 3537 3918 3899 3885 3873 3863 3536 3927 3906 3890 3878 3867 3857 3940 3913 3896 3882 3871 3860 3534 3921 3901 3887 3875 3864 3854 3931 3908 3892 3879 3868 3858 3946 3915 3898 3884 3872 3862 3531 3924 3904 3889 3876 3865 3856 3964 3964 3894 3881 3869 3859 3529 3918 3900 3886 3874 3863 3528 3928 3906 3891 3878 3867 3857 3942 3913 3896 3883 3871 3861 3526 3922 3902 3888 3875 3865 3855 3933 3909 3893 3880 3869 3859 3951 3917 3899 3885 3873 3862 3523 3926 3905 3890 3877 3866 3856 3939 3912 3895 3882 3870 3860 3521 3920 3901 3887 3875 3864 3854 3931 3908 3892 3879 3868 3858 3947 3916 3898 3884 3872 3862 3518 3925 3904 3889 3877 3866 3856 3937 3911 3895 3881 3870 3860 3516 3920 3901 3886 3874 3864 3854 3930 3907 3892 3879 3868 3858 3946 3915 3897 3884 3872 3862 3513 3924 3904 3889 3876 3866 3856 3937 3911 3894 3881 3870 3860 3511 3919 3901 3886 3874 3956 3854 3930 3907 3892 3879 3868 3858 3946 3915 3897 3884 3872 3862 3508 3924 3904 3889 3876 3866 3856 3937 3911 3895 3881 3870 3860 3506 3920 3901 3886 3874 3864 3854 3964 3908 3892 3879 3868 3858 3947 3916 3898 3884 3872 3862 3503 3925 3904 3889 3877 3866 3856 3938 3912 3895 3882 3870 3860 3501 3921 3901 3887 3875 3864 3854 3932 3909 3893 3880 3868 3858 3450 3918 3899 3885 3873 3863 3389 3939 3913 3897 3883 3872 3862 3550 3921 3902 3888 3876 3865 3856 3930 3908 3893 3880 3869 3859 3943 3915 3898 3884 3873 3863 3547 3923 3904 3889 3877 3866 3857 3933 3910 3894 3881 3870 3860 3948 3917 3899 3886 3874 3864 3544 3966 3905 3890 3878 3867 3857 3936 3912 3896 3882 3871 3861 3542 3919 3901 3887 3875 3865 3541 3928 3907 3892 3879 3868 3859 3941 3914 3897 3884 3872 3862 3539 3922 3903 3889 3876 3866 3856 3932 3909 3894 3881 3870 3860 3947 3917 3899 3885 3874 3863 3536 3925 3905 3890 3878 3867 3857 3936 3912 3958 3882 3871 3861 3534 3966 3901 3887 3875 3865 3533 3929 3907 3892 3966 3958 3859 3942 3958 3898 3884 3873 3862 3531 3923 3903 3889 3877 3866 3856 3933 3910 3894 3881 3870 3860 3949 3918 3900 3886 3874 3864 3528 3958 3906 3891 3958 3868 3858 3938 3913 3896 3883 3872 3862 3526 3921 3902 3888 3876 3865 3856 3931 3909 3893 3880 3869 3859 3966 3916 3899 3885 3873 3863 3523 3925 3905 3890 3878 3867 3857 3936 3912 3896 3882 3871 3861 3521 3920 3901 3887 3875 3865 3520 3930 3908 3893 3880 3869 3859 3958 3915 3898 3885 3873 3863 3518 3924 3904 3890 3877 3867 3857 3935 3911 3895 3882 3871 3861 3516 3919 3901 3887 3875 3865 3515 3929 3908 3892 3880 3869 3859 3943 3915 3898 3884 3873 3863 3513 3924 3904 3890 3877 3867 3857 3935 3911 3895 3882 3871 3861 3511 3919 3901 3887 3875 3865 3510 3929 3908 3892 3880 3869 3859 3943 3915 3898 3885 3873 3863 3508 3924 3966 3890 3877 3867 3857 3936 3912 3895 3882 3871 3861 3506 3920 3901 3887 3875 3865 3505 3930 3908 3893 3880 3869 3859 3945 3916 3899 3885 3873 3863 3503 3925 3905 3890 3878 3867 3857 3937 3912 3896 3883 3871 3861 3452 3922 3903 3889 3876 3866 3856 3945 3917 3900 3887 3875 3865 3552 3925 3906 3891 3879 3868 3859 3935 3912 3896 3883 3872 3862 3950 3919 3968 3888 3876 3866 3549 3960 3907 3892 3880 3869 3859 3938 3914 3898 3884 3873 3863 3960 3921 3903 3889 3877 3867 3546 3930 3909 3894 3881 3870 3860 3942 3916 3899 3886 3874 3864 3544 3924 3905 3890 3878 3868 3858 3933 3911 3895 3883 3871 3862 3960 3918 3901 3887 3875 3865 3541 3927 3907 3892 3880 3869 3859 3937 3913 3897 3884 3873 3863 3956 3921 3903 3889 3877 3866 3538 3930 3909 3894 3881 3870 3860 3942 3916 3899 3886 3874 3864 3536 3924 3905 3890 3878 3868 3858 3934 3911 3896 3883 3872 3862 3949 3919 3901 3887 3876 3865 3533 3927 3907 3892 3880 3869 3859 3939 3914 3898 3884 3873 3863 3531 3922 3903 3889 3877 3867 3530 3931 3910 3894 3882 3871 3861 3945 3917 3900 3886 3875 3865 3528 3925 3906 3891 3879 3868 3859 3936 3913 3897 3884 3872 3862 3954 3920 3902 3888 3877 3866 3525 3930 3909 3894 3881 3870 3860 3942 3916 3899 3886 3874 3864 3523 3924 3905 3891 3879 3868 3858 3935 3912 3896 3883 3872 3862 3951 3920 3902 3888 3876 3866 3520 3929 3908 3893 3881 3870 3860 3941 3915 3899 3885 3874 3864 3518 3924 3905 3890 3878 3868 3858 3934 3960 3896 3883 3872 3862 3950 3919 3902 3888 3876 3866 3515 3960 3908 3893 3960 3870 3860 3941 3915 3899 3885 3874 3864 3513 3924 3905 3890 3878 3868 3858 3934 3912 3896 3883 3872 3862 3951 3919 3902 3888 3876 3866 3510 3929 3908 3893 3881 3870 3860 3942 3916 3899 3886 3874 3864 3508 3924 3905 3891 3879 3868 3858 3935 3912 3896 3883 3872 3862 3953 3920 3902 3888 3968 3866 3505 3930 3909 3894 3881 3870 3860 3944 3960 3900 3886 3875 3864 3454 3927 3907 3892 3880 3869 3859 3953 3921 3904 3890 3878 3868 3554 3930 3910 3895 3882 3871 3862 3941 3916 3900 3886 3875 3865 3552 3923 3905 3891 3879 3869 3551 3932 3911 3896 3883 3872 3862 3944 3918 3901 3888 3876 3866 3549 3926 3907 3892 3880 3870 3860 3935 3913 3897 3962 3873 3863 3949 3920 3903 3889 3877 3867 3546 3928 3909 3894 3970 3871 3861 3939 3915 3899 3886 3875 3865 3956 3922 3904 3890 3879 3868 3543 3931 3911 3895 3883 3872 3862 3943 3917 3901 3887 3876 3866 3541 3925 3906 3892 3880 3869 3860 3935 3913 3897 3884 3873 3863 3949 3920 3903 3889 3877 3867 3538 3928 3909 3894 3882 3871 3861 3939 3915 3899 3886 3875 3865 3958 3923 3905 3891 3879 3868 3535 3932 3911 3896 3883 3872 3862 3945 3918 3901 3888 3876 3866 3533 3926 3907 3893 3881 3870 3860 3936 3914 3898 3885 3874 3864 3952 3921 3904 3890 3878 3868 3530 3930 3910 3895 3882 3871 3862 3942 3917 3900 3887 3876 3865 3528 3925 3906 3892 3880 3869 3860 3935 3913 3897 3884 3873 3863 3949 3920 3903 3889 3877 3867 3525 3929 3909 3894 3882 3871 3861 3940 3916 3900 3886 3875 3865 3523 3924 3905 3891 3879 3869 3522 3934 3912 3897 3884 3873 3863 3948 3919 3902 3889 3877 3867 3520 3928 3908 3894 3881 3871 3861 3940 3915 3899 3886 3875 3865 3518 3962 3905 3891 3879 3869 3517 3933 3912 3896 3884 3873 3863 3947 3919 3902 3889 3877 3867 3515 3928 3908 3894 3881 3871 3861 3940 3916 3899 3886 3875 3865 3513 3924 3905 3891 3879 3869 3512 3934 3912 3897 3884 3873 3863 3948 3920 3902 3889 3877 3867 3510 3929 3909 3894 3882 3871 3861 3941 3916 3900 3887 3875 3865 3508 3962 3906 3892 3880 3869 3860 3935 3913 3897 3884 3873 3863 3951 3921 3903 3889 3878 3867 3456 3931 3911 3895 3883 3872 3862 3557 3926 3907 3893 3881 3871 3556 3935 3913 3898 3885 3874 3865 3947 3920 3903 3890 3878 3868 3554 3928 3909 3894 3882 3872 3862 3937 3915 3899 3887 3875 3865 3951 3922 3905 3891 3879 3869 3551 3930 3910 3896 3883 3873 3863 3941 3917 3901 3888 3877 3866 3957 3924 3906 3892 3881 3870 3548 3933 3912 3897 3885 3874 3864 3945 3919 3902 3889 3878 3868 3546 3927 3908 3894 3882 3871 3862 3936 3914 3899 3886 3875 3865 3950 3921 3904 3891 3879 3869 3543 3930 3910 3895 3883 3972 3863 3940 3917 3901 3888 3876 3866 3957 3924 3906 3892 3880 3870 3540 3933 3912 3897 3885 3874 3864 3945 3919 3903 3889 3878 3868 3538 3927 3908 3894 3882 3871 3862 3937 3915 3899 3886 3875 3865 3951 3922 3905 3891 3879 3869 3535 3931 3911 3896 3884 3873 3863 3942 3918 3901 3888 3877 3867 3533 3925 3907 3893 3881 3871 3532 3935 3914 3898 3886 3875 3865 3948 3921 3904 3890 3879 3868 3530 3929 3910 3895 3883 3872 3863 3940 3917 3901 3888 3876 3866 3972 3924 3906 3892 3881 3870 3527 3934 3913 3898 3885 3874 3864 3946 3920 3903 3890 3878 3868 3525 3928 3909 3895 3883 3872 3862 3939 3916 3900 3887 3876 3866 3955 3924 3906 3892 3880 3870 3522 3933 3912 3897 3885 3874 3864 3945 3972 3903 3889 3878 3868 3520 3928 3909 3894 3882 3872 3862 3964 3916 3900 3887 3876 3866 3955 3924 3906 3892 3880 3870 3517 3933 3912 3897 3885 3874 3864 3946 3920 3903 3972 3878 3868 3515 3928 3909 3895 3882 3872 3862 3939 3916 3900 3887 3876 3866 3956 3924 3906 3892 3880 3870 3512 3934 3913 3898 3885 3874 3864 3947 3920 3903 3890 3878 3868 3510 3929 3910 3895 3883 3872 3863 3940 3917 3901 3888 3876 3866 3960 3925 3907 3893 3881 3870 3458 3936 3914 3899 3886 3875 3865 3559 3930 3911 3897 3974 3874 3864 3940 3917 3902 3889 3878 3868 3966 3924 3907 3893 3881 3871 3556 3932 3913 3898 3886 3875 3865 3943 3919 3903 3890 3879 3869 3974 3926 3908 3894 3883 3872 3553 3935 3914 3899 3887 3876 3866 3946 3921 3904 3891 3880 3870 3551 3929 3910 3896 3884 3873 3864 3938 3916 3901 3888 3877 3867 3951 3923 3906 3892 3881 3871 3548 3931 3912 3897 3885 3874 3865 3942 3918 3902 3889 3878 3868 3966 3926 3908 3894 3882 3872 3545 3934 3914 3899 3886 3876 3866 3946 3921 3904 3891 3880 3869 3543 3929 3910 3896 3884 3873 3864 3938 3916 3901 3888 3877 3867 3952 3923 3906 3893 3881 3871 3540 3932 3912 3898 3885 3875 3865 3942 3919 3903 3890 3878 3868 3960 3926 3908 3894 3883 3872 3537 3936 3915 3900 3887 3876 3866 3948 3922 3905 3892 3880 3870 3535 3930 3911 3896 3884 3874 3864 3940 3917 3902 3889 3878 3868 3974 3925 3907 3894 3882 3871 3532 3934 3914 3899 3886 3875 3866 3946 3921 3904 3891 3879 3869 3530 3929 3910 3896 3884 3873 3864 3939 3917 3901 3888 3877 3867 3953 3924 3907 3893 3881 3871 3527 3933 3913 3898 3886 3875 3865 3944 3920 3904 3890 3879 3869 3525 3928 3910 3895 3883 3873 3524 3938 3916 3901 3888 3877 3867 3952 3924 3906 3893 3881 3871 3522 3966 3913 3898 3886 3875 3865 3944 3920 3903 3890 3879 3869 3520 3928 3909 3895 3883 3873 3519 3938 3916 3901 3888 3877 3867 3952 3924 3906 3893 3881 3871 3517 3933 3913 3898 3886 3875 3865 3945 3920 3904 3890 3879 3869 3515 3928 3910 3896 3884 3873 3514 3939 3917 3901 3888 3877 3867 3954 3924 3907 3893 3882 3871 3512 3934 3913 3966 3886 3875 3866 3946 3921 3904 3891 3880 3869 3510 3929 3974 3896 3884 3873 3864 3942 3918 3902 3889 3878 3868 3394 3935 3915 3900 3888 3877 3867 3945 3921 3905 3892 3881 3871 3962 3968 3976 3968 3885 3874 3558 3937 3916 3901 3889 3878 3868 3949 3923 3906 3893 3882 3872 3556 3931 3912 3898 3886 3875 3866 3940 3918 3903 3890 3879 3869 3953 3925 3908 3894 3883 3873 3553 3933 3914 3899 3887 3876 3867 3943 3920 3904 3891 3880 3870 3959 3927 3910 3896 3884 3874 3550 3936 3916 3901 3888 3877 3868 3947 3922 3906 3893 3881 3871 3548 3930 3912 3897 3885 3875 3547 3939 3918 3902 3890 3879 3869 3952 3925 3908 3894 3883 3872 3545 3933 3914 3899 3887 3876 3867 3943 3920 3904 3891 3880 3870 3976 3928 3910 3896 3884 3874 3542 3937 3916 3901 3889 3878 3868 3948 3923 3906 3893 3882 3871 3540 3931 3912 3898 3886 3875 3866 3941 3919 3903 3890 3879 3869 3955 3926 3909 3895 3883 3873 3537 3968 3915 3900 3888 3877 3867 3946 3921 3905 3892 3881 3871 3968 3929 3911 3897 3885 3875 3534 3939 3917 3902 3976 3968 3869 3952 3925 3908 3894 3883 3872 3532 3933 3914 3899 3887 3876 3867 3944 3921 3905 3892 3880 3870 3962 3928 3910 3896 3885 3874 3529 3938 3917 3902 3889 3878 3868 3976 3924 3907 3894 3882 3872 3527 3932 3913 3899 3887 3876 3866 3943 3920 3904 3891 3880 3870 3960 3928 3910 3896 3884 3874 3524 3937 3968 3901 3889 3878 3868 3950 3924 3907 3894 3882 3872 3522 3932 3913 3899 3887 3876 3866 3943 3920 3904 3891 3880 3870 3968 3928 3910 3896 3884 3874 3519 3938 3917 3968 3889 3878 3868 3951 3924 3907 3894 3882 3872 3517 3933 3914 3899 3887 3876 3866 3944 3921 3905 3892 3880 3870 3963 3929 3911 3897 3885 3874 3514 3968 3917 3902 3889 3878 3869 3952 3925 3908 3894 3883 3872 3512 3934 3914 3900 3887 3877 3867 3947 3922 3906 3893 3881 3871 3395 3940 3919 3904 3891 3880 3870 3951 3925 3909 3895 3884 3874 3561 3933 3914 3900 3888 3877 3868 3942 3920 3905 3892 3881 3871 3955 3927 3910 3970 3885 3875 3558 3935 3916 3901 3889 3878 3869 3945 3922 3906 3893 3882 3872 3970 3929 3912 3898 3886 3876 3555 3938 3918 3903 3890 3879 3870 3949 3924 3908 3895 3883 3873 3553 3932 3913 3899 3887 3877 3552 3941 3920 3904 3892 3881 3871 3970 3978 3910 3896 3885 3874 3550 3935 3915 3901 3889 3878 3868 3945 3922 3906 3893 3882 3872 3960 3929 3911 3898 3886 3876 3547 3938 3970 3903 3890 3879 3870 3949 3924 3908 3895 3883 3873 3545 3932 3914 3899 3887 3877 3544 3970 3920 3904 3892 3881 3871 3955 3927 3910 3896 3885 3875 3542 3935 3916 3901 3889 3878 3869 3946 3923 3907 3894 3882 3872 3963 3930 3912 3898 3978 3876 3539 3939 3919 3903 3891 3880 3870 3952 3926 3909 3895 3884 3874 3537 3934 3915 3900 3888 3878 3868 3944 3921 3906 3893 3882 3872 3959 3929 3911 3898 3886 3875 3534 3938 3918 3903 3890 3879 3870 3950 3925 3908 3895 3883 3873 3532 3933 3914 3900 3888 3877 3868 3943 3921 3905 3892 3881 3871 3978 3928 3911 3897 3885 3875 3529 3937 3917 3902 3890 3879 3869 3949 3924 3908 3895 3883 3873 3527 3932 3914 3900 3888 3877 3526 3942 3920 3905 3892 3881 3871 3957 3928 3911 3897 3885 3875 3524 3937 3917 3902 3890 3879 3869 3949 3924 3908 3895 3883 3873 3522 3932 3914 3900 3888 3877 3970 3943 3921 3905 3892 3881 3871 3958 3928 3911 3897 3970 3875 3519 3970 3917 3902 3890 3879 3869 3950 3925 3908 3895 3883 3873 3517 3933 3914 3900 3888 3877 3868 3944 3921 3970 3893 3882 3872 3960 3929 3978 3898 3886 3876 3514 3939 3918 3903 3891 3880 3870 3954 3927 3910 3896 3885 3874 3396 3945 3923 3907 3894 3883 3873 3958 3930 3912 3899 3887 3877 3563 3938 3918 3903 3891 3880 3871 3948 3924 3908 3895 3884 3874 3963 3980 3914 3900 3888 3878 3560 3940 3920 3905 3892 3881 3872 3951 3926 3910 3897 3885 3875 3558 3934 3915 3901 3889 3879 3557 3943 3921 3906 3972 3883 3873 3955 3928 3911 3898 3886 3876 3555 3936 3917 3903 3891 3880 3870 3946 3924 3908 3895 3884 3874 3961 3931 3913 3899 3888 3877 3552 3939 3919 3904 3892 3881 3871 3950 3926 3910 3896 3885 3875 3550 3933 3915 3901 3889 3879 3549 3943 3921 3906 3893 3882 3873 3955 3928 3911 3898 3886 3876 3547 3937 3917 3903 3891 3880 3870 3947 3924 3908 3895 3884 3874 3980 3931 3914 3900 3888 3878 3544 3940 3920 3905 3892 3980 3872 3952 3927 3910 3897 3886 3875 3542 3935 3916 3902 3890 3879 3870 3944 3922 3907 3894 3883 3873 3958 3930 3980 3899 3887 3877 3539 3938 3919 3904 3892 3881 3871 3972 3925 3909 3896 3885 3875 3972 3933 3915 3901 3889 3879 3536 3943 3980 3906 3894 3883 3873 3956 3929 3912 3898 3887 3876 3534 3937 3918 3903 3891 3880 3871 3948 3925 3909 3896 3884 3874 3966 3933 3972 3901 3889 3878 3531 3942 3921 3906 3893 3882 3872 3955 3928 3911 3898 3886 3876 3529 3937 3918 3903 3891 3880 3870 3948 3924 3908 3895 3884 3874 3966 3932 3914 3900 3889 3878 3526 3942 3921 3906 3893 3882 3872 3955 3928 3911 3898 3886 3876 3524 3937 3918 3903 3891 3880 3871 3948 3925 3909 3896 3884 3874 3967 3933 3915 3901 3889 3878 3521 3942 3921 3906 3893 3882 3873 3956 3929 3912 3898 3887 3876 3519 3938 3918 3903 3891 3880 3871 3949 3925 3909 3896 3885 3875 3517 3972 3915 3901 3889 3879 3516 3944 3922 3907 3894 3883 3873 3961 3931 3913 3899 3888 3877 3397 3950 3927 3911 3898 3886 3876 3966 3934 3916 3902 3890 3880 3565 3942 3922 3907 3894 3884 3874 3953 3928 3912 3899 3887 3877 3563 3936 3982 3903 3891 3881 3562 3945 3924 3908 3896 3885 3875 3957 3930 3913 3900 3888 3878 3560 3938 3919 3905 3893 3882 3872 3948 3925 3910 3897 3886 3876 3982 3933 3915 3901 3890 3879 3557 3941 3921 3906 3894 3883 3873 3952 3928 3911 3898 3887 3877 3971 3935 3917 3903 3891 3880 3554 3944 3923 3908 3895 3884 3874 3956 3930 3913 3900 3888 3878 3552 3938 3919 3905 3892 3882 3872 3948 3925 3910 3897 3886 3876 3963 3933 3915 3901 3890 3879 3549 3941 3921 3906 3894 3883 3873 3982 3928 3912 3898 3887 3877 3547 3936 3917 3903 3891 3881 3546 3945 3924 3908 3896 3885 3875 3958 3931 3914 3900 3889 3878 3544 3939 3920 3905 3893 3882 3873 3950 3926 3910 3982 3886 3876 3967 3934 3916 3902 3890 3880 3541 3943 3982 3907 3895 3884 3874 3956 3930 3913 3899 3888 3878 3539 3938 3919 3904 3892 3882 3872 3948 3925 3910 3897 3886 3876 3964 3933 3915 3902 3890 3880 3536 3942 3922 3907 3894 3883 3874 3954 3929 3912 3899 3888 3877 3534 3937 3918 3904 3892 3881 3872 3947 3925 3909 3896 3885 3875 3962 3933 3915 3901 3890 3879 3531 3942 3921 3906 3894 3883 3874 3974 3974 3912 3899 3887 3877 3529 3937 3918 3904 3892 3881 3872 3947 3925 3909 3896 3885 3875 3962 3933 3915 3901 3890 3879 3526 3942 3921 3907 3894 3883 3874 3954 3929 3912 3899 3888 3877 3524 3937 3918 3904 3892 3881 3872 3948 3925 3982 3897 3886 3876 3964 3933 3915 3902 3890 3880 3521 3982 3922 3907 3982 3884 3874 3955 3929 3913 3899 3888 3878 3519 3938 3919 3905 3892 3882 3872 3949 3926 3910 3897 3886 3876 3971 3935 3917 3903 3891 3982 3398 3956 3931 3914 3901 3890 3879 3568 3938 3920 3906 3894 3883 3567 3947 3926 3910 3898 3887 3877 3960 3933 3916 3902 3891 3880 3565 3984 3921 3907 3895 3884 3874 3950 3928 3912 3899 3888 3878 3965 3935 3917 3903 3892 3881 3562 3943 3923 3908 3896 3885 3875 3954 3930 3913 3900 3889 3879 3972 3937 3919 3905 3893 3882 3559 3946 3925 3910 3897 3886 3876 3958 3932 3915 3902 3890 3880 3557 3940 3921 3906 3894 3884 3874 3949 3927 3911 3899 3887 3976 3964 3934 3917 3903 3891 3881 3554 3943 3923 3908 3896 3885 3875 3954 3929 3913 3900 3889 3879 3976 3937 3919 3905 3893 3882 3551 3946 3925 3910 3897 3886 3876 3959 3932 3915 3902 3890 3880 3549 3940 3921 3907 3895 3884 3874 3984 3928 3912 3899 3888 3878 3966 3935 3976 3904 3892 3882 3546 3944 3924 3909 3896 3885 3876 3956 3931 3914 3901 3889 3879 3544 3939 3920 3906 3894 3883 3874 3948 3926 3911 3898 3887 3877 3976 3934 3917 3903 3891 3881 3541 3976 3923 3908 3896 3885 3875 3954 3930 3913 3900 3889 3879 3539 3937 3919 3905 3893 3883 3538 3947 3926 3910 3898 3887 3877 3961 3933 3916 3902 3891 3881 3536 3942 3922 3907 3895 3884 3875 3953 3929 3913 3900 3889 3879 3972 3937 3919 3905 3893 3882 3533 3947 3925 3910 3897 3886 3877 3960 3933 3916 3902 3891 3880 3531 3941 3922 3907 3895 3884 3875 3953 3929 3913 3900 3889 3878 3972 3937 3919 3905 3893 3882 3528 3947 3925 3910 3897 3886 3877 3960 3933 3916 3902 3891 3880 3526 3942 3922 3976 3895 3885 3875 3953 3929 3913 3900 3889 3879 3524 3937 3919 3905 3893 3883 3523 3948 3926 3984 3898 3887 3877 3962 3934 3916 3903 3891 3881 3521 3943 3923 3908 3896 3885 3875 3955 3930 3914 3901 3889 3879 3470 3940 3921 3906 3894 3884 3874 3963 3935 3918 3904 3893 3883 3570 3943 3924 3909 3897 3886 3877 3953 3930 3914 3901 3890 3880 3967 3937 3919 3906 3894 3883 3567 3945 3925 3910 3898 3887 3877 3956 3932 3915 3902 3891 3881 3978 3939 3921 3907 3895 3884 3564 3948 3927 3912 3899 3888 3878 3960 3934 3917 3904 3892 3882 3562 3942 3923 3908 3896 3886 3876 3951 3929 3913 3900 3889 3879 3965 3936 3919 3905 3893 3883 3559 3944 3925 3910 3898 3887 3877 3955 3931 3915 3902 3891 3881 3973 3939 3921 3907 3895 3884 3556 3948 3927 3912 3899 3888 3878 3960 3934 3917 3904 3892 3882 3554 3942 3923 3908 3896 3886 3876 3978 3929 3913 3901 3986 3880 3966 3936 3919 3905 3894 3883 3551 3945 3925 3910 3898 3887 3877 3956 3932 3978 3902 3891 3881 3549 3940 3921 3907 3895 3885 3548 3949 3928 3912 3900 3889 3879 3962 3935 3918 3904 3893 3882 3546 3943 3924 3909 3897 3886 3877 3954 3978 3978 3902 3890 3880 3971 3938 3920 3906 3986 3884 3543 3947 3927 3911 3899 3888 3878 3960 3934 3917 3904 3892 3882 3541 3942 3923 3909 3896 3886 3876 3952 3930 3914 3901 3890 3880 3978 3937 3920 3906 3894 3884 3538 3978 3926 3911 3978 3888 3878 3959 3933 3917 3903 3892 3882 3536 3941 3923 3908 3896 3886 3876 3952 3929 3914 3901 3890 3880 3968 3937 3919 3906 3894 3978 3533 3946 3926 3911 3898 3888 3878 3959 3933 3916 3903 3892 3882 3531 3941 3923 3908 3896 3886 3876 3952 3929 3914 3901 3890 3880 3968 3937 3920 3906 3894 3884 3528 3947 3926 3911 3899 3888 3878 3959 3933 3917 3903 3892 3882 3526 3942 3923 3909 3896 3886 3876 3953 3930 3914 3901 3890 3880 3986 3938 3920 3906 3894 3884 3523 3948 3927 3912 3899 3888 3878 3961 3934 3917 3904 3892 3882 3472 3944 3925 3910 3898 3887 3877 3971 3939 3922 3908 3896 3886 3572 3948 3980 3913 3900 3889 3880 3980 3934 3918 3904 3893 3883 3570 3941 3923 3909 3897 3887 3569 3950 3929 3914 3901 3890 3880 3962 3936 3919 3906 3894 3884 3567 3944 3925 3910 3898 3888 3878 3953 3931 3915 3988 3891 3881 3967 3938 3921 3907 3895 3885 3564 3946 3980 3912 3899 3889 3879 3957 3933 3917 3904 3893 3883 3974 3940 3922 3908 3897 3886 3561 3949 3980 3913 3901 3890 3880 3961 3935 3919 3905 3894 3884 3559 3943 3924 3910 3898 3887 3878 3953 3931 3915 3902 3891 3881 3967 3938 3921 3907 3895 3885 3556 3946 3927 3912 3900 3889 3879 3957 3933 3917 3904 3893 3883 3976 3941 3923 3909 3897 3886 3553 3950 3929 3914 3901 3890 3880 3980 3936 3919 3906 3894 3884 3551 3944 3925 3911 3980 3888 3878 3954 3932 3916 3903 3892 3882 3970 3939 3980 3908 3896 3886 3548 3948 3928 3913 3900 3889 3880 3960 3935 3918 3905 3894 3883 3546 3943 3924 3910 3898 3887 3878 3953 3931 3915 3902 3891 3881 3967 3938 3921 3907 3895 3885 3543 3947 3927 3912 3900 3889 3879 3958 3934 3980 3904 3893 3883 3541 3942 3923 3909 3897 3887 3540 3952 3930 3915 3902 3891 3881 3966 3937 3920 3907 3895 3885 3538 3946 3926 3912 3899 3889 3879 3980 3933 3917 3904 3893 3883 3536 3988 3923 3909 3897 3887 3535 3951 3930 3914 3902 3891 3881 3965 3937 3920 3907 3895 3885 3533 3946 3926 3912 3899 3889 3879 3958 3934 3917 3904 3893 3883 3531 3942 3923 3909 3897 3887 3530 3952 3930 3915 3902 3891 3881 3966 3938 3920 3907 3895 3885 3528 3947 3927 3912 3900 3889 3879 3959 3934 3918 3905 3893 3883 3526 3988 3924 3910 3898 3887 3878 3953 3931 3915 3902 3891 3881 3969 3939 3921 3907 3896 3885 3474 3949 3929 3913 3901 3890 3880 3575 3944 3990 3911 3899 3889 3574 3953 3990 3916 3904 3893 3883 3965 3938 3921 3908 3896 3886 3572 3946 3927 3913 3900 3890 3880 3956 3933 3917 3905 3894 3884 3969 3940 3923 3909 3897 3887 3569 3948 3929 3914 3902 3891 3881 3959 3935 3919 3906 3895 3885 3976 3942 3924 3910 3899 3888 3566 3951 3930 3915 3903 3892 3882 3963 3937 3921 3907 3896 3886 3564 3945 3926 3912 3900 3889 3880 3982 3933 3917 3904 3893 3883 3968 3940 3922 3909 3897 3887 3561 3948 3928 3914 3901 3891 3881 3958 3935 3919 3906 3894 3884 3976 3942 3924 3910 3899 3888 3558 3951 3931 3915 3903 3892 3882 3963 3937 3921 3907 3896 3886 3556 3945 3927 3912 3900 3890 3880 3955 3933 3917 3905 3893 3883 3970 3940 3923 3909 3898 3887 3553 3949 3929 3914 3902 3891 3881 3960 3936 3982 3906 3895 3885 3551 3944 3925 3911 3899 3889 3550 3953 3932 3916 3904 3893 3883 3990 3939 3922 3908 3897 3990 3548 3947 3928 3913 3901 3890 3881 3958 3935 3919 3906 3894 3884 3976 3942 3924 3910 3899 3888 3545 3952 3931 3916 3903 3892 3882 3965 3938 3921 3908 3896 3886 3543 3946 3927 3913 3901 3890 3880 3957 3934 3918 3905 3894 3884 3974 3942 3924 3910 3898 3888 3540 3951 3930 3915 3903 3892 3882 3964 3938 3921 3908 3896 3886 3538 3946 3927 3913 3900 3890 3880 3957 3934 3918 3905 3894 3884 3974 3942 3924 3910 3898 3888 3535 3951 3930 3915 3903 3892 3882 3964 3938 3921 3908 3896 3886 3533 3946 3927 3913 3901 3890 3880 3957 3934 3918 3905 3894 3884 3975 3942 3924 3910 3898 3888 3530 3952 3931 3916 3903 3892 3882 3965 3938 3921 3908 3896 3886 3528 3947 3928 3913 3901 3890 3881 3982 3935 3919 3906 3982 3884 3979 3943 3925 3911 3899 3888 3476 3955 3933 3917 3904 3893 3883 3577 3949 3929 3915 3903 3892 3882 3958 3936 3920 3907 3896 3886 3972 3943 3925 3911 3900 3889 3574 3951 3931 3916 3904 3893 3883 3961 3937 3921 3908 3897 3887 3979 3945 3927 3913 3901 3890 3571 3953 3933 3917 3905 3894 3884 3965 3939 3923 3909 3898 3888 3569 3947 3928 3914 3902 3891 3882 3956 3992 3919 3906 3895 3885 3970 3984 3924 3911 3899 3889 3566 3950 3930 3915 3903 3992 3883 3960 3937 3921 3908 3896 3886 3977 3944 3926 3912 3900 3890 3563 3953 3932 3917 3905 3894 3884 3965 3939 3922 3909 3898 3888 3561 3947 3928 3914 3902 3891 3882 3957 3935 3919 3906 3895 3885 3970 3942 3924 3911 3899 3889 3558 3950 3930 3916 3903 3893 3883 3961 3937 3921 3908 3897 3887 3992 3945 3927 3913 3901 3890 3555 3954 3933 3918 3905 3894 3884 3967 3940 3923 3910 3898 3888 3553 3948 3929 3915 3903 3892 3882 3959 3936 3920 3907 3896 3886 3992 3943 3926 3912 3900 3890 3550 3952 3932 3917 3904 3894 3884 3964 3939 3922 3909 3898 3887 3548 3947 3928 3914 3902 3891 3882 3957 3935 3919 3906 3895 3885 3972 3942 3925 3911 3900 3889 3545 3951 3931 3916 3904 3893 3883 3963 3938 3922 3909 3897 3887 3543 3946 3928 3914 3902 3891 3542 3956 3934 3919 3906 3895 3885 3971 3942 3925 3911 3899 3889 3540 3951 3931 3916 3904 3893 3883 3963 3938 3922 3984 3897 3887 3538 3946 3928 3914 3902 3891 3537 3956 3934 3919 3906 3895 3885 3971 3942 3925 3911 3899 3889 3535 3951 3931 3916 3904 3893 3883 3963 3938 3922 3909 3897 3887 3533 3947 3928 3914 3902 3891 3882 3957 3935 3919 3906 3895 3885 3973 3943 3925 3911 3900 3889 3530 3952 3932 3917 3904 3893 3884 3965 3939 3922 3909 3898 3888 3528 3948 3929 3914 3902 3892 3882 3960 3937 3921 3908 3896 3886 3403 3953 3933 3918 3906 3895 3885 3964 3940 3923 3910 3899 3889 3986 3947 3929 3915 3903 3892 3576 3956 3935 3920 3907 3896 3886 3968 3942 3925 3911 3900 3890 3574 3949 3930 3916 3904 3893 3884 3959 3937 3921 3908 3897 3887 3972 3944 3926 3913 3901 3891 3571 3952 3932 3986 3905 3895 3885 3962 3939 3923 3910 3898 3888 3978 3946 3928 3914 3902 3892 3568 3955 3934 3919 3907 3896 3886 3966 3941 3924 3911 3900 3889 3566 3949 3930 3916 3904 3893 3884 3958 3936 3921 3908 3897 3887 3994 3943 3926 3913 3901 3891 3563 3952 3932 3917 3905 3894 3885 3962 3939 3923 3910 3898 3888 3979 3946 3928 3914 3986 3892 3560 3955 3934 3919 3907 3896 3886 3967 3941 3925 3911 3900 3890 3558 3949 3931 3916 3904 3894 3884 3959 3937 3921 3909 3897 3986 3974 3944 3927 3913 3902 3891 3555 3953 3933 3918 3906 3895 3885 3994 3940 3924 3910 3899 3889 3553 3948 3929 3915 3903 3893 3552 3986 3936 3920 3908 3897 3887 3971 3943 3926 3986 3901 3891 3550 3952 3932 3918 3905 3895 3885 3963 3939 3923 3910 3899 3889 3982 3947 3929 3915 3903 3892 3547 3956 3935 3920 3907 3896 3887 3970 3986 3926 3912 3901 3890 3545 3951 3932 3917 3905 3894 3885 3962 3939 3923 3910 3898 3888 3980 3946 3928 3914 3903 3892 3542 3956 3935 3920 3907 3896 3886 3969 3942 3925 3912 3900 3890 3540 3951 3932 3917 3905 3894 3885 3962 3939 3923 3910 3898 3888 3994 3947 3929 3915 3903 3892 3537 3956 3935 3920 3907 3896 3886 3970 3943 3926 3912 3901 3890 3535 3951 3932 3917 3905 3894 3885 3963 3939 3923 3910 3899 3889 3983 3947 3929 3915 3903 3893 3532 3957 3936 3920 3908 3897 3887 3972 3943 3926 3913 3901 3891 3530 3953 3933 3918 3906 3895 3885 3966 3941 3924 3911 3900 3889 3404 3959 3937 3922 3909 3898 3889 3988 3944 3927 3914 3902 3892 3579 3952 3933 3918 3906 3896 3886 3961 3939 3923 3996 3899 3889 3975 3946 3929 3915 3903 3893 3576 3954 3934 3920 3907 3897 3887 3964 3941 3925 3912 3900 3890 3981 3948 3930 3916 3904 3894 3573 3957 3936 3921 3909 3898 3888 3968 3943 3926 3913 3902 3891 3571 3951 3932 3918 3906 3895 3886 3960 3938 3923 3910 3899 3889 3973 3945 3928 3996 3903 3893 3568 3953 3934 3919 3907 3896 3887 3964 3940 3924 3911 3900 3890 3980 3948 3930 3916 3904 3894 3565 3957 3936 3921 3909 3898 3888 3968 3943 3926 3913 3902 3988 3563 3951 3932 3918 3906 3895 3886 3988 3939 3923 3910 3899 3889 3974 3946 3928 3915 3903 3893 3560 3954 3988 3920 3907 3897 3887 3965 3941 3925 3912 3901 3891 3984 3949 3931 3917 3905 3894 3557 3958 3937 3922 3909 3898 3888 3971 3944 3927 3914 3902 3892 3555 3953 3933 3919 3907 3896 3886 3963 3940 3924 3911 3900 3890 3996 3948 3930 3916 3904 3894 3552 3957 3936 3921 3909 3898 3888 3969 3943 3927 3913 3902 3892 3550 3952 3933 3918 3906 3896 3886 3962 3939 3924 3911 3900 3890 3977 3947 3929 3916 3904 3893 3547 3956 3936 3921 3908 3897 3888 3968 3943 3926 3913 3902 3891 3545 3951 3932 3918 3906 3895 3886 3961 3939 3923 3911 3899 3996 3977 3947 3929 3915 3904 3893 3542 3956 3936 3921 3908 3897 3888 3968 3943 3926 3913 3902 3891 3540 3951 3932 3918 3906 3895 3886 3962 3939 3988 3911 3900 3890 3978 3947 3929 3916 3904 3988 3537 3956 3936 3921 3908 3898 3888 3969 3943 3927 3913 3902 3892 3535 3952 3933 3918 3906 3896 3886 3963 3940 3924 3911 3900 3890 3980 3948 3930 3916 3904 3894 3532 3958 3937 3922 3909 3898 3888 3973 3945 3928 3915 3903 3893 3405 3964 3941 3926 3913 3902 3892 3978 3948 3931 3917 3906 3895 3581 3957 3937 3922 3910 3899 3889 3967 3943 3927 3914 3903 3893 3984 3950 3932 3918 3907 3896 3578 3959 3938 3923 3911 3900 3890 3971 3945 3928 3915 3904 3894 3576 3953 3934 3920 3908 3897 3888 3962 3940 3925 3912 3901 3891 3975 3947 3930 3990 3905 3895 3573 3955 3936 3921 3909 3898 3889 3966 3942 3926 3913 3902 3892 3998 3950 3932 3918 3906 3896 3570 3958 3938 3923 3910 3900 3890 3970 3945 3928 3915 3904 3893 3568 3952 3934 3920 3908 3897 3888 3962 3940 3925 3912 3901 3891 3975 3947 3930 3917 3905 3895 3565 3956 3936 3921 3909 3898 3889 3966 3943 3927 3914 3902 3892 3983 3950 3932 3918 3907 3896 3562 3959 3939 3923 3911 3900 3890 3998 3990 3929 3915 3904 3894 3560 3954 3935 3920 3908 3898 3888 3964 3941 3926 3913 3902 3892 3979 3949 3931 3917 3906 3895 3557 3990 3937 3922 3910 3899 3889 3969 3944 3928 3915 3903 3893 3555 3952 3934 3920 3908 3897 3554 3962 3940 3925 3912 3901 3891 3976 3948 3930 3917 3905 3895 3552 3956 3937 3922 3910 3899 3889 3968 3990 3927 3914 3903 3893 3550 3998 3933 3919 3907 3897 3549 3961 3940 3924 3912 3901 3891 3975 3947 3930 3916 3905 3895 3547 3956 3936 3922 3909 3899 3889 3967 3943 3927 3914 3903 3893 3998 3951 3933 3919 3907 3897 3544 3961 3940 3924 3912 3901 3891 3975 3947 3930 3916 3905 3895 3542 3956 3936 3922 3909 3899 3889 3998 3943 3927 3914 3903 3893 3540 3952 3933 3919 3907 3897 3539 3962 3940 3925 3912 3901 3891 3976 3948 3930 3917 3905 3895 3537 3957 3937 3922 3910 3899 3889 3969 3944 3928 3915 3903 3893 3535 3998 3934 3920 3908 3897 3888 3963 3941 3925 3912 3901 3891 3982 3950 3932 3918 3906 3896 3406 3970 3946 3929 3916 3905 3895 3988 3953 3935 3921 3909 3898 3583 3962 3941 3926 3913 3902 3892 3973 3947 3931 3917 3906 3896 3581 3955 3936 3922 3910 3899 3890 3964 4000 3927 3914 3903 3893 3978 3949 3932 3919 3907 3897 3578 3958 3938 3923 3911 3900 3891 3968 3944 3928 3915 3904 3894 3984 3952 3934 3920 3908 3898 3575 3960 3940 3925 3912 3902 3892 3972 3947 3930 3917 3905 3895 3573 3954 3936 3922 3910 3899 3572 3964 3942 3927 3914 3903 3893 3977 3949 3932 3918 3907 3897 3570 3957 3938 3923 3911 3900 3891 3968 3944 3928 3915 3904 3894 3984 3952 3934 3920 3908 3898 3567 3961 3940 3925 3913 3902 3892 3972 3947 3930 3917 3906 3896 3565 3955 3936 3922 3910 3899 3890 3965 3943 3927 3914 3903 3893 3979 3950 3933 3919 3907 3897 3562 3992 3939 3924 3912 3901 3891

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-COL-0100"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/home/hulinhub/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-0100.tgz
mv AirplaneLD-COL-0100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is AirplaneLD-COL-0100, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r209su-blw3-146445824200035"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;