Datum

0cba62044f17a8…4a64c8ce91

0cba62044f17a855a0ae85050323a665d09bd21fb62d207df25fe34a64c8ce91

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a893ce7c24ae6663afffeae91b558f46f5c108fc3b7277cb9476f8c6

1

Constr 0

0

Constr 0

0

Constr 0

0

#d7ef8ed3627fc22defcdc09e1fbd539a86e156083e84451832d44dd5

1

Constr 0

0

Constr 0

0

#a893ce7c24ae6663afffeae91b558f46f5c108fc3b7277cb9476f8c6

1

Constr 0

0

Constr 0

0

Constr 0

0

#d7ef8ed3627fc22defcdc09e1fbd539a86e156083e84451832d44dd5

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000