Datum

0b5bc26deefd6e…7e25399604

0b5bc26deefd6ea930993fc9e43b07020379a5eba088bb76d6739a7e25399604

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#12e26f9ce56b9cbae3a14560f72cf998d5d03f70b5507b2b5c551047

1

Constr 0

0

Constr 0

0

Constr 0

0

#1c57ec7fbf3334c7ec11e23e696cd9c115eb34581d314821518155a6

1

Constr 0

0

Constr 0

0

#12e26f9ce56b9cbae3a14560f72cf998d5d03f70b5507b2b5c551047

1

Constr 0

0

Constr 0

0

Constr 0

0

#1c57ec7fbf3334c7ec11e23e696cd9c115eb34581d314821518155a6

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

904590439

4

2000000

5

2000000