Datum

f9607d63c2c03e…c3dd7afbbe

f9607d63c2c03e04739bb08437423d15f97e6a2dc223d8e8189babc3dd7afbbe

Datum

Constr 0

0

#1f02

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#9dc5f337d81f9f733d3bce7a6a88d69467ac316a75e3b97b66ba9e33

1

Constr 0

0

Constr 0

0

Constr 0

0

#d22a7ff75b21d7b30c269a92184f1ab0e979e5668793e7b9b98f9d60

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

300000000

2

Constr 0

0

59294