Part B: binary branch, N1 with the turning power b^6
  ok   [Y^7 + Z^7]: H = [1, 3, 5, 4, 3, 2, 2, 1], binary case: True, gcd(p, r) = 1: True; CI(f + 3 b^6, K_r, P) = 40 <= 40
  ok   [Y^6*Z]: H = [1, 3, 5, 4, 3, 2, 2, 1], binary case: True, gcd(p, r) = 1: True; CI(f + 3 b^6, K_r, P) = 40 <= 40
  ok   [Y^7, Y^5*Z]: H = [1, 3, 5, 4, 3, 2, 2, 1], binary case: True, gcd(p, r) = 1: True; CI(f + 3 b^6, K_r, P) = 40 <= 40
  ok   [Y^7 + 2*Z^7]: H = [1, 3, 5, 4, 3, 2, 2, 1], binary case: True, gcd(p, r) = 1: True; CI(f + 3 b^6, K_r, P) = 38 <= 40
  ok   Part B: 4 accepted samples
  ok   Part B anchor certified: 38 (N = 11) <= 40
ALL CHECKS PASSED
