Datum

ec583cbcdb08c6…2937def1be

ec583cbcdb08c627e42623b0da217ea7344163e65d08e8bb30eb1a2937def1be

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9391562db58711a2db92060b5c6a38ffcad008f18b7622f582540f24

1

Constr 0

0

Constr 0

0

Constr 0

0

#4ef27d1b86ee90a446821ec54d65ed87dd20e40094a6711a6b0f7ccf

1

Constr 0

0

Constr 0

0

#9391562db58711a2db92060b5c6a38ffcad008f18b7622f582540f24

1

Constr 0

0

Constr 0

0

Constr 0

0

#4ef27d1b86ee90a446821ec54d65ed87dd20e40094a6711a6b0f7ccf

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000