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
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a is M2(K24( the U1 of X))
a1 is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a19 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a is M2(K24( the U1 of X))
a1 is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a19 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
b is M2( the U1 of X)
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a1 is M2(K24( the U1 of X))
b is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c19 is M2( the U1 of X)
a is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a is M2(K24( the U1 of X))
a1 is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a is M2(K24( the U1 of X))
a1 is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
b is M2( the U1 of X)
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a1 is M2(K24( the U1 of X))
b is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
a is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a is M2(K24( the U1 of X))
a1 is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
b is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
b1 is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
c is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
N is M2( the U1 of X)
c1 is M2( the U1 of X)
c1 is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a1 is M2(K24( the U1 of X))
b is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
a is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
c is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
N is M2( the U1 of X)
A is M2( the U1 of X)
M is M2( the U1 of X)
M is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a is M2(K24( the U1 of X))
a1 is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
b is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
b is M2( the U1 of X)
b1 is M2(K24( the U1 of X))
b1 is M2(K24( the U1 of X))
b1 is M2(K24( the U1 of X))
c is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
c is M2( the U1 of X)
c is M2( the U1 of X)
b is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a1 is M2(K24( the U1 of X))
b is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
a is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2(K24( the U1 of X))
c1 is M2( the U1 of X)
c1 is M2( the U1 of X)
c1 is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
b9 is M2( the U1 of X)
o9 is M2(K24( the U1 of X))
a9 is M2(K24( the U1 of X))
a19 is M2(K24( the U1 of X))
b19 is M2( the U1 of X)
c9 is M2( the U1 of X)
c19 is M2( the U1 of X)
o is M2( the U1 of X)
a is M2( the U1 of X)
a1 is M2( the U1 of X)
c1 is M2( the U1 of X)
b is M2(K24( the U1 of X))
b1 is M2(K24( the U1 of X))
c is M2(K24( the U1 of X))
M is M2( the U1 of X)
N is M2( the U1 of X)
A is M2( the U1 of X)
b4 is M2( the U1 of X)
M is M2( the U1 of X)
N is M2( the U1 of X)
d is M2( the U1 of X)
C is M2(K24( the U1 of X))
d2 is M2( the U1 of X)
d1 is M2( the U1 of X)
A is M2( the U1 of X)
d2 is M2( the U1 of X)
d1 is M2( the U1 of X)
A is M2( the U1 of X)
d2 is M2( the U1 of X)
d2 is M2( the U1 of X)
d1 is M2( the U1 of X)
d1 is M2( the U1 of X)
A is M2(K24( the U1 of X))
K is M2( the U1 of X)
d3 is M2( the U1 of X)
d4 is M2( the U1 of X)
K is M2(K24( the U1 of X))
d3 is M2( the U1 of X)
d3 is M2( the U1 of X)
d4 is M2( the U1 of X)
e1 is M2( the U1 of X)
d4 is M2( the U1 of X)
d4 is M2( the U1 of X)
d4 is M2( the U1 of X)
b is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
b1 is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
N is M2( the U1 of X)
c1 is M2( the U1 of X)
c1 is M2( the U1 of X)
c1 is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
o9 is M2(K24( the U1 of X))
a9 is M2(K24( the U1 of X))
a19 is M2( the U1 of X)
b9 is M2( the U1 of X)
b19 is M2( the U1 of X)
c9 is M2( the U1 of X)
c19 is M2( the U1 of X)
o is M2( the U1 of X)
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a is M2(K24( the U1 of X))
a1 is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a19 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() V5() set
K24( the U1 of X) is set
a1 is M2(K24( the U1 of X))
b is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c19 is M2( the U1 of X)
a is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
c is M2( the U1 of X)
c is M2( the U1 of X)
c1 is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2(K24( the U1 of X))
N is M2( the U1 of X)
A is M2( the U1 of X)
b4 is M2( the U1 of X)
N is M2( the U1 of X)
N is M2( the U1 of X)
the U1 of X is V4() V5() set
K24( the U1 of X) is set
o9 is M2(K24( the U1 of X))
a9 is M2(K24( the U1 of X))
a19 is M2( the U1 of X)
b9 is M2( the U1 of X)
c19 is M2( the U1 of X)
b19 is M2( the U1 of X)
o is M2( the U1 of X)
c9 is M2( the U1 of X)
a is M2( the U1 of X)
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
X is V41() V46() AffinSpace-like 2-dimensional AffinStruct
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
Af X is V41() V46() strict AffinSpace-like 2-dimensional AffinStruct
the U1 of (Af X) is V4() V5() set
K24( the U1 of (Af X)) is set
a is M2(K24( the U1 of (Af X)))
a1 is M2(K24( the U1 of (Af X)))
o9 is M2( the U1 of (Af X))
a19 is M2( the U1 of (Af X))
b19 is M2( the U1 of (Af X))
c19 is M2( the U1 of (Af X))
a9 is M2( the U1 of (Af X))
b9 is M2( the U1 of (Af X))
c9 is M2( the U1 of (Af X))
o is M2( the U1 of (Af X))
the U1 of X is V4() set
c is M2( the U1 of X)
b1 is M2( the U1 of X)
A is M2( the U1 of X)
N is M2( the U1 of X)
b is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
b4 is M2( the U1 of X)
K24( the U1 of X) is set
N is M2(K24( the U1 of X))
M is M2(K24( the U1 of X))
the U1 of X is V4() set
K24( the U1 of X) is set
a is M2(K24( the U1 of X))
a1 is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a19 is M2( the U1 of X)
b19 is M2( the U1 of X)
c19 is M2( the U1 of X)
a9 is M2( the U1 of X)
b9 is M2( the U1 of X)
c9 is M2( the U1 of X)
o is M2( the U1 of X)
the U1 of (Af X) is V4() V5() set
c is M2( the U1 of (Af X))
b1 is M2( the U1 of (Af X))
A is M2( the U1 of (Af X))
N is M2( the U1 of (Af X))
b is M2( the U1 of (Af X))
c1 is M2( the U1 of (Af X))
M is M2( the U1 of (Af X))
b4 is M2( the U1 of (Af X))
K24( the U1 of (Af X)) is set
N is M2(K24( the U1 of (Af X)))
M is M2(K24( the U1 of (Af X)))
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
Af X is V41() V46() strict AffinSpace-like 2-dimensional AffinStruct
the U1 of X is V4() set
o9 is M2( the U1 of X)
a9 is M2( the U1 of X)
a19 is M2( the U1 of X)
b9 is M2( the U1 of X)
b19 is M2( the U1 of X)
c9 is M2( the U1 of X)
c19 is M2( the U1 of X)
the U1 of (Af X) is V4() V5() set
o is M2( the U1 of (Af X))
b is M2( the U1 of (Af X))
b1 is M2( the U1 of (Af X))
c is M2( the U1 of (Af X))
c1 is M2( the U1 of (Af X))
K24( the U1 of (Af X)) is set
M is M2(K24( the U1 of (Af X)))
a is M2( the U1 of (Af X))
a1 is M2( the U1 of (Af X))
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
Af X is V41() V46() strict AffinSpace-like 2-dimensional AffinStruct
the U1 of (Af X) is V4() V5() set
K24( the U1 of (Af X)) is set
o9 is M2(K24( the U1 of (Af X)))
a9 is M2(K24( the U1 of (Af X)))
a19 is M2(K24( the U1 of (Af X)))
b9 is M2( the U1 of (Af X))
c19 is M2( the U1 of (Af X))
b19 is M2( the U1 of (Af X))
o is M2( the U1 of (Af X))
c9 is M2( the U1 of (Af X))
a is M2( the U1 of (Af X))
the U1 of X is V4() set
a1 is M2( the U1 of X)
b is M2( the U1 of X)
b1 is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
c is M2( the U1 of X)
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
Af X is V41() V46() strict AffinSpace-like 2-dimensional AffinStruct
the U1 of (Af X) is V4() V5() set
K24( the U1 of (Af X)) is set
o9 is M2(K24( the U1 of (Af X)))
a9 is M2(K24( the U1 of (Af X)))
a19 is M2( the U1 of (Af X))
b9 is M2( the U1 of (Af X))
c19 is M2( the U1 of (Af X))
b19 is M2( the U1 of (Af X))
o is M2( the U1 of (Af X))
c9 is M2( the U1 of (Af X))
a is M2( the U1 of (Af X))
the U1 of X is V4() set
K24( the U1 of X) is set
A is M2(K24( the U1 of X))
M is M2( the U1 of X)
N is M2(K24( the U1 of X))
b is M2( the U1 of X)
c is M2( the U1 of X)
a1 is M2( the U1 of X)
c1 is M2( the U1 of X)
b1 is M2( the U1 of X)
the U1 of X is V4() set
K24( the U1 of X) is set
o is M2(K24( the U1 of X))
a is M2(K24( the U1 of X))
o9 is M2( the U1 of X)
a9 is M2( the U1 of X)
a19 is M2( the U1 of X)
b9 is M2( the U1 of X)
b19 is M2( the U1 of X)
c9 is M2( the U1 of X)
c19 is M2( the U1 of X)
the U1 of (Af X) is V4() V5() set
K24( the U1 of (Af X)) is set
A is M2(K24( the U1 of (Af X)))
N is M2(K24( the U1 of (Af X)))
b1 is M2( the U1 of (Af X))
M is M2( the U1 of (Af X))
a1 is M2( the U1 of (Af X))
c is M2( the U1 of (Af X))
c1 is M2( the U1 of (Af X))
b is M2( the U1 of (Af X))
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
Af X is V41() V46() strict AffinSpace-like 2-dimensional AffinStruct
the U1 of (Af X) is V4() V5() set
K24( the U1 of (Af X)) is set
b9 is M2( the U1 of (Af X))
o9 is M2(K24( the U1 of (Af X)))
a9 is M2(K24( the U1 of (Af X)))
a19 is M2(K24( the U1 of (Af X)))
b19 is M2( the U1 of (Af X))
c9 is M2( the U1 of (Af X))
c19 is M2( the U1 of (Af X))
o is M2( the U1 of (Af X))
a is M2( the U1 of (Af X))
a1 is M2( the U1 of (Af X))
the U1 of X is V4() set
b is M2( the U1 of X)
c1 is M2( the U1 of X)
M is M2( the U1 of X)
N is M2( the U1 of X)
A is M2( the U1 of X)
b1 is M2( the U1 of X)
c is M2( the U1 of X)
the U1 of X is V4() set
o9 is M2( the U1 of X)
a9 is M2( the U1 of X)
a19 is M2( the U1 of X)
b9 is M2( the U1 of X)
b19 is M2( the U1 of X)
c9 is M2( the U1 of X)
c19 is M2( the U1 of X)
the U1 of (Af X) is V4() V5() set
a is M2( the U1 of (Af X))
a1 is M2( the U1 of (Af X))
c is M2( the U1 of (Af X))
c1 is M2( the U1 of (Af X))
b is M2( the U1 of (Af X))
b1 is M2( the U1 of (Af X))
o is M2( the U1 of (Af X))
K24( the U1 of (Af X)) is set
M is M2(K24( the U1 of (Af X)))
N is M2(K24( the U1 of (Af X)))
A is M2(K24( the U1 of (Af X)))