THE ORDER IS NOW THE FOLLOWING:

	YOUR SESSION HAS DIGESTED
	THE FOLLOWING RELATIONS

THE FOLLOWING VARIABLES HAVE BEEN SOLVED FOR:
The corresponding rules are the following:

---

The expressions with unknown variables
and knowns

	USER CREATIONS APPEAR BELOW

	SOME RELATIONS WHICH APPEAR BELOW
		MAY BE UNDIGESTED

THE FOLLOWING VARIABLES HAVE NOT BEEN SOLVED FOR:

---