pan class='message'>-------------------------------------------------</span>
#&gt; <span class='message'>4ti2 version 1.6.7</span>
#&gt; <span class='message'>Copyright 1998, 2002, 2006, 2015 4ti2 team.</span>
#&gt; <span class='message'>4ti2 comes with ABSOLUTELY NO WARRANTY.</span>
#&gt; <span class='message'>This is free software, and you are welcome</span>
#&gt; <span class='message'>to redistribute it under certain conditions.</span>
#&gt; <span class='message'>For details, see the file COPYING.</span>