Datum

9fc6d34ff34bd0…29e08091e7

9fc6d34ff34bd010dc85eca31c39ce73b0e6f7c2fd993dd5fb6d9529e08091e7

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a66ba12c1cd39f7138590a4300e1edaece83705152dd470b7b4a6dd0

1

Constr 0

0

Constr 0

0

Constr 0

0

#2634e5834e83a480ad4e82f414818a88ca85664ccf7cd81dbb1e3390

1

Constr 0

0

Constr 0

0

#a66ba12c1cd39f7138590a4300e1edaece83705152dd470b7b4a6dd0

1

Constr 0

0

Constr 0

0

Constr 0

0

#2634e5834e83a480ad4e82f414818a88ca85664ccf7cd81dbb1e3390

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000