Datum

84dc5c772ca8df…30a390ba83

84dc5c772ca8dfaa9ff3426bb6d017601e03fedcf58a596b368c8030a390ba83

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b6a6b8948672aeae2474d40d95a8e3a2d9f816adce9e06d373ae81ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#4aefac854244d9a73d200cd99a346b680f3058f463a65cfefe048b30

1

Constr 0

0

Constr 0

0

#b6a6b8948672aeae2474d40d95a8e3a2d9f816adce9e06d373ae81ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#4aefac854244d9a73d200cd99a346b680f3058f463a65cfefe048b30

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

566997124

4

2000000

5

2000000