cp's OEIS Frontend

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.

A109459 Number of inequivalent Krom functions on n variables (or 2SAT instances) under permuting and complementing variables.

Table of values

n a(n)
0 2
1 3
2 6
3 14
4 45
5 196
6 1360
7 15631

List of values

[2, 3, 6, 14, 45, 196, 1360, 15631]