login
The lexicographically earliest "mean-central" sequence, as is defined in A383192.
3

%I #10 Apr 29 2025 13:19:41

%S 1,3,5,6,10,11,12,13,19,20,21,23,25,26,27,28,36,37,38,39,41,42,46,47,

%T 49,51,53,55,56,57,58,59,69,70,71,72,73,75,77,78,82,83,84,85,91,92,93,

%U 94,98,99,101,102,106,107,109,111,113,115,117,118,119,120

%N The lexicographically earliest "mean-central" sequence, as is defined in A383192.

%H Art of Problem Solving, <a href="https://artofproblemsolving.com/community/c6h3549401p34560823">European Girls' Mathematical Olympiad 2025 Problem 2</a>

%H Yifan Xie, <a href="/A383193/a383193_1.txt">Python program</a>

%Y Cf. A383192, A383194.

%K nonn

%O 1,2

%A _Yifan Xie_, Apr 20 2025