K75() is Element of K24(K71())
K71() is set
K24(K71()) is set
K70() is set
K24(K70()) is set
K24(K75()) is set
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
b3 is Element of the carrier of X
a3 is Element of the carrier of (Af X)
b2 is Element of the carrier of (Af X)
b1 is Element of the carrier of (Af X)
b1 is Element of the carrier of (Af X)
b2 is Element of the carrier of (Af X)
a3 is Element of the carrier of (Af X)
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
M is Element of the carrier of (Af X)
N is Element of the carrier of (Af X)
o9 is Element of the carrier of (Af X)
b2 is Element of the carrier of (Af X)
b3 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a29 is Element of the carrier of X
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of K24( the carrier of X)
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
Line (a2,a3) is Element of K24( the carrier of X)
b1 is Element of the carrier of X
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
Line (a1,b1) is Element of K24( the carrier of X)
M is Element of K24( the carrier of X)
b2 is Element of the carrier of (Af X)
b3 is Element of the carrier of (Af X)
Line (b2,b3) is Element of K24( the carrier of (Af X))
K24( the carrier of (Af X)) is set
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of K24( the carrier of X)
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
M is Element of K24( the carrier of (Af X))
b1 is Element of the carrier of (Af X)
b2 is Element of the carrier of (Af X)
b3 is Element of the carrier of (Af X)
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of K24( the carrier of X)
a3 is Element of K24( the carrier of X)
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
b2 is Element of K24( the carrier of (Af X))
b1 is Element of K24( the carrier of (Af X))
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of K24( the carrier of X)
b2 is Element of K24( the carrier of (Af X))
b3 is Element of the carrier of (Af X)
M is Element of the carrier of (Af X)
N is Element of the carrier of (Af X)
o9 is Element of the carrier of (Af X)
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
o is Element of K24( the carrier of (Af X))
a1 is Element of the carrier of (Af X)
b1 is Element of the carrier of (Af X)
M is Element of the carrier of (Af X)
a2 is Element of the carrier of (Af X)
a3 is Element of the carrier of (Af X)
b2 is Element of the carrier of (Af X)
b3 is Element of the carrier of (Af X)
the carrier of X is set
K24( the carrier of X) is set
a19 is Element of the carrier of X
b29 is Element of the carrier of X
a29 is Element of the carrier of X
b39 is Element of the carrier of X
a39 is Element of the carrier of X
b19 is Element of the carrier of X
o9 is Element of the carrier of X
N is Element of K24( the carrier of X)
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of X is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
b2 is Element of the carrier of X
the carrier of (Af X) is set
b3 is Element of the carrier of (Af X)
M is Element of the carrier of (Af X)
K24( the carrier of (Af X)) is set
a39 is Element of K24( the carrier of (Af X))
N is Element of the carrier of (Af X)
o9 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
Line (b3,M) is Element of K24( the carrier of (Af X))
a19 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b19 is Element of K24( the carrier of (Af X))
b29 is Element of K24( the carrier of (Af X))
b39 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
Line (a19,a29) is Element of K24( the carrier of (Af X))
b39 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
Line (N,o9) is Element of K24( the carrier of (Af X))
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
b2 is Element of the carrier of X
b3 is Element of the carrier of X
M is Element of the carrier of X
N is Element of K24( the carrier of X)
o9 is Element of K24( the carrier of X)
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
a29 is Element of K24( the carrier of (Af X))
a19 is Element of K24( the carrier of (Af X))
c2 is Element of the carrier of (Af X)
c2 is Element of the carrier of X
c29 is Element of the carrier of (Af X)
c3 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
d29 is Element of the carrier of X
e1 is Element of the carrier of X
d2 is Element of the carrier of (Af X)
e2 is Element of the carrier of (Af X)
c19 is Element of the carrier of (Af X)
N9 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
c39 is Element of the carrier of X
M9 is Element of the carrier of (Af X)
c1 is Element of the carrier of (Af X)
e19 is Element of the carrier of (Af X)
d39 is Element of the carrier of (Af X)
e29 is Element of the carrier of X
e2 is Element of the carrier of X
e1 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
c1 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
N9 is Element of the carrier of (Af X)
c19 is Element of the carrier of (Af X)
d3 is Element of the carrier of X
b19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
e19 is Element of the carrier of (Af X)
e29 is Element of the carrier of X
d49 is Element of the carrier of (Af X)
A9 is Element of the carrier of X
A is Element of the carrier of (Af X)
N9 is Element of the carrier of (Af X)
c19 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
d4 is Element of the carrier of X
c1 is Element of the carrier of (Af X)
d4 is Element of the carrier of (Af X)
K9 is Element of the carrier of X
N9 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
c1 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
c19 is Element of the carrier of (Af X)
c3 is Element of K24( the carrier of (Af X))
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
b2 is Element of the carrier of X
b3 is Element of the carrier of X
M is Element of the carrier of X
N is Element of K24( the carrier of X)
o9 is Element of K24( the carrier of X)
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
a29 is Element of K24( the carrier of (Af X))
a19 is Element of K24( the carrier of (Af X))
c2 is Element of the carrier of (Af X)
c2 is Element of the carrier of X
c29 is Element of the carrier of (Af X)
c3 is Element of the carrier of (Af X)
c3 is Element of the carrier of X
d29 is Element of the carrier of X
d2 is Element of the carrier of X
b29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
c1 is Element of the carrier of (Af X)
e1 is Element of the carrier of (Af X)
c39 is Element of the carrier of (Af X)
e2 is Element of the carrier of (Af X)
N9 is Element of the carrier of (Af X)
c19 is Element of the carrier of (Af X)
e19 is Element of the carrier of (Af X)
e29 is Element of the carrier of X
M9 is Element of the carrier of (Af X)
d39 is Element of the carrier of X
e2 is Element of the carrier of X
e1 is Element of the carrier of X
N9 is Element of the carrier of (Af X)
e19 is Element of the carrier of (Af X)
d3 is Element of the carrier of (Af X)
e29 is Element of the carrier of (Af X)
d49 is Element of the carrier of (Af X)
d4 is Element of the carrier of X
c19 is Element of the carrier of (Af X)
A9 is Element of the carrier of X
A is Element of the carrier of X
d4 is Element of the carrier of (Af X)
K9 is Element of the carrier of (Af X)
K is Element of the carrier of (Af X)
d19 is Element of the carrier of X
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
b2 is Element of the carrier of X
b3 is Element of the carrier of X
M is Element of the carrier of X
N is Element of the carrier of X
o9 is Element of the carrier of X
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
a19 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
c1 is Element of the carrier of (Af X)
N9 is Element of the carrier of (Af X)
c19 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
c2 is Element of the carrier of (Af X)
c29 is Element of the carrier of X
a29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
c3 is Element of the carrier of X
c39 is Element of the carrier of X
d29 is Element of the carrier of (Af X)
d2 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
e1 is Element of the carrier of (Af X)
e2 is Element of the carrier of X
b39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
e19 is Element of the carrier of X
e29 is Element of the carrier of X
d39 is Element of the carrier of (Af X)
d3 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
e2 is Element of the carrier of (Af X)
e1 is Element of the carrier of X
a29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
b2 is Element of the carrier of X
b3 is Element of the carrier of X
M is Element of the carrier of X
N is Element of K24( the carrier of X)
o9 is Element of K24( the carrier of X)
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
c1 is Element of K24( the carrier of (Af X))
c19 is Element of K24( the carrier of (Af X))
b19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
N9 is Element of the carrier of (Af X)
c2 is Element of the carrier of X
c29 is Element of the carrier of X
c39 is Element of the carrier of X
d29 is Element of the carrier of (Af X)
c3 is Element of the carrier of (Af X)
d2 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
e1 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
M9 is Element of the carrier of (Af X)
e2 is Element of the carrier of X
a19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
c2 is Element of the carrier of (Af X)
c29 is Element of the carrier of X
c3 is Element of K24( the carrier of X)
c39 is Element of K24( the carrier of (Af X))
d29 is Element of the carrier of X
d29 is Element of the carrier of (Af X)
d2 is Element of K24( the carrier of (Af X))
e1 is Element of K24( the carrier of X)
e2 is Element of the carrier of X
e19 is Element of the carrier of (Af X)
e29 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
d2 is Element of the carrier of (Af X)
e1 is Element of the carrier of (Af X)
e2 is Element of the carrier of (Af X)
e19 is Element of the carrier of X
d39 is Element of the carrier of X
d3 is Element of the carrier of X
e29 is Element of the carrier of X
e19 is Element of the carrier of (Af X)
e29 is Element of the carrier of (Af X)
e2 is Element of the carrier of X
e1 is Element of the carrier of X
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
b2 is Element of the carrier of X
b3 is Element of the carrier of X
M is Element of K24( the carrier of X)
N is Element of K24( the carrier of X)
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
M9 is Element of K24( the carrier of (Af X))
N9 is Element of K24( the carrier of (Af X))
o9 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
o9 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
c1 is Element of the carrier of X
c19 is Element of the carrier of (Af X)
c2 is Element of the carrier of (Af X)
c29 is Element of K24( the carrier of (Af X))
c3 is Element of K24( the carrier of X)
c39 is Element of the carrier of X
d29 is Element of the carrier of (Af X)
c39 is Element of the carrier of X
d29 is Element of the carrier of (Af X)
Line (o,c1) is Element of K24( the carrier of X)
c39 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
Line (c39,d29) is Element of K24( the carrier of (Af X))
d2 is Element of the carrier of X
e1 is Element of the carrier of X
c39 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
d2 is Element of the carrier of (Af X)
e2 is Element of the carrier of X
e1 is Element of the carrier of X
a29 is Element of the carrier of (Af X)
e19 is Element of the carrier of (Af X)
e29 is Element of the carrier of (Af X)
d39 is Element of the carrier of X
b19 is Element of the carrier of (Af X)
c1 is Element of the carrier of X
c19 is Element of the carrier of (Af X)
c2 is Element of the carrier of (Af X)
c29 is Element of K24( the carrier of (Af X))
c3 is Element of K24( the carrier of X)
c39 is Element of the carrier of X
d29 is Element of the carrier of (Af X)
c39 is Element of the carrier of X
d29 is Element of the carrier of (Af X)
Line (o,c1) is Element of K24( the carrier of X)
c39 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
Line (c39,d29) is Element of K24( the carrier of (Af X))
d2 is Element of the carrier of X
e1 is Element of the carrier of X
c39 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
d2 is Element of the carrier of (Af X)
e1 is Element of the carrier of X
e2 is Element of the carrier of X
e19 is Element of the carrier of (Af X)
e29 is Element of the carrier of (Af X)
d39 is Element of the carrier of X
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
b2 is Element of the carrier of X
b3 is Element of the carrier of X
M is Element of K24( the carrier of X)
N is Element of K24( the carrier of X)
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
N9 is Element of K24( the carrier of (Af X))
M9 is Element of K24( the carrier of (Af X))
c1 is Element of the carrier of X
c19 is Element of the carrier of X
c29 is Element of the carrier of X
o9 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
c2 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
d2 is Element of the carrier of (Af X)
c3 is Element of the carrier of (Af X)
c39 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
d2 is Element of the carrier of X
e1 is Element of the carrier of X
e2 is Element of the carrier of X
d39 is Element of the carrier of (Af X)
d3 is Element of the carrier of (Af X)
e19 is Element of the carrier of (Af X)
e29 is Element of the carrier of (Af X)
d39 is Element of the carrier of (Af X)
d3 is Element of the carrier of X
e2 is Element of the carrier of X
e1 is Element of the carrier of X
d49 is Element of the carrier of (Af X)
d4 is Element of the carrier of (Af X)
e19 is Element of the carrier of (Af X)
e29 is Element of the carrier of (Af X)
d49 is Element of the carrier of (Af X)
d4 is Element of the carrier of X
A9 is Element of K24( the carrier of (Af X))
Line (c2,d39) is Element of K24( the carrier of (Af X))
A is Element of K24( the carrier of X)
Line (c19,d3) is Element of K24( the carrier of X)
K9 is Element of K24( the carrier of (Af X))
K is Element of K24( the carrier of X)
a29 is Element of the carrier of (Af X)
d4 is Element of the carrier of X
d49 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
d19 is Element of the carrier of (Af X)
d39 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
Line (d29,d49) is Element of K24( the carrier of (Af X))
Line (d2,d4) is Element of K24( the carrier of X)
d19 is Element of the carrier of (Af X)
d39 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
A9 is Element of K24( the carrier of (Af X))
d29 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
A is Element of K24( the carrier of X)
d29 is Element of the carrier of (Af X)
d49 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
d49 is Element of the carrier of (Af X)
d29 is Element of the carrier of (Af X)
d49 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
K9 is Element of K24( the carrier of (Af X))
a29 is Element of the carrier of (Af X)
K is Element of K24( the carrier of X)
Line (d29,d49) is Element of K24( the carrier of (Af X))
Line (d19,d39) is Element of K24( the carrier of (Af X))
X is V41() OrtAfSp-like OrtAfPl-like ParOrtStr
the carrier of X is set
K24( the carrier of X) is set
o is Element of the carrier of X
a1 is Element of the carrier of X
a2 is Element of the carrier of X
a3 is Element of the carrier of X
b1 is Element of the carrier of X
b2 is Element of the carrier of X
b3 is Element of the carrier of X
M is Element of K24( the carrier of X)
N is Element of K24( the carrier of X)
Af X is V41() V46() strict V103() V104() AffinStruct
the carrier of (Af X) is set
K24( the carrier of (Af X)) is set
N9 is Element of K24( the carrier of (Af X))
M9 is Element of K24( the carrier of (Af X))
o9 is Element of the carrier of (Af X)
b19 is Element of the carrier of (Af X)
a19 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
a29 is Element of the carrier of (Af X)
b29 is Element of the carrier of (Af X)
b39 is Element of the carrier of (Af X)
c1 is Element of the carrier of X
c19 is Element of the carrier of X
c2 is Element of the carrier of X
c29 is Element of the carrier of (Af X)
c3 is Element of the carrier of (Af X)
c39 is Element of the carrier of (Af X)
a39 is Element of the carrier of (Af X)
c1 is Element of the carrier of X
c19 is Element of the carrier of (Af X)
c2 is Element of the carrier of X
c29 is Element of the carrier of (Af X)
c3 is Element of the carrier of X
c39 is Element of the carrier of (Af X)