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 A164977 #66 Jan 19 2025 18:21:26
%S A164977 3,4,5,6,10,13,22,37,46,58,61,73,82,106,157,166,178,193,226,262,277,
%T A164977 313,346,358,382,397,421,457,466,478,502,541,562,586,613,661,673,718,
%U A164977 733,757,838,862,877,886,982,997,1018,1093,1153,1186,1201,1213,1237,1282
%N A164977 Numbers m such that the set {1..m} has only one nontrivial decomposition into subsets with equal element sum.
%C A164977 Numbers m such that the triangular number T(m) = m*(m+1)/2 has exactly two divisors >= m.
%C A164977 Also numbers m such that m*(m+1)/2 is the product of two primes.
%C A164977 Contains all numbers in A005383. - _Harry Richman_, Jan 09 2025
%C A164977 Contains all numbers in A077065. - _Alois P. Heinz_, Jan 19 2025
%H A164977 Alois P. Heinz, <a href="/A164977/b164977.txt">Table of n, a(n) for n = 1..10000</a> (first 1000 terms from T. D. Noe)
%F A164977 { m : A035470(m) = 2 }.
%F A164977 { m : A164978(m) = 2 }.
%F A164977 { m : |{d|m*(m+1)/2 : d>=m}| = 2 }.
%F A164977 { m : m*(m+1)/2 in {A068443} }.
%F A164977 { m : m*(m+1)/2 in {A001358} }.
%F A164977 { m : A069904(m) = 2 }.
%F A164977 { m : A001222(n) + A001222(n+1) = 3 }. - _Alois P. Heinz_, Jan 08 2022
%F A164977 { A005383 } union { A077065 }. - _Alois P. Heinz_, Jan 19 2025
%e A164977 10 is in the sequence, because there is only one nontrivial decomposition of {1..10} into subsets with equal element sum: {1,10}, {2,9}, {3,8}, {4,7}, {5,6}; 11|55.
%e A164977 13 is in the sequence with decomposition of {1..13}: {1,12}, {2,11}, {3,10}, {4,9}, {5,8}, {6,7}, {13}; 13|91.
%p A164977 a:= proc(n) option remember; local k;
%p A164977 for k from 1+ `if`(n=1, 2, a(n-1))
%p A164977 while not (andmap(isprime, [k, (k+1)/2]) or
%p A164977 andmap(isprime, [k+1, k/2]))
%p A164977 do od; k
%p A164977 end:
%p A164977 seq(a(n), n=1..100);
%t A164977 Select[Range@1304, PrimeOmega[#] + PrimeOmega[# + 1] == 3 &] (* _Robert G. Wilson v_, Jun 28 2010 and updated Sep 21 2018 *)
%o A164977 (PARI) is(n)=if(isprime(n),bigomega(n+1)==2, isprime(n+1) && bigomega(n)==2) \\ _Charles R Greathouse IV_, Sep 08 2015
%o A164977 (PARI) is(n)=if(n%2, isprime((n+1)/2) && isprime(n), isprime(n/2) && isprime(n+1)) \\ _Charles R Greathouse IV_, Mar 16 2022
%o A164977 (PARI) list(lim)=my(v=List()); forprime(p=3,lim, if(isprime((p+1)/2), listput(v,p))); forprime(p=5,lim+1, if(isprime(p\2), listput(v,p-1))); Set(v) \\ _Charles R Greathouse IV_, Mar 16 2022
%Y A164977 Cf. A000217, A001222, A164978, A035470, A068443, A069904, A001358.
%Y A164977 Cf. A005383, A077065 (distinct subsequences).
%K A164977 nonn,easy
%O A164977 1,1
%A A164977 _Alois P. Heinz_, Sep 03 2009