Datum

08b7ff47d5a52c…40437ff39a

08b7ff47d5a52c8b8b7d481ff954367aa7bab2f8d033f8f73bb52040437ff39a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#50c932f2307b366df7e0d4c2a462a0cced8ff0bfb46c565d79b69858

1

Constr 0

0

Constr 0

0

Constr 0

0

#372aa69f7145e6bd440bb545a3a518313bbee28e8a19550ec8abe483

1

Constr 0

0

Constr 0

0

#50c932f2307b366df7e0d4c2a462a0cced8ff0bfb46c565d79b69858

1

Constr 0

0

Constr 0

0

Constr 0

0

#372aa69f7145e6bd440bb545a3a518313bbee28e8a19550ec8abe483

2

Constr 1 []

3

Constr 1

0

Constr 0

0

#""

1

#""

1

200000000

4

1932037

5

2000000