Part R: cube branch
  ok   P6 in <X^2Y^4, XY^5, XY^4Z, Y^6, Y^5Z, Y^4Z^2, Y^3Z^3>
  ok   delta = 0: y^3 z o Phi in T_{<=1}
  ok   y^2 z^2 - (delta/105) y^5 o Phi in T_{<=1}
  ok   forced: xyz o sg XY^4Z = 4 sg Y^3, y^4 o Y^7 = 840 Y^3, z^3 o Y^3 Z^3 = 6 Y^3, x^2 o X^2Y^4 = 2 Y^4, y^3 o Y^7 = 210 Y^4
Part S: N1 sanity (binary branch, gamma_f = 0), bound 24 + 4*4 = 40
   13544211 trial 0 rejected (binary H [1, 2, 3, 4, 3, 2, 1, 1])
   13544211 trial 1: H = [1, 3, 5, 4, 4, 2, 1, 1] ok, N1 complete intersection local length 38 (stable at N = 12)
  ok   13544211: N1 sanity, 1 accepted algebras, all local lengths <= 40
time 3.0 s
ALL CHECKS PASSED
