Datum

86edd157c0c055…dd47bd487c

86edd157c0c0554fe0e183c5cf609d744fcd0dcc6cb6b4a9fe4d90dd47bd487c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#11a9bdfc43318a3bab55ed3bb69bfc238597ccdd24167b433c81d12e

1

Constr 0

0

Constr 0

0

Constr 0

0

#d919fc26049a87e79e64e38565515b043b73ffd4a48f86a14dc76233

1

Constr 0

0

Constr 0

0

#11a9bdfc43318a3bab55ed3bb69bfc238597ccdd24167b433c81d12e

1

Constr 0

0

Constr 0

0

Constr 0

0

#d919fc26049a87e79e64e38565515b043b73ffd4a48f86a14dc76233

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

603024800

4

2000000

5

2000000