$ ./flagmatic --n 6 --r 2 --oriented --induced-density 4:12233441 --dir output/c4
flagmatic version 1.0
============================================================================
Using density of 4:12233441
Using admissible graphs of order 6.
Generated 1 type of order 0, with 7 flags of order 3.
Generated 2 types of order 2, with [126, 126] flags of order 4.
Generated 42 types of order 4, with [81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81, 81] flags of order 5.
Generated 21480 admissible graphs.
Approximate floating-point bound is 0.09523859

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

$ python verify_bound.py --dir output/c4
Written q.py
Bound (all graphs) is 107143441067147/1125000000000000
(Approximately 0.095238614)
Added exact bound to flags.py

$ python make_certificate.py --dir output/c4
Written certificate to cert.js