Datum

88fb5ac3a60ccd…04f5301820

88fb5ac3a60ccd34e4cd903e892ca0d30b839ef76331aaf36536d404f5301820

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5dec40bdc07376fc1d0799a44ee51f10c1f8236fdbfe375e402c3a30

1

Constr 0

0

Constr 0

0

Constr 0

0

#6e78694ae7b8c879eefd68327224dd83711e599b06b22b8846771e75

1

Constr 0

0

Constr 0

0

#5dec40bdc07376fc1d0799a44ee51f10c1f8236fdbfe375e402c3a30

1

Constr 0

0

Constr 0

0

Constr 0

0

#6e78694ae7b8c879eefd68327224dd83711e599b06b22b8846771e75

2

Constr 1 []

3

Constr 2

0

5234684

4

2000000

5

2000000