Datum

daf7c1e8fc9170…8202b4f54c

daf7c1e8fc91709fd3fbd7ac8905c414111967e4ef9b3b2db2ffa58202b4f54c

Datum

Constr 0

0

#53

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#24455eda376194cf085a6a59b5d83983e11fd9a3b1df337a357007b5

1

Constr 0

0

Constr 0

0

Constr 0

0

#79fb9044d70cd75762dce717ecf4fc487abe372ba91c6385b7c94c58

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

10400000000

2

Constr 0

0

19806872