$ ./flagmatic --n 7 --r 3 --induced-density 4.2 --forbid-k4- --forbid-c5 --dir output/k4-c5max42
flagmatic version 1.5
============================================================================
Optimizing for density of 4.2.
Forbidding 4.3
Forbidding 5:123124135245345
Using admissible graphs of order 7.
Generated 1 type of order 1, with 5 flags of order 4.
Generated 2 types of order 3, with [92, 44] flags of order 5.
Generated 10 types of order 5, with [388, 262, 175, 173, 112, 116, 116, 76, 81, 79] flags of order 6.
Generated 6077 admissible graphs.
Approximate floating-point bound is 0.46164493

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

$ sage -python scripts/verify_bound.py --dir output/k4-c5max42
Written q.py
Bound (all graphs) is 2885281205549/6250000000000
(Approximately 0.461644993)
Added exact bound to flags.py

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