Report this error to bug@keymaerax.org by clicking Report.

Make sure to copy all error information shown below to the email content.
****************************
ERROR REPORT
****************************
System configuration

{{kyxConfig}}
----------------------------
Error message

{{errorText}}
----------------------------
Error trace

{{errorTrace}}