$ ./flagmatic --n 6 --r 3 --induced-density 5:123234345451512 --dir output/maxc5 flagmatic version 1.5 ============================================================================ Optimizing for density of 5:123124135245345. 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 2136 admissible graphs. Approximate floating-point bound is 0.19884455 $ sage -python scripts/make_nontight_exact_qdash.py --denominator 10000000 --dir output/maxc5 Written r.py Written qdash.py Marked bound as non-tight in flags.py $ sage -python scripts/verify_bound.py --dir output/maxc5 Written q.py Bound (all graphs) is 7456671138571/37500000000000 (Approximately 0.198844564) Added exact bound to flags.py $ sage -python scripts/make_certificate.py --dir output/maxc5 Written certificate to cert.js