Datum

ba15b09fd37c0d…7ded8a002b

ba15b09fd37c0ddbbc2f4843b5e1401f67c7b1c48c9c1ffa02e0807ded8a002b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#dfc5f4152913ac0f7ff5056656ee5601375e64196748349c0749069e

1

Constr 0

0

Constr 0

0

Constr 0

0

#0704f68dd60cb8d189ebbcaf11a464c3f258084511d74315a7645473

1

Constr 0

0

Constr 0

0

#dfc5f4152913ac0f7ff5056656ee5601375e64196748349c0749069e

1

Constr 0

0

Constr 0

0

Constr 0

0

#0704f68dd60cb8d189ebbcaf11a464c3f258084511d74315a7645473

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

8194172

4

2000000

5

2000000