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 A268080 #7 Jan 30 2016 11:36:47 %S A268080 0,1,10,236,65368,4294959715,18446744073701723262, %T A268080 340282366920938463463374605017086170458, %U A268080 115792089237316195423570985008687907853269984665640563983327146779225571732148 %N A268080 Difference between total number of Boolean functions of n variables and total number of monotonic Boolean functions of n variables. %F A268080 a(n) = 2^(2^n) - (n-th Dedekind number). %F A268080 a(n) = A001146(n) - A000372(n). %Y A268080 Cf. A001146, A000372. %K A268080 nonn %O A268080 0,3 %A A268080 _Ross La Haye_, Jan 25 2016