Datum

3c1fae1c409088…79b6858f93

3c1fae1c409088a149102e1cea531d4f476b79e8ccbcd6857a8e8279b6858f93

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f3c04f827e67ea90141ae74e26772209eea6ba14abe95cfaf24620d9

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe5b2d3bf6ed3d14d6d4ded336e0f5d948cb323f792689d30e2d248a

1

Constr 0

0

Constr 0

0

#f3c04f827e67ea90141ae74e26772209eea6ba14abe95cfaf24620d9

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe5b2d3bf6ed3d14d6d4ded336e0f5d948cb323f792689d30e2d248a

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000