:: CONMETR1 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

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)))