Datum

2c610d8c2ca87b…19deedc231

2c610d8c2ca87b557e8285efeef1414d9acf10f2fd9b8aaff1d9d419deedc231

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#831120896811b26eaa68d143a5686fe7ac2c2ee2cee3872fd2d116f4

1

Constr 0

0

Constr 0

0

Constr 0

0

#3013252a1ce1c72fcdeb7b0bb05f98709ff3b4cb28f45a9f6315da25

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

20000000000

2

Constr 0

0

57896111