Datum

71da94633d985d…52e8b844c1

71da94633d985df1fe68184dc1ec30e674179a67d3ad4e904a596d52e8b844c1

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d351bd0aad1bb3675fb56a33eb9211c09f07344ac4df62d8e3125b33

1

Constr 0

0

Constr 0

0

Constr 0

0

#3e8e160d224dfc3c739b55cbe17c374efa3922ed457d962661b6c4b8

1

Constr 0

0

Constr 0

0

#d351bd0aad1bb3675fb56a33eb9211c09f07344ac4df62d8e3125b33

1

Constr 0

0

Constr 0

0

Constr 0

0

#3e8e160d224dfc3c739b55cbe17c374efa3922ed457d962661b6c4b8

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000