Datum

be01df68978f1f…8105cd955e

be01df68978f1f3ca8066a30fb424fddae38d904d7eca7d151a36a8105cd955e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f0b21568f2add71894e8e21eb73085b129b81de2e38c3bc60065a1f1

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba7aabad453e84854f031ea7aaf891cefa2483e0c43f1851b3f19311

1

Constr 0

0

Constr 0

0

#f0b21568f2add71894e8e21eb73085b129b81de2e38c3bc60065a1f1

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba7aabad453e84854f031ea7aaf891cefa2483e0c43f1851b3f19311

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

189204374

4

2000000

5

2000000