Datum

283f181531b371…4aeee79332

283f181531b371b5da89d92326aa59fc6b43acc0fcae54e006677f4aeee79332

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6283b44a0129c07709626055eb8c8dfb4d188f9bb8b9735c0722fd59

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a622697ced92c9a5c87b0492a636d1784723e435be458e7aa840199

1

Constr 0

0

Constr 0

0

#6283b44a0129c07709626055eb8c8dfb4d188f9bb8b9735c0722fd59

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a622697ced92c9a5c87b0492a636d1784723e435be458e7aa840199

2

Constr 1 []

3

Constr 2

0

1

4

1992439

5

2000000