$ ./flagmatic --r 3 --n 5 --forbid-k4- --forbid-induced 4.1 --forbid-induced 5:123234345451512 --dir output/k4-41c5
flagmatic version 1.5
============================================================================
Forbidding 4.3
Forbidding 4.1 as an induced subgraph.
Forbidding 5:123124135245345 as an induced subgraph.
Using admissible graphs of order 5.
Generated 1 type of order 1, with 2 flags of order 3.
Generated 2 types of order 3, with [4, 3] flags of order 4.
Generated 3 admissible graphs.
Approximate floating-point bound is 0.22222222

$ sage -python scripts/find_sharp_graphs.py --dir output/k4-41c5
Floating point bound is 0.222222223727325613.
3 members of H are sharp.
0.222222223727325613 : graph 1 (5:)
0.222222223388538920 : graph 2 (5:123124125)
0.222222223706799893 : graph 3 (5:123124135145)
Written sharp graphs to flags.py

$ sage -python scripts/check_construction.py --n 5 --r 3 --vertex-transitive 3:123
Density is 2/9.
3 graphs of order 5 occur as induced subgraphs of the blow-up:
5: has density 31/81 (0.382716)
5:123124125 has density 20/81 (0.246914)
5:123124135145 has density 10/27 (0.370370)

$ sage -python scripts/make_zero_eigenvectors.py --vertex-transitive 3:123 --dir output/k4-41c5
Constructed 1 out of 1 zero eigenvectors for type 1.
Constructed 4 out of 4 zero eigenvectors for type 2.
Constructed 1 out of 1 zero eigenvectors for type 3.
Written zev.py
Written field to flags.py

$ sage -python scripts/factor_approximate_q.py --dir output/k4-41c5
Floating point bound is 0.222222223727325613.
Type 1: smallest eigenvalue is 39.012186177307228263
Type 2: zero matrix
Type 3: smallest eigenvalue is 2.249917407632604505
Written r.py
Written qdashf.py

$ sage -python scripts/make_exact_qdash.py '2/9' --denominator 2 --dir output/k4-41c5 --diagonalize
Type 1: smallest eigenvalue is 39.013888888888885731
Type 2: zero matrix
Type 3: smallest eigenvalue is 2.000000000000000000
Diagonalizing matrices...
Written qdash.py
Written r.py
Added exact bound to flags.py

$ sage -python scripts/verify_bound.py --dir output/k4-41c5
Written q.py
All graphs are sharp.
Bound (all graphs) is 2/9

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