Datum

48be8dd14ebd3e…80b60fb26f

48be8dd14ebd3e6325d34e4cfd8dd6e87875bb9089cc638c4df74180b60fb26f

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 0 []

1

1000000000

2

Constr 0

0

17518