Datum

9bd7cbd9523fbb…859a9057ef

9bd7cbd9523fbbbe2cce8b7d58b29d8ca1a10c21c9aefb7ddb8850859a9057ef

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b9d2f74e98e44328beed39f04fb64f78b80a1c8a7c68e38cefcd03d2

1

Constr 0

0

Constr 0

0

Constr 0

0

#dcf8ff698e0c86b0d068c757af5417ff67c2d437e1f0329b62d8f8ab

1

Constr 0

0

Constr 0

0

#ca5d9e971ba87ce0ce333a464a8f7c1c6650b8a6a28c4dcce53b566d

1

Constr 0

0

Constr 0

0

Constr 0

0

#28b8c1adbefb8692970a8a473d45c30da47faa716c7026b0ed362a76

2

Constr 1 []

3

Constr 3

0

2316074

1

46339178

4

1999995

5

4000000