$ ./flagmatic --r 3 --n 6 --forbid 6:234235145345136246346256356456 --dir output/baber-s5
flagmatic version 1.5
============================================================================
Forbidding 6:123124125134135146234236245345
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, 64, 64, 64, 64] flags of order 5.
Generated 2029 admissible graphs.
Approximate floating-point bound is 0.75000000

$ sage -python scripts/find_sharp_graphs.py --dir output/baber-s5
Floating point bound is 0.750000000019696578.
4 members of H are sharp.
0.749999999959927055 : graph 1 (6:)
0.750000000013055557 : graph 893 (6:123124125126134135136145146156)
0.750000000019696578 : graph 2021 (6:123124125126134135136145146156234235236245246256)
0.750000000016789348 : graph 2029 (6:123124125126134135136145146235236245246256345346356456)
Written sharp graphs to flags.py

$ sage -python scripts/check_construction.py --n 6 --r 3 --vertex-transitive 2:112122
Density is 3/4.
4 graphs of order 6 occur as induced subgraphs of the blow-up:
6: has density 1/32 (0.031250)
6:123124125126134135136145146156 has density 3/16 (0.187500)
6:123124125126134135136145146156234235236245246256 has density 15/32 (0.468750)
6:123124125126134135136145146235236245246256345346356456 has density 5/16 (0.312500)

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

$ sage -python scripts/factor_approximate_q.py --dir output/baber-s5
Floating point bound is 0.750000000019696467.
Type 1: smallest eigenvalue is 0.118590344822433233
Type 2: smallest eigenvalue is 0.011014790636194868
Type 3: smallest eigenvalue is 0.143473956918074685
Type 4: smallest eigenvalue is 0.121895642254864475
Type 5: smallest eigenvalue is 0.080461615805985098
Type 6: smallest eigenvalue is 0.071400800238953718
Type 7: smallest eigenvalue is 0.049836924584851776
Written r.py
Written qdashf.py

$ sage -python scripts/make_exact_qdash.py '3/4' --denominator 120 --dir output/baber-s5 --diagonalize
Type 1: smallest eigenvalue is 0.120023947147344573
Type 2: smallest eigenvalue is 0.016007979349573730
Type 3: smallest eigenvalue is 0.150719306241649753
Type 4: smallest eigenvalue is 0.117185411811854490
Type 5: smallest eigenvalue is 0.084651143837837117
Type 6: smallest eigenvalue is 0.071862089961236247
Type 7: smallest eigenvalue is 0.028165571738009598
Diagonalizing matrices...
Written qdash.py
Written r.py
Added exact bound to flags.py

$ sage -python scripts/verify_bound.py --dir output/baber-s5
Written q.py
Floating point bound (non-sharp graphs) is 0.743111662420556374
Exact bound (just sharp graphs) is 3/4
Bound (all graphs) is 3/4

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