$ ./flagmatic --n 6 --r 3 --induced-density 4.2 --forbid-c5 --forbid-f32 --dir output/c5f32max42
flagmatic version 1.5
============================================================================
Optimizing for density of 4.2.
Forbidding 5:123124135245345
Forbidding 5:123124125345
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 [64, 56, 39, 24, 23] flags of order 5.
Generated 396 admissible graphs.
Approximate floating-point bound is 0.56250000

$ sage -python scripts/find_sharp_graphs.py --dir output/c5f32max42
Floating point bound is 0.562500000041456616.
6 members of H are sharp.
0.562500000020854984 : graph 1 (6:)
0.562500000019585333 : graph 13 (6:123124125126)
0.562500000041456616 : graph 107 (6:123124125136146156)
0.562500000019589663 : graph 321 (6:123124135145236246356456)
0.562500000026910807 : graph 372 (6:123124125126134135136234235236)
0.562500000039270809 : graph 395 (6:123124125126134135146156234235246256)
Written sharp graphs to flags.py

$ sage -python scripts/check_construction.py --n 6 --r 3 --induced-density 4.2 --vertex-transitive 4:123124134234
Density of 4.2 is 9/16.
6 graphs of order 6 occur as induced subgraphs of the blow-up:
6: has density 47/512 (0.091797)
6:123124125126 has density 45/512 (0.087891)
6:123124125136146156 has density 45/128 (0.351562)
6:123124135145236246356456 has density 45/512 (0.087891)
6:123124125126134135136234235236 has density 15/128 (0.117188)
6:123124125126134135146156234235246256 has density 135/512 (0.263672)

$ sage -python scripts/make_zero_eigenvectors.py --vertex-transitive 4:123124134234 --dir output/c5f32max42
Constructed 1 out of 1 zero eigenvectors for type 1.
Constructed 2 out of 2 zero eigenvectors for type 2.
Constructed 8 out of 8 zero eigenvectors for type 3.
Constructed 0 out of 0 zero eigenvectors for type 4.
Constructed 1 out of 1 zero eigenvectors for type 5.
Constructed 0 out of 0 zero eigenvectors for type 6.
Constructed 1 out of 1 zero eigenvectors for type 7.
Written zev.py
Written field to flags.py

$ sage -python scripts/factor_approximate_q.py --dir output/c5f32max42
Floating point bound is 0.562500000041456616.
Type 1: smallest eigenvalue is 0.523917086717581082
Type 2: smallest eigenvalue is 0.041167420599387827
Type 3: smallest eigenvalue is 0.281662295709489363
Type 4: smallest eigenvalue is 0.256392106512672246
Type 5: smallest eigenvalue is 0.227692078801482761
Type 6: smallest eigenvalue is 0.228790088992999380
Type 7: smallest eigenvalue is 0.320237037635176025
Written r.py
Written qdashf.py

$ sage -python scripts/make_exact_qdash.py '9/16' --denominator 60 --dir output/c5f32max42 --diagonalize
Type 1: smallest eigenvalue is 0.531420618185663440
Type 2: smallest eigenvalue is 0.040346691956001483
Type 3: smallest eigenvalue is 0.299999999999999989
Type 4: smallest eigenvalue is 0.230985069623880518
Type 5: smallest eigenvalue is 0.204780789995103990
Type 6: smallest eigenvalue is 0.224283432087159867
Type 7: smallest eigenvalue is 0.349999999999999978
Diagonalizing matrices...
Written qdash.py
Written r.py
Added exact bound to flags.py

$ sage -python scripts/verify_bound.py --dir output/c5f32max42
Written q.py
Floating point bound (non-sharp graphs) is 0.541258322948670934
Exact bound (just sharp graphs) is 9/16
Bound (all graphs) is 9/16

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