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.

A109457 Number of Krom functions on n variables (or 2SAT instances): conjunctions of clauses with two literals per clause.

Table of values

n a(n)
0 2
1 4
2 16
3 166
4 4170
5 224716
6 24445368
7 5167757614
8 2061662323954

List of values

[2, 4, 16, 166, 4170, 224716, 24445368, 5167757614, 2061662323954]