$ ./flagmatic --r 3 --n 6 --forbid 5:123124125134135145 --dir output/blm
flagmatic version 1.5
============================================================================
Forbidding 5:123124125134135145
Using admissible graphs of order 6.
Generated 1 type of order 0, with 2 flags of order 3.
Generated 1 type of order 2, with 12 flags of order 4.
Generated 5 types of order 4, with [63, 63, 63, 56, 41] flags of order 5.
Generated 1513 admissible graphs.
Approximate floating-point bound is 0.50408090

$ sage -python scripts/make_nontight_exact_qdash.py --denominator 10000000 --dir output/blm
Written r.py
Written qdash.py
Marked bound as non-tight in flags.py

$ sage -python scripts/verify_bound.py --dir output/blm
Written q.py
Bound (all graphs) is 283545521306731/562500000000000
(Approximately 0.504080927)
Added exact bound to flags.py

$ sage -python scripts/make_certificate.py --dir output/blm
Written certificate to cert.js