Datum

e8d224620f2b4f…e72caff03e

e8d224620f2b4f6e0d151ba94f94f778645508ee1e814f3cedcd5de72caff03e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3b90145c501784680bff858b9b4c5cd0b3e4527bc78aeca8c52e88fe

1

Constr 0

0

Constr 0

0

Constr 0

0

#bd3096a605713ee98f48da90278c3d0b43a36b52a5d355562fb3ab3d

1

Constr 0

0

Constr 0

0

#3b90145c501784680bff858b9b4c5cd0b3e4527bc78aeca8c52e88fe

1

Constr 0

0

Constr 0

0

Constr 0

0

#bd3096a605713ee98f48da90278c3d0b43a36b52a5d355562fb3ab3d

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

441645888

4

2000000

5

2000000