12000 3000
859 746
4025 4045 3834 3985 4008 4064 4071 4125 3823 3895 3989 4067 4055 3997 4088 4096 4028 3940 4041 4061 3937 4136 3939 4092 4004 3857 3979 4024 3949 4158 4083 4006 3947 3888 3961 3786 4186 4031 4096 3886 4021 3977 4303 3832 4012 4150 3962 4008 4145 3969 4123 3874 3877 4093 3973 3969 4083 3855 4045 3950 3826 4118 4020 4095 4046 4200 3986 3792 4024 3919 4026 4004 4158 3927 3979 4042 3881 3870 4096 3930 4142 4131 3973 4112 4042 3985 3878 4045 4046 4123 3994 4098 4090 3954 4034 3904 3891 4049 3984 4062 4176 3989 3909 4005 4275 3766 4017 3969 4179 3870 3976 4001 4097 4034 4003 4046 4059 3931 4014 3891 4051 3812 3954 4108 3934 4153 4002 4103 4163 4113 3878 3926 4009 3967 4043 3790 4124 4070 3949 3965 3992 3962 3870 4096 3911 4057 3864 3919 3841 3943 3914 4082 4036 4038 3917 4036 4001 3965 4146 3948 3984 4060 4169 4033 3902 4057 4043 3875 4092 3965 4053 4217 4114 3824 4067 4168 3991 4195 4017 3997 4011 3989 3710 4017 3917 4134 3909 3930 4003 4059 3923 3961 4007 4122 3921 3835 4064 4040 3873 4089 3935 3915 3953 4017 3972 4012 3932 3975 4222 4087 3923 3972 3962 4006 3866 3932 4184 4055 4035 4110 4046 4011 3986 3947 3902 3978 4014 3872 3802 3995 4168 4149 3970 4071 4069 4069 4162 3985 3957 4000 3921 3919 3943 3989 3860 4123 3995 3989 3988 3864 4027 3967 4040 3906 3967 4224 4040 3957 3957 3996 3928 3993 4078 3988 4038 3938 4076 4056 4110 3982 3983 4030 4036 4092 3926 3954 3980 4060 3991 3940 3917 3906 4021 4132 3972 4072 3996 4082 4002 4045 4022 4119 3940 4060 3901 4090 3999 3948 4025 3992 4091 3884 3985 3920 4124 4003 3927 4011 4149 3796 4047 3967 3945 3986 3722 4025 4150 4118 3974 3983 4106 4132 4009 4005 4062 4096 3919 3918 4064 3816 4039 4024 4233 3962 4130 4033 4111 3876 4064 4089 4134 3861 4159 3944 4049 3934 4059 3958 4222 4013 3990 3990 3983 3867 4088 3935 4115 4043 3905 3817 4216 3996 4075 3813 4126 3987 4055 4166 4067 3869 4144 3957 3962 3979 3979 3766 3849 4140 3931 3967 3986 3949 3993 4168 4076 4183 3985 4026 4049 3949 3911 3968 3932 4163 4057 3980 3892 4047 3964 4038 4128 4117 4002 4019 4199 4042 4126 3896 3921 3928 4019 4040 4180 3934 3970 3930 4035 3916 3915 4031 4011 4035 4014 4039 3949 3976 3820 4029 4020 3998 4105 4057 3908 4085 4105 4053 3936 4030 4162 3991 4057 4015 3963 4112 4158 3896 4039 4045 4067 3953 4244 4139 4155 4076 4176 4218 4014 3927 3981 4049 3831 3900 3876 4062 4161 3953 3995 3862 4130 3933 4054 3949 3947 4011 4041 4148 4092 4052 3901 3968 4079 3992 4063 4070 3866 3919 3968 4066 4059 3929 3924 4077 3945 3944 3987 3846 3899 3929 3967 4080 4034 3984 3779 4175 3850 3945 4089 3783 4153 4090 4088 4057 3994 3893 4129 4030 3990 3968 4108 4033 3963 4006 3985 3993 3911 3913 3885 4024 4057 4186 4031 4012 4150 4054 4025 4022 3985 3946 3986 4035 3915 4056 3957 3831 3850 4147 4052 4177 4004 4233 4083 4071 4013 4028 3888 4135 4074 3989 3939 3980 3920 3931 4091 4080 4007 4003 3980 3963 3983 3896 3969 4104 4022 4024 3957 3981 4052 3996 4004 3940 3819 3924 4251 4081 3974 4008 3915 3855 3762 3819 3991 3888 4011 3946 3997 4145 4105 4020 4014 3926 3999 4121 4037 4101 3812 4187 3913 3923 3967 3881 4023 4027 3856 4332 4160 3996 3945 4005 4068 4194 3913 4085 4107 3878 4038 4026 4002 4059 3965 4239 3954 3997 3843 3909 4092 3845 4173 4059 3968 3931 4100 4019 3839 3931 3925 3842 3898 3965 3945 3999 4010 4100 4033 3983 3998 4038 3910 3976 4020 4062 4067 3847 3965 4047 4099 3954 4177 3999 4037 4023 4210 4071 3815 3910 4140 3961 3976 4051 3899 3864 3980 3985 3956 4263 3817 3963 3990 4031 3917 4084 3980 3998 4094 3848 3996 4175 4074 4107 4185 3926 4061 4141 3982 4106 3955 3862 4002 4044 4045 4055 4063 4015 3960 3992 4098 3981 3963 3976 4000 3910 4133 4081 3890 4084 3947 3900 4029 3957 3864 4130 4014 4086 4023 3897 3822 4009 3879 3968 4020 3855 4114 4118 3964 4010 4178 3951 4116 4027 3944 3898 4072 3881 3983 4193 3984 3861 4113 4072 4114 4017 3849 4011 3966 4026 3848 3910 3951 3932 3921 3974 4066 3911 4049 3970 4043 4062 3884 4001 3851 3814 3952 3915 3982 3943 4187 3987 4019 4026 3974 4081 3972 4045 3964 4029 3856 3954 3951 3869 4052 3975 4126 4019 4003 3874 3941 4001 4057 4045 3909 4077 3914 3954 4013 4053 4008 4026 4027 3973 4035 3946 3932 3973 3873 3989 3880 4168 3902 3985 4043 3937 3980 4050 4103 4100 3935 4004 4035 3978 4047 3984 4085 4005 3930 3978 4104 4123 3797 3995 3941 3960 3936 4004 3931 4197 4124 4098 3965 4019 4009 4115 3970 4071 4009 3941 4034 4105 4017 3977 3874 3932 3921 3863 3991 3994 3993 3858 4084 3999 3757 3970 4141 4010 3976 3936 4051 4165 3849 4009 4010 3982 4038 4105 4089 4126 3960 3972 3992 4158 3781 3955 4157 4083 3930 3992 4071 3963 4038 3942 3894 3894 3834 4018 3870 3917 3842 4103 4085 4042 4036 3988 3782 3844 4085 4095 3893 3915 3971 4093 4073 3934 4042 4042 3970 3832 3910 3952 3927 3939 3992 4128 4087 4082 4010 3880 3862 3866 3931 4048 4045 3900 4037 4052 3911 4079 4018 3905 3985 4049 4082 3921 3996 4103 3902 4083 3888 3844 4116 4101 4151 3956 3936 3888 4010 3934 3741 3981 3993 3951 3941 3951 4021 3846 3931 3891 4013 4104 3877 4062 4101 4014 3957 3962 4071 4108 3878 4026 4157 3883 3894 4018 3856 3860 4063 4140 3906 4112 4135 4152 3879 4193 3961 4025 3863 4087 3918 4006 3857 3839 3869 3865 3923 4138 4109 3883 3904 3773 3928 4081 3972 4057 4128 3925 4060 4120 3817 4006 4095 3954 3858 3881 3921 4124 4137 4111 4206 4054 3869 4134 3937 3961 3940 3846 3954 3980 4092 3907 3932 3991 3910 4002 3955 3946 4017 4044 4121 4015 4029 4086 4104 3925 4090 3873 3895 3939 4341 3948 4020 4118 3934 4026 4026 4038 4041 4130 3900 4065 4000 4011 4066 4117 4078 4146 4084 3809 3967 4160 3960 4077 3964 4076 4206 4156 4092 4025 3964 4157 3846 3738 3950 3886 3939 4119 4020 4023 4000 4100 4003 4061 3910 3978 4037 4053 4126 3934 3950 3878 3811 4135 3991 3878 3945 4061 3859 3842 3928 4070 3991 4038 4206 3858 3803 4021 3936 3960 4064 4031 3799 4024 4090 3966 3991 3982 3898 3996 3949 4042 3885 4155 3999 4134 3967 3998 3860 4048 3952 3929 3963 3783 3995 3889 4039 3937 4027 3828 4016 3949 4117 3937 3969 4160 4116 3735 3978 3873 4037 3982 4148 4091 3968 4068 3973 4077 3901 3909 4076 4130 3879 4129 3880 3992 3954 4000 3866 3933 3796 3777 4093 4058 3880 3981 3938 3945 3894 3963 4204 4104 3985 3904 3863 3811 4138 4080 4026 4051 4008 4100 4006 4130 3970 3955 4028 3924 4140 3896 3859 4123 4062 4110 3947 4035 3928 4013 3770 3725 4113 3892 3938 3885 3943 3974 4036 4124 3891 4197 4136 4051 4042 3914 4002 3896 4066 3929 3936 4146 3944 4017 4026 3866 3953 3997 3964 4002 3977 4277 3833 3927 3985 3897 4093 4024 3927 4131 3795 3965 4085 4182 4088 4094 3919 3844 3771 4093 3955 4130 4135 3934 3739 4092 4104 4173 4080 4133 4011 3928 3989 4004 4040 3931 3975 4087 3890 4130 4105 3880 3875 3886 3872 4041 3832 3851 4057 4199 3925 3923 4133 3897 4151 4097 4002 3993 4001 3933 3968 4082 3984 4128 3961 4077 3914 3977 4077 4078 3827 3963 4025 3831 3854 4216 4031 3969 3933 4082 4027 4038 3921 4042 3860 4072 4142 3912 4056 4018 4071 3861 4185 3894 4070 3881 4149 3870 4139 3985 3947 3884 3956 4165 4031 4196 3883 3865 3967 4055 3912 4037 4082 4080 4174 4047 3979 3893 3808 4068 3952 3964 3924 3981 3852 3996 4050 4054 3896 4004 3899 3947 4141 3944 4044 4092 4181 3910 4094 3900 4096 3897 4060 4064 4267 4077 4055 4071 4149 3945 4232 4105 4005 3857 3956 3890 4074 4102 3933 4009 3998 3873 3930 3961 3981 4113 4102 3986 4053 3914 3834 3839 3961 4078 4199 3802 3932 4132 3996 4065 3953 3954 3903 3826 4037 3866 3933 3812 4013 3950 4020 3900 3906 3958 4100 4234 3917 4092 4014 4179 4101 4004 4122 3901 4248 4003 3982 3854 4000 4050 3943 3967 4005 4089 3973 3891 3828 3970 3835 4168 3992 4100 3851 3902 3969 3854 4011 3808 3960 3916 4003 4023 3933 4033 4132 3989 4060 4026 4113 3961 4051 4070 3964 4075 4033 4138 3859 4064 3897 4086 3950 3999 3866 3938 3907 3983 4104 4027 3930 4121 4044 4227 4162 4145 3902 4149 4013 3827 4160 3900 4050 3911 3955 3958 4034 3881 3901 4041 4072 4035 3969 3931 3988 3968 4059 3967 4033 4108 4022 4094 4044 4024 4096 3998 3869 3938 4171 4017 3945 4084 3900 3967 4083 3964 4190 4195 4035 3950 4000 4088 4147 3988 3750 4035 4166 4020 4015 3982 3901 3896 4048 3905 3935 4065 4009 4033 3796 3972 3885 3983 3987 3861 3956 3935 4067 4207 3922 3747 3963 4054 3891 3963 3976 4005 4003 3957 4085 3911 3874 3941 4041 4137 4136 3956 3973 4188 3928 3721 4139 3943 3939 3958 3981 3814 4029 3865 3964 4083 4071 3980 4079 3989 4154 4102 3862 3800 4207 3907 4115 3962 4135 4048 4089 4082 3937 3955 3910 4149 3948 3893 3934 3856 3952 4006 3930 3988 4043 4076 3909 3990 3840 4110 3993 3808 4073 4004 3691 4193 4134 4067 3946 3945 3883 3911 3984 3910 3873 4007 4049 4122 3977 4055 3874 4029 3956 3983 4085 4150 4087 4078 4045 4118 3933 3898 3732 3946 3997 3955 3929 3902 4049 4053 4111 4027 4054 3926 4114 3887 4002 4070 3993 4008 4025 4136 4047 3933 4030 4018 3815 3957 3840 3772 3882 3964 3982 3977 3918 4039 3845 4033 3834 3915 3853 4034 4022 3890 4064 3863 3920 3965 4105 3947 3890 4161 4093 3937 3952 4072 4040 4058 3947 4105 3968 4006 3890 4114 4005 3871 3916 4000 4045 4045 3758 4047 4026 4127 3903 4032 4017 3933 3996 3896 4082 3936 4086 3903 4037 4015 3987 4082 4068 4185 4092 4087 3922 3931 4155 4084 4017 4033 3933 4153 3877 3870 4114 3980 3867 4049 4010 4121 4054 3795 4011 3894 3939 3990 3869 4080 3916 3993 4073 3867 3636 4036 3905 3908 3954 3936 4058 3856 3935 3958 3967 4037 4071 3840 3973 3887 3792 3975 3918 3939 3993 3958 3845 3972 3822 4039 3877 4047 3936 3940 4024 4152 4023 4120 4001 3747 4168 3830 3966 4150 3848 3912 3985 4006 3961 4046 4158 3908 3833 4124 4022 4084 4059 3942 3918 3867 4009 4119 3881 3931 4060 3843 4014 3933 3848 3963 4013 3837 4238 4139 3801 4050 3923 4000 3984 3988 3993 3976 4269 3874 4078 4232 3865 4076 3925 4045 3899 4004 4011 3992 4049 4054 4115 3779 3896 4045 4095 4102 4061 4001 4061 4013 3838 4165 4018 3899 4069 3906 4010 4043 4035 4040 3814 4034 4030 3842 4010 4105 4129 3925 4029 3872 3969 3907 4064 4083 4017 4078 4188 3943 4066 4017 3888 4004 4031 4026 4049 3968 3954 3936 3847 4240 3982 4124 3996 4085 4058 4149 3935 4020 3994 4157 4048 4073 3896 4039 4092 3975 4024 3942 4010 4134 4107 4142 3755 3996 3904 3911 3963 3838 4122 3971 3885 4106 4168 4090 3941 4000 3829 4106 4106 4063 4023 3964 4052 3871 4077 3913 4048 4108 3922 3913 3985 3900 4171 4035 3932 4186 4112 3908 3922 3965 3911 4029 3869 3934 3829 3991 3889 4072 3952 3919 3861 3889 3944 3939 4162 4017 3924 3865 4049 4011 3936 3991 3971 3989 3948 4139 4027 3817 3994 3936 4126 4058 3962 4014 3955 4120 3845 3836 3978 3883 4082 3916 3980 3971 4045 4044 3990 4174 4096 4102 3798 4080 3921 4118 4037 3901 4002 3890 3830 4049 3980 4145 3999 4092 4026 4107 4134 4154 3879 4060 3974 3820 4152 3883 4064 4026 3897 4106 4083 3973 4104 4099 3946 3977 4198 4154 3865 4051 3991 4007 3766 3981 4065 4071 3859 4164 3984 3959 4233 3828 4043 4019 4009 4036 3999 4078 3820 4031 4086 3984 3889 3980 4255 4066 4022 3994 4047 3986 3955 4042 4078 3974 3954 4130 4140 4132 3961 3977 3821 4061 4075 3983 3943 4037 4117 4007 3873 4028 4058 4203 3995 4036 3946 3928 4046 4170 4109 3839 4018 4095 3900 3926 3986 4299 3896 3979 4109 3839 3978 4065 3963 4075 3946 3982 3681 4088 3914 4090 3977 4089 4096 4052 3885 3899 4077 4164 3936 4016 3812 4000 4095 4042 3936 4001 4022 3837 4123 4064 4057 3775 3833 4015 4115 4013 4103 4098 4093 4145 3874 4002 3767 4045 4061 3943 3895 4003 4074 3951 4024 4131 4099 4016 4088 4121 3980 3921 4001 4084 3944 4203 4083 3847 3838 3938 3935 4124 3935 4201 3947 4012 3849 4079 4062 3953 3875 4002 3839 4066 4030 3978 4003 4208 4056 3979 3968 4166 3733 3883 4084 3869 3913 4144 4034 3920 4156 4089 3976 3957 3926 3963 3804 3869 3824 3937 3939 3876 3855 3884 3879 4142 4058 4090 3964 3893 4040 3932 4102 3953 4121 4077 4153 3875 3815 4088 4016 4031 3960 4026 4145 3800 4025 3866 4317 3961 4027 3947 4022 3971 3946 3937 3751 3996 4141 3999 3983 4056 4089 3928 3979 4068 4077 3959 4145 3918 3931 4081 3904 3964 4101 3852 3932 3831 4085 4077 4225 3973 3903 3952 4054 3876 3965 3877 3948 3967 3921 3929 4064 4024 4035 4008 4134 4026 3984 3945 3959 4010 3908 3929 4127 3909 3781 3949 4020 4148 4055 3895 4060 3972 3725 3995 3964 3931 4057 4068 4017 4092 4024 3905 4029 4086 3981 3999 4156 4057 3933 4028 4032 4054 3952 4064 3974 4100 4058 3974 3879 4003 3980 3972 4042 4118 3993 4143 3975 4075 3961 3940 3973 4049 4035 3809 3908 3922 4166 4050 4046 4081 3898 3937 4018 4057 4009 3887 3895 3931 3926 3616 4072 3950 4043 3921 4233 3823 4016 4105 3875 3951 4017 4024 4137 3902 4013 3925 4185 3843 4163 4046 4013 3823 3866 3966 3896 4077 3902 3950 4088 4122 3955 4022 3774 3974 3927 3761 4143 3913 3901 4165 3931 4053 4056 4032 3943 3948 3963 4005 3993 4024 4232 3969 3946 3978 3907 3862 4010 3930 3927 3968 3967 3831 4039 4149 4012 3832 4009 3950 4154 4079 4091 3956 4032 4047 4132 4059 3998 3894 4016 4043 3897 4052 3998 4011 4033 4016 4026 3783 4008 4028 4005 3892 4067 3919 3814 4044 3997 4053 4132 4051 3988 4039 4004 4077 4082 3732 3977 4063 4039 3850 4064 4108 3859 3918 4053 4155 3916 4067 3941 4048 4035 3922 4000 3905 4016 4035 3970 3970 4120 4117 4041 4026 3860 4148 3847 3902 3937 3975 3917 4064 4019 3951 4059 3976 4012 4049 3971 4027 4225 4056 3940 4215 4193 3933 3912 4071 3890 4107 4063 4190 3974 3984 3931 4081 4063 3943 3895 3870 3904 3938 4148 4040 4034 4037 3912 3908 3916 3993 3972 3910 4106 3816 3985 3910 4013 4078 3756 3991 3954 3907 3779 3889 4062 3892 4105 4046 3962 4086 3913 4003 3801 3971 3991 4050 3949 3998 3876 4094 3955 4158 3884 4064 3854 3999 4002 4078 3916 4104 4042 4091 4008 3994 3817 4178 4023 3919 4226 3982 3976 3965 4219 4009 4095 3866 3993 3834 4147 3915 4116 4018 4053 4112 4011 4039 4103 4011 4123 4016 3932 3965 4027 4001 3916 4195 3919 4112 4066 3945 3845 3921 3962 4053 3921 4075 4000 3948 3942 4005 4023 4118 3893 3894 4026 3866 4271 4095 4091 3990 4164 4040 4043 3924 4169 4004 3837 3889 4087 3941 3929 3854 3777 4048 4023 4059 3958 3896 3969 4007 4117 4081 3982 4054 3947 4093 3819 3782 4029 3859 3998 3885 4078 4034 3900 3803 3917 3909 4147 3804 3950 4075 4030 4019 3894 4039 3852 4029 4257 3918 3943 4108 3959 3987 3960 3843 3968 4004 3899 3919 3983 4081 4126 4040 3923 3947 4101 4008 4081 4032 3889 4073 3924 4049 4183 4068 4028 3979 4069 4038 4044 3874 4055 3958 3910 4021 4096 3885 4071 4048 3960 4170 4074 3892 4031 4137 4011 4110 3906 3913 3956 4133 3902 4039 4024 4138 3972 3887 4002 4110 3974 4101 4112 3934 4075 4068 4059 4029 3999 4115 4020 4007 4012 3918 4054 4116 3877 3896 3994 3950 3923 4060 3977 3894 3976 4088 4152 4005 3972 3983 4056 4053 3910 4087 3991 4070 3972 3884 4055 3983 4022 3950 3975 4190 3936 4029 4000 4076 4086 4168 3974 4123 4025 3925 4097 3980 4108 4023 4043 3739 4120 3876 3894 3970 3932 3999 3904 3990 3988 4104 3697 3889 4125 3999 3907 3993 4043 3922 4072 3946 4090 4094 4078 4117 3913 4025 4041 4129 4051 4110 3967 3816 4061 3976 3893 3948 3949 3924 3978 3860 3951 4068 4024 3856 3995 3950 3918 3934 3948 4059 3957 4039 4000 3910 3928 3972 3965 3883 4043 4018 4026 3924 4000 4198 4039 3861 4329 3985 4139 4033 3850 3944 3861 3918 3968 3990 3995 4038 4002 4003 3942 4140 4026 4096 3946 3964 4126 3981 4128 4202 3961 3858 4026 4045 3959 3968 4069 4114 4110 4026 4023 3849 4124 3822 4026 4182 4132 4063 4045 3972