Automated Reasoning

<body><table border="0" cellpadding="0" cellspacing="0" width="100%"><tr><td valign="top"></td></tr></table><table border="0" cellpadding="0" cellspacing="0" width="100%"><tr><td> <p>This page was last changed on July 18, 2002. </p> <p><img border="0" src="img/Copyright.gif" width="216" height="28"></p> <p><font size="1"><img border="0" src="images/AR_Small_Logo.gif" align="right" width="126" height="89">Copyright © 2003 by Automated Reasoning, Inc. All rights reserved. All information subject to change without notice. "ICAT", ICAL" and "Intelligent Computer-Aided Troubleshooting" are registered trademarks of Exsequor Limited. Other products and companies referred to herein are trademarks or registered trademarks of their respective companies or mark holders. Persons shown in photographs are models and their photos are used for illustrative purposes only.</font></p> <p><font size="1"><img border="0" src="img/e-Diagnostics_and_Support_Solutions.gif" align="left" width="172" height="63">Please communicate any problems, questions, or suggestions that you may have about the software or this manual using the contact information below. For technical support, please contact Automated Reasoning at:</font></p> <blockquote> <blockquote> <blockquote> <p><font size="1">E-mail: <a href="mailto:ICAL@Automated-Reasoning.com">ICAL@Automated-Reasoning.com</a></font></p> <p><font size="1">4307 Wynborough Lane<br> Charlotte, NC 28269 USA<br> Tel.: (704) 503-0493<br> Fax.: (704) 510-9108</font></p> <p><font size="1">650 Castro Street<br> Suite 120-201<br> Mountain View, CA 94041 USA<br> Tel.: (650) 964-4767<br> Fax.: (650) 964-5947</font></p> <p><font size="1">Dissel 113<br> 6026 DE Maarheeze<br> Netherlands<br> Tel.: +31 (495) 594960<br> Fax.: +31 (495) 595316</font></p> </blockquote> </blockquote> </blockquote> </td></tr></table></body>