e"><a name="l00222"></a><span class="lineno">  222</span>&#160;  <span class="keywordtype">void</span> _internal_set_solutions(::PROTOBUF_NAMESPACE_ID::int64 value);</div>
<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;  <span class="keyword">public</span>:</div>
<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160; </div>
<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;  <span class="comment">// bool smart_time_check = 5;