This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A356522 #9 Aug 10 2022 10:07:42
%S A356522 0,1,8,10,13,14,16,17,20,21,24,25,30,31,36,38,45,47,49,50,61,62,72,74,
%T A356522 76,78,88,90,93,95,105,106,108,111,113,114,117,118,128,130,131,133,
%U A356522 136,138,139,141,145,151,152,158,160,161,163,167,169,170,171,173,177,182,186
%N A356522 Numbers that are nim cubes; numbers in A335170.
%C A356522 Also numbers in A335172, or numbers that are nim (3*2^m)-th powers for each m.
%C A356522 There are (2^2^k - 1)/3 + 1 terms <= 2^2^k - 1 for each k >= 1. This is because {0,1,...,2^2^k-1} together with the nim operations makes a field isomorphic to GF(2^2^k).
%H A356522 Jianing Song, <a href="/A356522/b356522.txt">Table of n, a(n) for n = 1..21846</a> (all terms <= 2^2^4 - 1 = 65535)
%e A356522 8 is a term because (6 N* 6) N* 6 = 5 N* 6 = 8, where N* denotes the nim multiplication.
%o A356522 (PARI) lim(N) = Set(vector(2^2^N, i, A335170(i-1))) \\ A335170 is the function a from _Rémy Sigrist_ in A335170; lim(N) gives all terms <= 2^2^N - 1
%Y A356522 Cf. A051175, A335170, A335172. See also A335162 for nim powers.
%K A356522 nonn
%O A356522 1,3
%A A356522 _Jianing Song_, Aug 10 2022