Datum

ed8b04e9e7ccdf…ebab27f3cd

ed8b04e9e7ccdffafdff302e8d43ca73a04dc3cf44ef274341c42debab27f3cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9ebf5980869ca3ac1a154fd164299c6ae66027056f251a29843c7d73

1

Constr 0

0

Constr 0

0

Constr 0

0

#4339c86f600f243522e8840b910099aa381664b75bf79859ce16b036

1

Constr 0

0

Constr 0

0

#9ebf5980869ca3ac1a154fd164299c6ae66027056f251a29843c7d73

1

Constr 0

0

Constr 0

0

Constr 0

0

#4339c86f600f243522e8840b910099aa381664b75bf79859ce16b036

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000