Datum

2be3064bfbd859…54eb6606ac

2be3064bfbd859928c9600a6c9e4b5f3e82b1ddd2c3ed1147c4eba54eb6606ac

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fa8633cf104aab25439296d1ac91cf4c621b3434add809e89c0b710b

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9dfcddd8dda5f603f0998b7e0d6ba8b0fde54b1e41cee1688da0370

1

Constr 0

0

Constr 0

0

#fa8633cf104aab25439296d1ac91cf4c621b3434add809e89c0b710b

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9dfcddd8dda5f603f0998b7e0d6ba8b0fde54b1e41cee1688da0370

2

Constr 1 []

3

Constr 2

0

1

4

1997994

5

2000000