Datum

57e70e5a8b1fe3…53940cd25f

57e70e5a8b1fe3ba0d44e8e4ea94ce5ef2c4fa8d036b616ab0625453940cd25f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0da2bfca98dd6ee6351e59cadf738e9938ddee8f30df850962e303c7

1

Constr 0

0

Constr 0

0

Constr 0

0

#1188f56e0251020dc464d488353561fb28941372f6a3f66781671663

1

Constr 0

0

Constr 0

0

#0da2bfca98dd6ee6351e59cadf738e9938ddee8f30df850962e303c7

1

Constr 0

0

Constr 0

0

Constr 0

0

#1188f56e0251020dc464d488353561fb28941372f6a3f66781671663

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000