Datum

25e6dfdf686f35…d9ed76460d

25e6dfdf686f357affa964af4e98da32363150a337a50b56dafb09d9ed76460d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c79e4ade6b47dcf0f564a3cc7dc24153c003b4f910f678517b44ac99

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe980e4bce9a5d16e22f5555960d495288b2478fa621efc41a7477f6

1

Constr 0

0

Constr 0

0

#c79e4ade6b47dcf0f564a3cc7dc24153c003b4f910f678517b44ac99

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe980e4bce9a5d16e22f5555960d495288b2478fa621efc41a7477f6

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

255936165

4

2000000

5

2000000