Datum

bd03b62cc83f7f…a2ffdad21f

bd03b62cc83f7fa8c6167ab6cca2d2eefc9a48213feb34e2740129a2ffdad21f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#42cad31cebab15afa9009d990b34374946246b0ffa50405d811ea6fb

1

Constr 0

0

Constr 0

0

Constr 0

0

#e47f2c9e6df4e30690c93fa82d533fe47e4d40c30aa7edf5907adb17

1

Constr 0

0

Constr 0

0

#42cad31cebab15afa9009d990b34374946246b0ffa50405d811ea6fb

1

Constr 0

0

Constr 0

0

Constr 0

0

#e47f2c9e6df4e30690c93fa82d533fe47e4d40c30aa7edf5907adb17

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000