Datum

b1f91735bac5c5…b974edf88e

b1f91735bac5c583cb93db36f141a4e146c0aa526d3f2df6eabf0db974edf88e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0baca5a7fffb72e3539935d305979d61bda16c9a28806510ce600ef8

1

Constr 0

0

Constr 0

0

Constr 0

0

#6fb07580c13395c624f74946a3f9d5127e3a5ae468bfde828dd20fc5

1

Constr 0

0

Constr 0

0

#0baca5a7fffb72e3539935d305979d61bda16c9a28806510ce600ef8

1

Constr 0

0

Constr 0

0

Constr 0

0

#6fb07580c13395c624f74946a3f9d5127e3a5ae468bfde828dd20fc5

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000