Datum

8e4eb8ec729d3f…c32d3f1218

8e4eb8ec729d3f6cd9d487e9990dfc249d6941ddc73ec0d8c4ea62c32d3f1218

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1ab45cd27cef58ce8b18e7c0e09ba738396b2438cfc836cb625bc3f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#e227a5e0b9f8f7799b6147c3586ce51e2a71b24f71ac55eb5d9e944d

1

Constr 0

0

Constr 0

0

#1ab45cd27cef58ce8b18e7c0e09ba738396b2438cfc836cb625bc3f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#e227a5e0b9f8f7799b6147c3586ce51e2a71b24f71ac55eb5d9e944d

2

Constr 1 []

3

Constr 2

0

1

4

1994299

5

2000000