THE ORDER IS NOW THE FOLLOWING:
A
<
B
<
C
«
m
«
m
«
n
«
n
«
a
«
b
«
c
«
e
«
f
«
g
|
---|
| YOUR SESSION HAS DIGESTED
|
|
---|
| THE FOLLOWING RELATIONS
|
|
---|
|
---|
THE FOLLOWING VARIABLES HAVE BEEN SOLVED FOR:
{
a
,
b
,
c
,
e
,
f
,
g
}
The corresponding rules are the following:
a
n
A
m
b
n
B
c
C
m
e
n
A
m
f
n
B
g
C
m
|
---|
| USER CREATIONS APPEAR BELOW
|
|
---|
|
---|
| | | |
|
---|
|
---|
| SOME RELATIONS WHICH APPEAR BELOW
|
|
---|
| MAY BE UNDIGESTED
|
|
---|
|
---|
THE FOLLOWING VARIABLES HAVE NOT BEEN SOLVED FOR:
{
A
,
B
,
C
,
m
,
m
,
n
,
n
}
The expressions with unknown variables
{
n
,
m
}
and knowns
{
A
,
B
,
C
}
n
m
1
(
1
-
m
n
)
A
m
-
(
1
-
m
n
)
B
C
m
The expressions with unknown variables
{
n
,
m
}
and knowns
{
A
}
n
m
0
n
A
m
0
The expressions with unknown variables
{
n
,
m
}
and knowns
{
A
,
B
,
C
}
n
m
0
n
B
C
m
n
A
m
The expressions with unknown variables
{
n
,
m
}
and knowns
{
}
n
m
1
The expressions with unknown variables
{
n
,
n
,
m
,
m
}
and knowns
{
}
m
n
1
-
m
n