%I #10 Sep 20 2022 08:39:07
%S 1,0,0,0,0,0,1,1,0,1,0,0,1,1,0,1,0,1,1,0,1,0,0,1,1,1,0,1,1,1,1,0,1,1,
%T 1,0,1,1,0,1,1,1,0,1,1,0,1,1,1,1,1,0,1,0,1,0,1,0,1,1,1,1,1,0,1,1,1,1,
%U 1,1,1,0,1,1,1,0,1,1,1,1,0,1,0,1,0,1,1,1,1,1,1,0,1,1,1,0,1,1,1,1,1,1,0,1,1
%N Characteristic function of A080113.
%H <a href="/index/Ch#char_fns">Index entries for characteristic functions</a>
%p A080111 := n -> 1-A080116(A080117(n));
%K nonn
%O 1,1
%A _Antti Karttunen_, Feb 11 2003