Datum

92a303ddde3ec8…3439e80665

92a303ddde3ec8ffa7e7d7f157b677ba8ba1e7fd1af70bd2faaa293439e80665

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#70f2f93f26c5a85cc0818b9ed5b3a1f190c15ae53a7723a086e7c946

1

Constr 0

0

Constr 0

0

Constr 0

0

#3ebcabea61fa3a532858343f20deee81133815bf7680117bb1243e0c

1

Constr 0

0

Constr 0

0

#70f2f93f26c5a85cc0818b9ed5b3a1f190c15ae53a7723a086e7c946

1

Constr 0

0

Constr 0

0

Constr 0

0

#3ebcabea61fa3a532858343f20deee81133815bf7680117bb1243e0c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

26855963

4

2000000

5

2000000