Datum

52d80e8c1659ea…c22081eb4f

52d80e8c1659ea313cf0e05fa9010cbe155b815f4af4be68f3274fc22081eb4f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#47107a880915765afc14c4c7e49f1facf17a5e9ae0a4a00b5bf73612

1

Constr 0

0

Constr 0

0

Constr 0

0

#a112be50dd6065d3438855dd9fb395edf582925396ca376d31425d3f

1

Constr 0

0

Constr 0

0

#47107a880915765afc14c4c7e49f1facf17a5e9ae0a4a00b5bf73612

1

Constr 0

0

Constr 0

0

Constr 0

0

#a112be50dd6065d3438855dd9fb395edf582925396ca376d31425d3f

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000