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.

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

Table of values

n a(n)
0 2
1 3
2 6
3 22
4 253
5 37098
6 109873815

List of values

[2, 3, 6, 22, 253, 37098, 109873815]