Datum

a7723b0206589c…4ebd64365d

a7723b0206589c5ebed8b6c3816d17b99457b117ce8b3ba9aa09c84ebd64365d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d934ac66b1ee57990721534d13325343cf4bb61f0d703c4601695c94

1

Constr 0

0

Constr 0

0

Constr 0

0

#48b1382fe2bbb543e1411e0f11a5d350ef69768d618981642b4ab8da

1

Constr 0

0

Constr 0

0

#d934ac66b1ee57990721534d13325343cf4bb61f0d703c4601695c94

1

Constr 0

0

Constr 0

0

Constr 0

0

#48b1382fe2bbb543e1411e0f11a5d350ef69768d618981642b4ab8da

2

Constr 1 []

3

Constr 2

0

1

4

1991590

5

2000000