Datum

a5383fadb75445…e89e44c76b

a5383fadb754458f820838fe4d2fc33b5e025f49339cbe21fbcf6fe89e44c76b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#73d18b2dbf83425318716d0a640f7ae5705e49477c83686f600b015a

1

Constr 0

0

Constr 0

0

Constr 0

0

#2d9f886373404cf03f469c230f3522b930996e9626100669449676e5

1

Constr 0

0

Constr 0

0

#73d18b2dbf83425318716d0a640f7ae5705e49477c83686f600b015a

1

Constr 0

0

Constr 0

0

Constr 0

0

#2d9f886373404cf03f469c230f3522b930996e9626100669449676e5

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

54185696

4

2000000

5

2000000