Datum

bf457313c77ad7…4319391d82

bf457313c77ad7c01ac19035b50d0ead6b98f2274e962a9e3cfdeb4319391d82

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#64d865f4affb17bd2336b4125f055447eb293f2a3bedb26a3eeb6caa

1

Constr 0

0

Constr 0

0

Constr 0

0

#0607b224e88976f2d4df8f997199b5eb864fa23c8e973d1e726b5ab5

1

Constr 0

0

Constr 0

0

#64d865f4affb17bd2336b4125f055447eb293f2a3bedb26a3eeb6caa

1

Constr 0

0

Constr 0

0

Constr 0

0

#0607b224e88976f2d4df8f997199b5eb864fa23c8e973d1e726b5ab5

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

60347523

4

2000000

5

2000000