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.

A099423 Lean quaternary temporal logic [LQTL] cumulative column frequencies of LQTL logic in A094266.

Table of values

n a(n)
0 1
1 0
2 0
3 0
4 2
5 1
6 0
7 0
8 3
9 3
10 1
11 0
12 4
13 6
14 4
15 1
16 6
17 10
18 10
19 5
20 12
21 16
22 20
23 15
24 28
25 28
26 36
27 35
28 64
29 56
30 64
31 71
32 136
33 120
34 120
35 135
36 272
37 256
38 240
39 255
40 528
41 528
42 496
43 495
44 1024
45 1056
46 1024
47 991
48 2016
49 2080
50 2080
51 2015
52 4032
53 4096
54 4160
55 4095
56 8128
57 8128
58 8256
59 8255

List of values

[1, 0, 0, 0, 2, 1, 0, 0, 3, 3, 1, 0, 4, 6, 4, 1, 6, 10, 10, 5, 12, 16, 20, 15, 28, 28, 36, 35, 64, 56, 64, 71, 136, 120, 120, 135, 272, 256, 240, 255, 528, 528, 496, 495, 1024, 1056, 1024, 991, 2016, 2080, 2080, 2015, 4032, 4096, 4160, 4095, 8128, 8128, 8256, 8255]