Datum

a9cac1e16e6fef…a94a8e7c96

a9cac1e16e6feff857a8ddcbd169449ee985bb9ce9e907c63b557ea94a8e7c96

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#e30ed0caa9ee09b77d5bb06d7578023a3c3511840a4044b75aee6728

1

Constr 0

0

Constr 0

0

Constr 0

0

#18b87de2184798a3d9e7f0e972e94ef8e6a49cf2ee7fa64a4762ff68

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

128000000

2

Constr 0

0

166854980