Datum

4bd0cfde8ebb2f…31e7701b77

4bd0cfde8ebb2fce9aef6e68cf6daa898cba3997637c37c76005c131e7701b77

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#74e41744010c217f036d9d67f6a6cf46560781d2c91853c56fa8d552

1

Constr 0

0

Constr 0

0

Constr 0

0

#ffc909dc528bbef25b71ba3cf74b498c78cc5c1df1916ffab6f9954d

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

1731208

1

1000000000