k= 3: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k= 4: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k= 5: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k= 6: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k= 7: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k= 8: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k= 9: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=10: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=11: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=12: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=13: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=14: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=15: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=16: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=17: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=18: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=19: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
k=20: flow certificates for F_k on G_k and H_k on Ghat_k found and verified exactly (alpha = k)
instance N: flow certificate for c.x >= 25 found and verified exactly
instance N: 116 trees in Conforti's family; explicit convex combinations found and verified exactly
instance N: c.x at the point = 223/9 < alpha = 25
wrote certificates.json
