Datum

a33a4e2ea65647…1ef92e7d81

a33a4e2ea65647bd029c15b3d76cb86779c2e3d13278fcd6fdff9b1ef92e7d81

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c994272bf7d5df211914b955abaea483f8915aa312575296e7e47ae2

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9b25c9ddf9b6ed2c7895388fb9751b0ef5dd308b7f84f56dbf11c73

1

Constr 0

0

Constr 0

0

#c994272bf7d5df211914b955abaea483f8915aa312575296e7e47ae2

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9b25c9ddf9b6ed2c7895388fb9751b0ef5dd308b7f84f56dbf11c73

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

2060473

4

2000000

5

2000000