Datum

72d32dceb58f43…f466d9ddb7

72d32dceb58f439d36a8f99fd76ff49f196b67efc335e1799e1559f466d9ddb7

Datum

Constr 0

0

#e403

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#1e62153b3e49fefc337d699158324df67ca4c72c38b9566999aa78a6

1

Constr 0

0

Constr 0

0

Constr 0

0

#2f0b8d98dfa07f4e5113bdd63d5274c354d82d5dc4fb1ed98ba6d43f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

500000000

2

Constr 0

0

1006036217