Datum

c77a6c4c5f7b1e…b053df4bad

c77a6c4c5f7b1e3dd00a6be4f430fc60ce7156d5d2c64d08a275d0b053df4bad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6e083f4d7cdf1b5c1846965c534e9776991a6e2d05b224f4cd36e710

1

Constr 0

0

Constr 0

0

Constr 0

0

#62b33ff8b55012187cd371a31f3d884be166c3f9adea8196525acd88

1

Constr 0

0

Constr 0

0

#6e083f4d7cdf1b5c1846965c534e9776991a6e2d05b224f4cd36e710

1

Constr 0

0

Constr 0

0

Constr 0

0

#62b33ff8b55012187cd371a31f3d884be166c3f9adea8196525acd88

2

Constr 1 []

3

Constr 2

0

511188488

4

2000000

5

2000000