Datum

93c48e3b8a5fa4…b1e34e797d

93c48e3b8a5fa4ea7e9f8879d14a526e82c2e189256fc2be99b2fab1e34e797d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#38bf28c517fa56da69a25f2a4295224d78eb51c6ddd736b546403e72

1

Constr 0

0

Constr 0

0

Constr 0

0

#ebbcadd9956afebc39939d9bfe6d616e09be0f6a1d7438544af29fb5

1

Constr 0

0

Constr 0

0

#38bf28c517fa56da69a25f2a4295224d78eb51c6ddd736b546403e72

1

Constr 0

0

Constr 0

0

Constr 0

0

#ebbcadd9956afebc39939d9bfe6d616e09be0f6a1d7438544af29fb5

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000