Datum

b7a7e9faddf3fa…66ec5d6255

b7a7e9faddf3fadc6f002ad1560da2afb4e00be7734de6413cdfcd66ec5d6255

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0baca5a7fffb72e3539935d305979d61bda16c9a28806510ce600ef8

1

Constr 0

0

Constr 0

0

Constr 0

0

#6fb07580c13395c624f74946a3f9d5127e3a5ae468bfde828dd20fc5

1

Constr 0

0

Constr 0

0

#0baca5a7fffb72e3539935d305979d61bda16c9a28806510ce600ef8

1

Constr 0

0

Constr 0

0

Constr 0

0

#6fb07580c13395c624f74946a3f9d5127e3a5ae468bfde828dd20fc5

2

Constr 1 []

3

Constr 3

0

22980158

1

853

4

2000000

5

2000000