p=2 j=1: #normal subgroups of index<=p^j = 4; I_j: top p^1, I_j cap B = B_1 (ideal: True); predicted S(j, b_max) with b_max=1: True; log_p|W:I_j| = 2
p=2 j=2: #normal subgroups of index<=p^j = 7; I_j: top p^2, I_j cap B = B_1 (ideal: True); predicted S(j, b_max) with b_max=1: True; log_p|W:I_j| = 3
p=2 j=3: #normal subgroups of index<=p^j = 12; I_j: top p^3, I_j cap B = B_2 (ideal: True); predicted S(j, b_max) with b_max=2: True; log_p|W:I_j| = 5
p=2 j=4: #normal subgroups of index<=p^j = 17; I_j: top p^4, I_j cap B = B_2 (ideal: True); predicted S(j, b_max) with b_max=2: True; log_p|W:I_j| = 6
p=2 j=5: #normal subgroups of index<=p^j = 24; I_j: top p^5, I_j cap B = B_3 (ideal: True); predicted S(j, b_max) with b_max=3: True; log_p|W:I_j| = 8
