true
false
false
false
false
0
597
5537,5877,5913,17455,17770,17939,18067,18129,18562,18562,18656,18851,19493,19667,19711,19996
1492,1503,1590,1676,1723,1806,1861,1883,2030,2056,2100,2115,2131,2158,2880,2941,2986,2990,3259,3259,3308,3328,3421,3515,3628,3776,3850,3863,3875,4026,4080,4223,4255