Datum

31650c3e431e54…a10e3433db

31650c3e431e54bced877b0dec267d91f734ee7cd16e5036174f37a10e3433db

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2eaae63102b1809a9c202023216d744608b2f0c174ff2babc10c1015

1

Constr 0

0

Constr 0

0

Constr 0

0

#61617693cd87455591532b16426b85f8caac5cc8961e9709cb26292d

1

Constr 0

0

Constr 0

0

#2eaae63102b1809a9c202023216d744608b2f0c174ff2babc10c1015

1

Constr 0

0

Constr 0

0

Constr 0

0

#61617693cd87455591532b16426b85f8caac5cc8961e9709cb26292d

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

54047561

4

2000000

5

2000000