Datum

2c864ff8dfd2f5…c59907d55e

2c864ff8dfd2f554a3a67be18ccaefaf20a440c6824737b3c7ca1ec59907d55e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d3801a27e95e7a79a97544501e81f922e05b34cb15b9f014390facfa

1

Constr 0

0

Constr 0

0

Constr 0

0

#70ed57b132c683f116596810d99fce036cf81ab01dea6d4434adc8ef

1

Constr 0

0

Constr 0

0

#d3801a27e95e7a79a97544501e81f922e05b34cb15b9f014390facfa

1

Constr 0

0

Constr 0

0

Constr 0

0

#70ed57b132c683f116596810d99fce036cf81ab01dea6d4434adc8ef

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

359795775

4

2000000

5

2000000