Part E recount (claim: 0, 191, 86, 0, 0):
  (1,sqrt2,sqrt3): 0
  (1,2,3): 191
  (1,1,sqrt2): 86
  (1,sqrt2,-1-sqrt2): 0
  (sqrt2,-2,1): 0
Theorem B, rho=2: 578 primitive n in [-4,4]^3, brute force (exponents <= 6) agrees with the criterion in all but 0; systems exist for 402
Theorem B, rho=1: 578 rational kernel directions, a commuting monomial pair found for all but 0
Theorem B, rho=3: pair found: None
total 6.7s
