Datum

80e82576b5bb8f…a6fcc1e564

80e82576b5bb8fea4e91c19b17913424cc4bf9d8e644798b5d9538a6fcc1e564

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0cc3fd8d76cf6637dd2bcf040015bb20a7845bee40ac164df50254b6

1

Constr 0

0

Constr 0

0

Constr 0

0

#57cdd4fdc230d63f08ef321db42fd1ae79bb4acb5394ef57c42f7e17

1

Constr 0

0

Constr 0

0

#0cc3fd8d76cf6637dd2bcf040015bb20a7845bee40ac164df50254b6

1

Constr 0

0

Constr 0

0

Constr 0

0

#57cdd4fdc230d63f08ef321db42fd1ae79bb4acb5394ef57c42f7e17

2

Constr 1 []

3

Constr 2

0

1

4

1997960

5

2000000