Datum

d407b66c83ca61…cdd0fa5d27

d407b66c83ca619d5b82cb0eba0c122d738172fbc240fedfff61eecdd0fa5d27

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#bf97ad99b5269c15e3726290f95f0fc0ec8dbada31183778548d9da0

1

Constr 0

0

Constr 0

0

Constr 0

0

#5caf366e3e8ac08157935ebcb416f759f95e11546148f376f6fe0dc0

1

Constr 0

0

Constr 0

0

#bf97ad99b5269c15e3726290f95f0fc0ec8dbada31183778548d9da0

1

Constr 0

0

Constr 0

0

Constr 0

0

#5caf366e3e8ac08157935ebcb416f759f95e11546148f376f6fe0dc0

2

Constr 1 []

3

Constr 2

0

1

4

1974003

5

2000000