Datum

22dd368b7e69cd…0d132b875c

22dd368b7e69cdd5f24f1fd0d17cb336f033f6b44ca2a9933eef3f0d132b875c

Datum

Constr 0

0

#1f

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#2cb543db57e0d9c047b735a8d656b352d404762ad3f54a18fe0e8f7d

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a8ad3c35f23c41e8c65f6f67cfdc8d5f4adb9d785f19dc73f69db6b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

40000

2

Constr 0

0

800000000