38456 S6-classes read from outputs/a5_classes_W9.txt
classes by number of relevant variables e_r (r=0..6): [2, 2, 6, 24, 144, 1542, 36736]
LTFs with exactly r relevant variables, all supports, N_r: [2, 12, 120, 1440, 23040, 516480, 14487040]
n=0: #LTF on n variables = 2 (OEIS A000609: 2) OK;  #S_n-classes = 2
n=1: #LTF on n variables = 4 (OEIS A000609: 4) OK;  #S_n-classes = 4
n=2: #LTF on n variables = 14 (OEIS A000609: 14) OK;  #S_n-classes = 10
n=3: #LTF on n variables = 104 (OEIS A000609: 104) OK;  #S_n-classes = 34
n=4: #LTF on n variables = 1882 (OEIS A000609: 1882) OK;  #S_n-classes = 178
n=5: #LTF on n variables = 94572 (OEIS A000609: 94572) OK;  #S_n-classes = 1720
n=6: #LTF on n variables = 15028134 (OEIS A000609: 15028134) OK;  #S_n-classes = 38456
classes with P_f identical to some k(1-q)^(2k-2): 12
   00000000ffffffff: r=1, P = 1(1-q)^0, NOT OR of 1 variables
   aaaaaaaaaaaaaaaa: r=1, P = 1(1-q)^0, OR of 1 variables
   000000000000ffff: r=2, P = 2(1-q)^2, NOT OR of 2 variables
   eeeeeeeeeeeeeeee: r=2, P = 2(1-q)^2, OR of 2 variables
   00000000000000ff: r=3, P = 3(1-q)^4, NOT OR of 3 variables
   fefefefefefefefe: r=3, P = 3(1-q)^4, OR of 3 variables
   000000000000000f: r=4, P = 4(1-q)^6, NOT OR of 4 variables
   fffefffefffefffe: r=4, P = 4(1-q)^6, OR of 4 variables
   0000000000000003: r=5, P = 5(1-q)^8, NOT OR of 5 variables
   fffffffefffffffe: r=5, P = 5(1-q)^8, OR of 5 variables
   0000000000000001: r=6, P = 6(1-q)^10, NOT OR of 6 variables
   fffffffffffffffe: r=6, P = 6(1-q)^10, OR of 6 variables
strict inequalities certified (class, piece): 228746; failures: 0
largest max_q P_f/M_r over non-OR classes, by r (float grid, information):
   r=2: 0.585698 (class 0xaaaaaaaa)
   r=3: 0.921495 (class 0xeaeaeaeaeaeaeaea)
   r=4: 0.975616 (class 0x8888ffff)
   r=5: 0.995279 (class 0x8080ffff)
   r=6: 0.999120 (class 0x8000ffff)
time 237.3s
CERTIFIED: every LTF f on <= 6 variables with r relevant variables, other than OR_r and its complement, satisfies P_f(q) < max_{k<=r} k(1-q)^(2k-2) on [0,1/2].
