Datum

3b8b27f9a039ff…a2a36d414e

3b8b27f9a039ff2e5396dc80e53c717bc9a5b49db1dd460920905fa2a36d414e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#413f424b84ae625d876b61a3b17399ab09e2549123639faee2cabe75

1

Constr 0

0

Constr 0

0

Constr 0

0

#0c0c942a1663bca34501684c8bfb26483bbd901a4a820e0555c69531

1

Constr 0

0

Constr 0

0

#413f424b84ae625d876b61a3b17399ab09e2549123639faee2cabe75

1

Constr 0

0

Constr 0

0

Constr 0

0

#0c0c942a1663bca34501684c8bfb26483bbd901a4a820e0555c69531

2

Constr 1 []

3

Constr 2

0

30153383

4

2000000

5

2000000