Datum

b8ea2976f8b290…3504160f57

b8ea2976f8b29062fce632f3856c5b6edff84d1855ffd6460f76ea3504160f57

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c734fb8d9ee318397baaea8f13ef14f52a452d521cba1236efe7d777

1

Constr 0

0

Constr 0

0

Constr 0

0

#e762ab546d24b52b8c341d8c5b455985fe7afbda03c526c673a823d9

1

Constr 0

0

Constr 0

0

#c734fb8d9ee318397baaea8f13ef14f52a452d521cba1236efe7d777

1

Constr 0

0

Constr 0

0

Constr 0

0

#e762ab546d24b52b8c341d8c5b455985fe7afbda03c526c673a823d9

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

942027233

4

2000000

5

2000000