using System;
using System.Linq;
using System.Collections.Generic;
public class Program
{
public static void Main()
var newArr = ids.Distinct().ToList();
Console.WriteLine("Has duplicates: " + (newArr.Count != ids.Count));
}
static List<int> ids = new List<int>
7031,
3629,
3590,
2435,
2966,
2434,
3420,
3593,
7029,
2439,
2433,
3669,
2422,
7265,
3620,
2491,
2886,
3401,
3575,
3673,
3301,
3604,
3582,
3405,
3375,
3638,
3491,
3617,
3605,
3185,
3938,
3555,
3993,
3627,
3530,
7023,
3967,
2467,
3577,
3630,
3585,
3538,
3551,
5461,
3982,
3323,
2457,
7238,
3697,
2468,
3413,
3692,
3548,
3596,
3119,
3643,
3493,
3581,
2906,
3534,
3081,
3675,
3453,
7297,
3347,
3356,
3572,
3357,
3570,
3468,
3584,
7022,
2888,
3445,
3419,
3661,
3490,
3414,
3404,
2464,
3373,
3689,
2895,
3660,
3523,
3858,
3354,
3463,
3127,
3466,
3467,
2992,
3578,
2907,
3400,
3284,
3336,
7020,
2925,
7019,
3328,
3412,
3524,
3616,
3986,
3513,
3984,
3522,
3576,
3461,
5460,
3436,
3645,
7260,
3968,
3640,
3194,
3626,
3498,
3473,
3510,
3671,
3684,
6134,
3091,
3371,
3678,
3560,
6137,
7281,
3505,
3482,
3332,
3542,
3483,
3574,
2934,
3294,
3089,
3539,
2956,
3991,
3426,
2424,
3312,
6624,
3476,
3447,
2948,
7225,
3432,
3107,
3481,
3189,
3417,
2900,
7013,
3370,
3391,
3655,
3195,
3544,
3536,
3607,
3348,
3588,
3114,
3983,
3077,
3681,
3110,
3290,
3992,
3126,
3677,
3579,
2887,
3408,
3612,
3624,
3335,
3994,
6129,
6132,
2901,
6128,
6126,
6119,
6117,
7248,
6096,
7257,
6219,
3196,
3613,
3687,
3685,
3454,
2411,
3184,
2427,
3451,
2995,
2460,
7289,
2892,
3455,
3415,
2893,
3492,
3292,
3694,
3649,
3113,
3360,
3529,
3885,
6651,
3658,
3334,
3403,
3444,
2458,
2609,
2997,
2446,
3437,
3115,
7018,
3690,
2438,
3672,
7016,
3621,
3682,
3516,
3656,
3507,
7012,
7286,
3443,
3647,
3652,
3665,
3562,
3662,
2436,
7242,
3488,
3428,
2988,
3657,
3680,
3547,
3528,
2487,
2480,
3369,
2885,
3651,
3117,
3622,
7274,
3884,
3287,
2908,
3484,
3486,
3351,
3300,
2985,
3442,
3587,
2466,
2994,
3663,
3631,
3601,
3686,
3790,
3057,
2694,
3055,
3054,
3061,
3056,
3050,
3362,
3058,
6533,
8612,
8614,
6530,
8610,
6196,
6627,
8615,
8683,
6613,
6643,
7211,
8584,
8574,
8573,
8581,
8580,
6536,
8579,
6539,
8555,
6641,
8565,
8575,
8577,
8576,
8586,
8578,
8572,
8564,
8567,
8566,
8556,
8562,
8569,
8561,
6484,
8557,
8563,
8675,
6323,
8373,
6310,
6003,
6008,
6544,
7226,
6599,
7215,
6545,
6461,
6608,
6471,
6203,
7200,
6204,
6242,
6007,
8656,
6098,
6694,
6534,
7208,
6469,
8687,
8688,
8657,
6103,
6101,
6102,
6653,
6099,
6104,
8380,
6618,
6464,
6483,
6535,
6478,
7214,
6460,
7201,
6616,
6116,
6209,
6648,
6113,
7206,
8642,
8644,
8643,
6597,
8638,
8641,
8640,
8674,
6002,
8693,
6244,
8603,
8604,
6652,
6467,
8607,
6612,
6646,
6257,
8609,
8605,
8606,
8608,
8626,
8629,
7204,
6647,
6173,
8627,
8623,
8621,
6174,
8363,
8618,
8628,
8624,
8364,
6639,
8622,
8362,
6296,
6489,
7227,
6623,
6537,
7230,
6674,
6676,
6677,
6726,
6723,
8658,
7284,
6649,
8650,
6598,
6629,
8653,
6324,
8339,
2488,
6475,
6664,
7209,
8670,
8375,
6472,
8660,
6611,
6222,
8365,
6621,
6146,
8648,
6004,
8645,
7217,
6531,
8647,
6231,
6294,
8651,
6006,
8343,
6666,
6293,
6014,
8669,
8668,
6080,
6542,
8560,
6711,
7212,
6017,
6663,
8336,
7222,
6622,
6609,
6125,
6543,
6540,
7207,
7213,
6691,
6684,
7205,
6638,
6091,
6127,
6123,
6510,
8665,
6136,
7203,
8370,
8340,
8662,
8367,
8368,
8369,
8341,
6486,
6681,
6679,
7210,
6541,
6476,
6687,
7202,
6680,
6682,
2693,
6262,
6688,
6263,
6689,
6264,
6630,
6261,
6686,
6009,
8600,
6596,
6628,
8598,
8591,
8596,
8589,
8588,
8594,
8595,
8599,
6288,
6548,
7233,
3327,
3007,
7250,
7252,
2462,
6159,
2931,
3003,
3429,
3024,
3016,
3022,
2973,
3030,
3026,
2489,
6168,
2883,
3033,
6156,
7296,
3051,
3021,
3772,
7262,
2981,
6154,
2684,
2938,
3018,
3005,
3027,
3019,
3038,
6177,
3864,
7277,
3395,
3766,
3313,
2483,
3855,
3863,
2980,
3045,
2482,
3745,
3826,
7053,
3837,
3730,
2990,
3852,
3796,
3793,
3082,
7064,
2974,
3763,
3792,
3875,
3847,
3770,
3856,
7290,
3841,
3742,
3803,
3829,
7071,
2421,
7014,
3758,
3853,
3848,
7768,
2969,
7051,
2690,
3820,
3775,
3802,
2923,
3915,
3880,
3791,
2420,
3704,
3819,
7255,
7235,
3361,
2477,
3807,
3869,
3827,
7267,
3896,
3714,
3891,
2454,
2418,
3907,
3832,
3757,
2905,
3818,
3845,
3735,
3892,
3861,
2449,
3804,
3794,
3923,
3821,
3366,
2976,
3918,
7232,
3813,
3747,
3922,
3849,
3830,
2937,
3784,
3886,
3171,
3086,
3842,
2977,
3288,
3310,
3095,
7228,
3392,
7764,
3809,
2877,
3850,
3859,
2485,
2984,
2440,
2473,
3764,
2968,
7068,
3456,
2951,
2442,
3720,
7239,
3085,
3767,
3093,
2936,
5704,
5761,
3750,
3810,
3912,
3748,
3728,
3304,
3872,
3717,
3330,
3877,
3843,
3713,
3754,
7256,
7062,
3729,
3319,
2946,
2412,
3871,
2490,
3274,
5762,
3945,
3738,
3789,
2979,
2459,
3724,
7058,
3709,
7293,
3833,
7231,
3752,
2476,
3325,
3881,
5760,
3314,
3291,
7259,
3041,
3825,
3890,
3376,
3722,
3787,
3919,
3851,
3895,
2957,
2904,
3801,
3331,
7292,
2967,
7279,
3854,
3776,
3703,
3823,
2996,
3760,
7059,
3840,
3897,
2889,
3780,
3806,
3844,
2955,
2909,
2452,
3734,
7057,
3707,
3797,
2989,
3382,
7258,
3815,
3705,
3778,
3701,
3822,
2450,
3816,
3783,
3874,
3976,
7283,
3092,
2920,
3883,
3718,
3756,
3860,
2998,
2453,
3781,
2691,
3271,
3230,
3240,
3278,
2903,
3218,
3224,
3231,
5164,
3227,
2463,
3214,
3223,
3283,
3247,
3306,
2475,
3220,
3232,
2437,
3275,
3213,
6149,
3225,
3372,
3379,
3233,
5107,
3333,
3264,
2443,
3200,
2978,
2890,
7401,
2472,
3201,
3244,
3212,
3206,
3916,
3083,
5104,
3250,
3241,
5111,
5105,
2953,
3364,
3256,
3253,
3260,
3385,
2448,
3269,
7268,
2970,
3237,
3380,
3297,
3248,
3204,
3208,
7275,
3234,
2954,
3094,
5101,
3251,
3311,
7288,
5110,
3342,
2986,
3293,
3203,
3296,
3211,
3245,
7403,
2469,
2982,
7247,
3407,
2971,
3309,
5161,
2423,
3374,
3263,
7236,
2413,
3358,
3238,
7754,
7237,
2692,
3216,
3280,
3215,
3235,
3273,
2432,
3343,
3209,
2991,
2939,
2444,
3219,
7285,
7270,
2486,
2425,
3254,
2972,
3381,
2430,
3266,
2417,
2441,
2987,
3390,
3257,
};