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.

A109458 Number of inequivalent Krom functions on n variables (or 2SAT instances) under permutations of variables.

Table of values

n a(n)
0 2
1 4
2 12
3 48
4 308
5 3028
6 49490
7 1350894
8 62154403

List of values

[2, 4, 12, 48, 308, 3028, 49490, 1350894, 62154403]