Datum

c80867cd66d8fc…f64d5b5e34

c80867cd66d8fce73cf922fc9fb4982d7a166bec7b6127cb55cc1ef64d5b5e34

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e9a5a45635ea8ef963fc4ebdce1efded5cd65095c59a4aa4f4c52d89

1

Constr 0

0

Constr 0

0

Constr 0

0

#800f02847bbe35d7df308245241504e8f5c3e7be60e882e467093770

1

Constr 0

0

Constr 0

0

#e9a5a45635ea8ef963fc4ebdce1efded5cd65095c59a4aa4f4c52d89

1

Constr 0

0

Constr 0

0

Constr 0

0

#800f02847bbe35d7df308245241504e8f5c3e7be60e882e467093770

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

66839305

4

1999876

5

2000000