Datum

9dce8562ec7690…57f1ea279d

9dce8562ec769026f57c9f3b5fe1e104544f64bf87a4c92ad63fa657f1ea279d

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#5801c9096aab32211125fb66dfb2eb5863f1499195a8b55ef6e80679

1

Constr 0

0

Constr 0

0

Constr 0

0

#d968fe4f6aed76ee03a50da7d382ea7b9e6f07873a0c1998ad3ff720

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

35279315

2

Constr 0

0

9391240