Datum

ae482fe528c600…ae753e4e91

ae482fe528c600fb7f99a97328027a4a536d3351f04d4d0ec7a05aae753e4e91

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1de45fb31ffe565a4bd2b7eaffa2377fd782fafbe3524e7ac8745e90

1

Constr 0

0

Constr 0

0

Constr 0

0

#be9de66350f8ab4d9c7c14518bc536a068c215658e7fd3b803e3e80b

1

Constr 0

0

Constr 0

0

#1de45fb31ffe565a4bd2b7eaffa2377fd782fafbe3524e7ac8745e90

1

Constr 0

0

Constr 0

0

Constr 0

0

#be9de66350f8ab4d9c7c14518bc536a068c215658e7fd3b803e3e80b

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

42700565

4

1999994

5

2000000