  F_4   n=3: all irreducible elementary nets = 10 ; predicted sum_P |K^x/P^x|^2 = 10 ; failing the triple-product criterion = 0 (0.0s)
  F_8   n=3: all irreducible elementary nets = 50 ; predicted sum_P |K^x/P^x|^2 = 50 ; failing the triple-product criterion = 0 (0.0s)
  F_9   n=3: all irreducible elementary nets = 17 ; predicted sum_P |K^x/P^x|^2 = 17 ; failing the triple-product criterion = 0 (0.0s)
  F_25  n=3: all irreducible elementary nets = 37 ; predicted sum_P |K^x/P^x|^2 = 37 ; failing the triple-product criterion = 0 (0.0s)
