Datum

89e2ab7708ef65…d9b1fe489f

89e2ab7708ef659c82283e2cf65ae2ca586445db490695267e9036d9b1fe489f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3e23f2e8f46e0bcde12d97ae20ede1ace53ac9abbced378d5d3ecc30

1

Constr 0

0

Constr 0

0

Constr 0

0

#da47d3d4e752eff08df5a3c7600ae7ef8c731928519ac5f2ff5963b0

1

Constr 0

0

Constr 0

0

#3e23f2e8f46e0bcde12d97ae20ede1ace53ac9abbced378d5d3ecc30

1

Constr 0

0

Constr 0

0

Constr 0

0

#da47d3d4e752eff08df5a3c7600ae7ef8c731928519ac5f2ff5963b0

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000