$ ./flagmatic --r 3 --n 6 --forbid-f32 --dir output/f32
flagmatic version 1.5
============================================================================
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, 41, 24, 23] flags of order 5.
Generated 426 admissible graphs.
Approximate floating-point bound is 0.44444444

$ sage -python scripts/find_sharp_graphs.py --dir output/f32
Floating point bound is 0.444444444521776505.
5 members of H are sharp.
0.444444444488942103 : graph 1 (6:)
0.444444444475127987 : graph 13 (6:123124125126)
0.444444444514008385 : graph 395 (6:123124125136146156236246256)
0.444444444518013571 : graph 397 (6:123124125126134135136145146156)
0.444444444521776505 : graph 426 (6:123124125134135145236246256346356456)
Written sharp graphs to flags.py

$ sage -python scripts/check_construction.py --n 6 --r 3 3:122123133
Density is 4/9.
5 graphs of order 6 occur as induced subgraphs of the blow-up:
6: has density 77/729 (0.105624)
6:123124125126 has density 20/243 (0.082305)
6:123124125136146156236246256 has density 160/729 (0.219479)
6:123124125126134135136145146156 has density 64/243 (0.263374)
6:123124125134135145236246256346356456 has density 80/243 (0.329218)

$ sage -python scripts/make_zero_eigenvectors.py 3:122123133 --dir output/f32
[?1034hConstructed 1 out of 1 zero eigenvectors for type 1.
Constructed 4 out of 4 zero eigenvectors for type 2.
Constructed 6 out of 6 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 1 out of 1 zero eigenvectors for type 6.
Constructed 0 out of 0 zero eigenvectors for type 7.
Written zev.py
Written field to flags.py

$ sage -python scripts/factor_approximate_q.py --dir output/f32
[?1034hFloating point bound is 0.444444444521776505.
Type 1: smallest eigenvalue is 0.105580755970677009
Type 2: smallest eigenvalue is 0.006614921514691550
Type 3: smallest eigenvalue is 0.119510213738122942
Type 4: smallest eigenvalue is 0.125554508099635531
Type 5: smallest eigenvalue is 0.098244293838069957
Type 6: smallest eigenvalue is 0.148320019548166510
Type 7: smallest eigenvalue is 0.061546531647876525
Written r.py
Written qdashf.py

$ sage -python scripts/make_exact_qdash.py '4/9' --denominator 32 --dir output/f32 --diagonalize
[?1034hType 1: smallest eigenvalue is 0.111315215946449247
Type 2: smallest eigenvalue is 0.017523143218407530
Type 3: smallest eigenvalue is 0.125000000000000000
Type 4: smallest eigenvalue is 0.044653562573790655
Type 5: smallest eigenvalue is 0.053533442240774651
Type 6: smallest eigenvalue is 0.138809981297100843
Type 7: smallest eigenvalue is 0.035219270431018218
Diagonalizing matrices...
Written qdash.py
Written r.py
Added exact bound to flags.py

$ sage -python scripts/verify_bound.py --dir output/f32
[?1034hWritten q.py
Floating point bound (non-sharp graphs) is 0.438979562036181548
Exact bound (just sharp graphs) is 4/9
Bound (all graphs) is 4/9

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