%I #43 May 08 2021 02:22:55
%S 1,2,3,4,6,7,8,9,10,11,12,14,15,16,18,19,20,21,22,23,24,26,27,28,30,
%T 31,32,33,34,35,36,38,39,40,42,43,44,45,46,47,48,49,50,51,52,54,55,56,
%U 57,58,59,60,62,63,64,66,67,68,69,70,71,72,74,75,76,77,78,79,80,81,82,83
%N Numbers that cannot be the value of 'C' in a primitive Pythagorean triple (A < B; A^2 + B^2 = C^2).
%C Complement of A008846. - _R. J. Mathar_, Aug 15 2010
%C A024362(a(n)) = 0. - _Reinhard Zumkeller_, Dec 02 2012
%C Except for the 1st term 1, complement of A004613. - _Federico Provvedi_, Jan 26 2019
%C After 1, numbers k for which A065338(k) > 1, i.e., after 1, numbers all of whose prime divisors are not of the form 4u+1. - _Antti Karttunen_, Dec 26 2020
%H Reinhard Zumkeller, <a href="/A137409/b137409.txt">Table of n, a(n) for n = 1..10000</a>
%e 3,4,5; number 5 is not in this sequence.
%e 5,12,13; number 13 is not in this sequence.
%e 8,15,17; number 17 is not in this sequence.
%e 7,24,25; number 25 is not in this sequence.
%t okQ[1] = True;
%t okQ[n_] := AnyTrue[FactorInteger[n][[All, 1]], Mod[#, 4] != 1&];
%t Select[Range[100], okQ] (* _Jean-François Alcover_, Mar 10 2019, after _Federico Provvedi_'s comment *)
%o (Haskell)
%o import Data.List (elemIndices)
%o a137409 n = a137409_list !! (n-1)
%o a137409_list = map (+ 1) $ elemIndices 0 a024362_list
%o -- _Reinhard Zumkeller_, Dec 02 2012
%o (PARI)
%o A065338(n) = { my(f = factor(n)); for (i=1, #f~, f[i, 1] = (f[i, 1]%4)); factorback(f); };
%o isA137409(n) = ((1==n)||(A065338(n)>1)); \\ _Antti Karttunen_, Dec 26 2020
%Y Cf. A004613, A008846, A020882, A024362, A065338, A137407.
%Y Subsequences: A125667 (the odd terms), A339875.
%K nonn
%O 1,2
%A _Vladimir Joseph Stephan Orlovsky_, Apr 14 2008
%E Extended by _R. J. Mathar_, Aug 15 2010