K75() is M2(K24(K71()))
K71() is set
K24(K71()) is set
K70() is set
K24(K70()) is set
K24(K75()) is set
K19() is set
1 is set
SAS is non empty V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of SAS is V4() V5() set
SAS is non empty V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of SAS is V4() V5() set
o is non empty AffinStruct
the U1 of o is V4() set
p is M2( the U1 of o)
c is M2( the U1 of o)
p is M2( the U1 of o)
c is M2( the U1 of o)
b is M2( the U1 of o)
d is M2( the U1 of o)
c7 is M2( the U1 of o)
d is M2( the U1 of o)
d is M2( the U1 of o)
s is M2( the U1 of o)
x is M2( the U1 of o)
y is M2( the U1 of o)
c13 is M2( the U1 of o)
c14 is M2( the U1 of o)
c15 is M2( the U1 of o)
c16 is M2( the U1 of o)
c17 is M2( the U1 of o)
c18 is M2( the U1 of o)
c19 is M2( the U1 of o)
c20 is M2( the U1 of o)
c21 is M2( the U1 of o)
c23 is M2( the U1 of o)
c25 is M2( the U1 of o)
c22 is M2( the U1 of o)
c24 is M2( the U1 of o)
c26 is M2( the U1 of o)
c27 is M2( the U1 of o)
c28 is M2( the U1 of o)
c29 is M2( the U1 of o)
c31 is M2( the U1 of o)
c30 is M2( the U1 of o)
c32 is M2( the U1 of o)
c33 is M2( the U1 of o)
c34 is M2( the U1 of o)
c35 is M2( the U1 of o)
c36 is M2( the U1 of o)
c37 is M2( the U1 of o)
c38 is M2( the U1 of o)
c39 is M2( the U1 of o)
c40 is M2( the U1 of o)
c41 is M2( the U1 of o)
c42 is M2( the U1 of o)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)
s is M2( the U1 of SAS)
x is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
b is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
c is M2( the U1 of SAS)
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,o,c,p) is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,o,c,p) is M2( the U1 of SAS)
b is M2( the U1 of SAS)
(SAS,o,b,p) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,p,c) is M2( the U1 of SAS)
(SAS,o,(SAS,p,c),c) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
(SAS,o,p,p) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,o,c,p) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,o,p,c) is M2( the U1 of SAS)
b is M2( the U1 of SAS)
(SAS,(SAS,o,p,c),b,c) is M2( the U1 of SAS)
(SAS,p,b,c) is M2( the U1 of SAS)
(SAS,o,(SAS,p,b,c),c) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,o,p,c) is M2( the U1 of SAS)
(SAS,p,o,c) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
(SAS,o,o,p) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,o,p,c) is M2( the U1 of SAS)
b is M2( the U1 of SAS)
(SAS,o,b,c) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
(SAS,o,p) is M2( the U1 of SAS)
(SAS,o,(SAS,o,p),p) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
(SAS,o,p) is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,c,p) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,o,c) is M2( the U1 of SAS)
(SAS,p,c) is M2( the U1 of SAS)
(SAS,p,(SAS,p,c),c) is M2( the U1 of SAS)
(SAS,o,(SAS,o,c),c) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
(SAS,o,o) is M2( the U1 of SAS)
(SAS,o,(SAS,o,o),o) is M2( the U1 of SAS)
(SAS,(SAS,o,o),o,o) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
(SAS,o,c,b) is M2( the U1 of SAS)
(SAS,p,c,b) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
(SAS,o,c,d) is M2( the U1 of SAS)
(SAS,p,b,d) is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,o,p,c) is M2( the U1 of SAS)
(SAS,p,c) is M2( the U1 of SAS)
(SAS,o,(SAS,p,c),c) is M2( the U1 of SAS)
(SAS,o,c) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,p,c,o) is M2( the U1 of SAS)
(SAS,c,o) is M2( the U1 of SAS)
(SAS,p,(SAS,c,o),o) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
(SAS,p,c,o) is M2( the U1 of SAS)
(SAS,c,o) is M2( the U1 of SAS)
(SAS,p,(SAS,c,o),o) is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
(SAS,b,d,o) is M2( the U1 of SAS)
(SAS,d,o) is M2( the U1 of SAS)
(SAS,b,(SAS,d,o),o) is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
d is M2( the U1 of SAS)
s is M2( the U1 of SAS)
x is M2( the U1 of SAS)
y is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c7 is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
c is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
SAS is non empty () AffinStruct
the U1 of SAS is V4() set
o is M2( the U1 of SAS)
p is M2( the U1 of SAS)
c is M2( the U1 of SAS)
b is M2( the U1 of SAS)
d is M2( the U1 of SAS)