Datum

830bf68b4bd2d7…95edfc9e0f

830bf68b4bd2d728f1cd955b0f00e859def5bab9bfa84f8bd4467395edfc9e0f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0d473b27aa23ce89cb8ebe8d7b9c3cb0af47bd604ba80f733957cedd

1

Constr 0

0

Constr 0

0

Constr 0

0

#d8a8193e592f8048908837e5f11314e9f4be968e454f9932935216c3

1

Constr 0

0

Constr 0

0

#0d473b27aa23ce89cb8ebe8d7b9c3cb0af47bd604ba80f733957cedd

1

Constr 0

0

Constr 0

0

Constr 0

0

#d8a8193e592f8048908837e5f11314e9f4be968e454f9932935216c3

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

476014915

4

2000000

5

2000000