Datum

f58a6ebb42e88d…3332b2a7cc

f58a6ebb42e88dd60ff2c0d116f585af64a61a697cd963f40022543332b2a7cc

Datum

Constr 0

0

#1f

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f873a0f88d2dd2cb124b6ba4e6582becf4c15337f5e68b9a6076bc40

1

Constr 0

0

Constr 0

0

Constr 0

0

#9e75879147ea601d9086abde9ad3182ee1263d2a62b8fa8dcb54fa49

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

8000

2

Constr 0

0

958978095