Datum

b961fc6c3ba2d5…65267d4af4

b961fc6c3ba2d55b06c3f4f0e330c204d5b24d054fd415803f863b65267d4af4

Datum

Constr 0

0

#0b

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a56729ae4967651d82ee35c874f7f24b47fa7013e44b85088cc57432

1

Constr 0

0

Constr 0

0

Constr 0

0

#2e31bd4bf69f4dc8cdcd72d96e964a1c234d7ce12792ecd9eb78dd0e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

414000000

2

Constr 0

0

8656