$ ./flagmatic --n 6 --r 3 --induced-density 4.3 --forbid-induced 4.1 --dir output/41max43 flagmatic version 1.5 ============================================================================ Optimizing for density of 4.3. Forbidding 4.1 as an induced subgraph. 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 9 flags of order 4. Generated 4 types of order 4, with [15, 23, 30, 41] flags of order 5. Generated 175 admissible graphs. Approximate floating-point bound is 0.65092926 $ sage -python scripts/make_nontight_exact_qdash.py --denominator 10000000 --dir output/41max43 Written r.py Written qdash.py Marked bound as non-tight in flags.py $ sage -python scripts/verify_bound.py --dir output/41max43 Written q.py Bound (all graphs) is 4068308187727/6250000000000 (Approximately 0.650929310) Added exact bound to flags.py $ sage -python scripts/make_certificate.py --dir output/41max43 Written certificate to cert.js