Datum

71db024852d6f6…ec79b6e667

71db024852d6f64754adc20e144ca3a2dfe4950e908aff52f2def6ec79b6e667

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1ddb68057666a883d965b77bebe9af996d828d207930465306eb777e

1

Constr 0

0

Constr 0

0

Constr 0

0

#50d1e6db34655a72dea248674a3f541d31441ab165be972ce35ba3ed

1

Constr 0

0

Constr 0

0

#1ddb68057666a883d965b77bebe9af996d828d207930465306eb777e

1

Constr 0

0

Constr 0

0

Constr 0

0

#50d1e6db34655a72dea248674a3f541d31441ab165be972ce35ba3ed

2

Constr 1 []

3

Constr 2

0

1

4

1895746

5

2000000