Datum

91b74ebd2fdce9…e3d57c44be

91b74ebd2fdce9b8f8bc7e16eb7457cc97a61a94e75df7f841619be3d57c44be

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

65728824

4

2000000

5

2000000