/Prover9 Manual Version/i\
<hr>\
<table width="100%">\
<tr>\
<colgroup>\
<col width="33%">\
<col width="34%">\
<col width="33%">\
</colgroup>\
<td align="left"><i>Prover9 Manual</i>\
<td align="center"><img src="prover9-5a-256t.gif">\
<td align="right"><i>Version June-2007</i>\
</table>\
<hr>

/Prover9 Manual Version/d

