Datum

a01bc0bae9beb2…4a3b75b325

a01bc0bae9beb28d1a3e032c46dc62e64a898e6dca45c5bb08dd334a3b75b325

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c3a59260e8225f59ed8c46ad7c4c0ea0f0228f739d0da497921ed7ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#2320be7ecdcff1e0d6e452aa510ef05fc3c7e665137f4d0504cab295

1

Constr 0

0

Constr 0

0

#c3a59260e8225f59ed8c46ad7c4c0ea0f0228f739d0da497921ed7ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#2320be7ecdcff1e0d6e452aa510ef05fc3c7e665137f4d0504cab295

2

Constr 1 []

3

Constr 1

0

Constr 0

0

#""

1

#""

1

52000000

4

1999806

5

2000000