Datum

2bec56b24ebaff…288aa9981f

2bec56b24ebaffcabd24a0a6b12bd26d0b2aa62bf6d6a117380a55288aa9981f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3ddd67cb9364bb11dd54054fb07c1bc449c2acbb30cc666fefb37265

1

Constr 0

0

Constr 0

0

Constr 0

0

#fc358e29ea3656050e4153772b90bf3bee906ae5cd7c9b766a5cd44b

1

Constr 0

0

Constr 0

0

#3ddd67cb9364bb11dd54054fb07c1bc449c2acbb30cc666fefb37265

1

Constr 0

0

Constr 0

0

Constr 0

0

#fc358e29ea3656050e4153772b90bf3bee906ae5cd7c9b766a5cd44b

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

54238227

4

2000000

5

2000000