:: SEMI_AF1 semantic presentation

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)

c

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)

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

c

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)

c

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)

c

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)

c

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)

c

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)

c

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)

c

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)

c

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)

c

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

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

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

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)

c

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

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)

c

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

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)

c

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)

c

b is M2( the U1 of SAS)

b is M2( the U1 of SAS)

d is M2( the U1 of SAS)

c

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)

c

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)

c

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

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)

c

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

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)

c

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)

c

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)

c

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)

c

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)

c

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)

c

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)

c

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)