Datum

9f95dde77c07a2…76663fdf94

9f95dde77c07a2150e786fdee2bee520aaec20a9c323ab29db8cb076663fdf94

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f2ff12e4db1f2700fc21439054b4f148b1781555fb8ea152f614f511

1

Constr 0

0

Constr 0

0

Constr 0

0

#2ea695a5eb419576a32b4c676deed6a37eda669c38a09c866b52b9e5

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

345582463

2

Constr 0

0

906401875